Index of /debian/pool/main/d/dose3

	Name	Last modified	Size	Description
	Parent Directory		-
	apt-cudf_5.0.1-8+deb9u1_amd64.deb	29-Sep-2017 19:27	744K
	apt-cudf_5.0.1-11~bpo9+1_amd64.deb	28-Oct-2018 17:40	744K
	dose-builddebcheck_5.0.1-8+deb9u1_amd64.deb	29-Sep-2017 19:27	730K
	dose-builddebcheck_5.0.1-11~bpo9+1_amd64.deb	28-Oct-2018 17:40	730K
	dose-distcheck_5.0.1-8+deb9u1_amd64.deb	29-Sep-2017 19:27	750K
	dose-distcheck_5.0.1-11~bpo9+1_amd64.deb	28-Oct-2018 17:40	751K
	dose-doc_5.0.1-8+deb9u1_all.deb	29-Sep-2017 17:40	92K
	dose-doc_5.0.1-11~bpo9+1_all.deb	28-Oct-2018 17:40	92K
	dose-extra_5.0.1-8+deb9u1_amd64.deb	29-Sep-2017 19:27	1.5M
	dose-extra_5.0.1-11~bpo9+1_amd64.deb	28-Oct-2018 17:40	1.5M
	libdose3-ocaml-dev_5.0.1-8+deb9u1_amd64.deb	29-Sep-2017 19:27	692K
	libdose3-ocaml-dev_5.0.1-11~bpo9+1_amd64.deb	28-Oct-2018 17:40	691K
	libdose3-ocaml_5.0.1-8+deb9u1_amd64.deb	29-Sep-2017 19:27	18K
	libdose3-ocaml_5.0.1-11~bpo9+1_amd64.deb	28-Oct-2018 17:40	18K