../ apt-cudf_5.0.1-8+deb9u1_armhf.deb 07-Oct-2017 08:36 778424 dose-builddebcheck_5.0.1-8+deb9u1_armhf.deb 07-Oct-2017 08:36 763294 dose-distcheck_5.0.1-8+deb9u1_armhf.deb 07-Oct-2017 08:36 782800 dose-doc_5.0.1-8+deb9u1_all.deb 29-Sep-2017 09:40 94098 dose-extra_5.0.1-8+deb9u1_armhf.deb 07-Oct-2017 08:36 1398634 libdose3-ocaml-dev_5.0.1-8+deb9u1_armhf.deb 07-Oct-2017 08:36 746780 libdose3-ocaml_5.0.1-8+deb9u1_armhf.deb 07-Oct-2017 08:36 18210