../ apt-cudf_5.0.1-12+b1_armhf.deb 22-Jul-2020 14:27 807684 dose-builddebcheck_5.0.1-12+b1_armhf.deb 22-Jul-2020 16:37 794196 dose-distcheck_5.0.1-12+b1_armhf.deb 22-Jul-2020 15:11 814644 dose-doc_5.0.1-12_all.deb 22-Jul-2020 16:06 94524 dose-extra_5.0.1-12+b1_armhf.deb 22-Jul-2020 15:22 1442528 libdose3-ocaml-dev_5.0.1-12+b1_armhf.deb 22-Jul-2020 16:07 765460 libdose3-ocaml_5.0.1-12+b1_armhf.deb 22-Jul-2020 16:30 18868