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

[ICO]NameLast modifiedSize
[PARENTDIR]Parent Directory  -
[ ]apt-cudf_5.0.1-8+deb9u1_amd64.deb2017-09-29 18:27 744K
[ ]apt-cudf_5.0.1-12_amd64.deb2019-01-29 20:26 901K
[ ]apt-cudf_6.0.1-2_amd64.deb2021-02-02 11:36 1.0M
[ ]apt-cudf_7.0.0-1+b2_amd64.deb2023-01-24 02:11 1.0M
[ ]dose-builddebcheck_5.0.1-8+deb9u1_amd64.deb2017-09-29 18:27 730K
[ ]dose-builddebcheck_5.0.1-12_amd64.deb2019-01-29 20:26 884K
[ ]dose-builddebcheck_6.0.1-2_amd64.deb2021-02-02 11:36 1.1M
[ ]dose-builddebcheck_7.0.0-1+b2_amd64.deb2023-01-24 02:11 1.0M
[ ]dose-distcheck_5.0.1-8+deb9u1_amd64.deb2017-09-29 18:27 750K
[ ]dose-distcheck_5.0.1-12_amd64.deb2019-01-29 20:26 908K
[ ]dose-distcheck_6.0.1-2_amd64.deb2021-02-02 11:36 1.1M
[ ]dose-distcheck_7.0.0-1+b2_amd64.deb2023-01-24 02:11 1.0M
[ ]dose-doc_5.0.1-8+deb9u1_all.deb2017-09-29 16:40 92K
[ ]dose-doc_5.0.1-12_all.deb2019-01-29 20:26 92K
[ ]dose-doc_6.0.1-2_all.deb2021-02-02 12:27 323K
[ ]dose-doc_7.0.0-1_all.deb2022-02-14 11:18 315K
[ ]dose-extra_5.0.1-8+deb9u1_amd64.deb2017-09-29 18:27 1.5M
[ ]dose-extra_5.0.1-12_amd64.deb2019-01-29 20:26 2.1M
[ ]dose-extra_6.0.1-2_amd64.deb2021-02-02 11:36 2.1M
[ ]dose-extra_7.0.0-1+b2_amd64.deb2023-01-24 02:11 2.0M
[ ]libdose3-ocaml-dev_5.0.1-8+deb9u1_amd64.deb2017-09-29 18:27 692K
[ ]libdose3-ocaml-dev_5.0.1-12_amd64.deb2019-01-29 20:26 756K
[ ]libdose3-ocaml-dev_6.0.1-2_amd64.deb2021-02-02 11:36 3.2M
[ ]libdose3-ocaml-dev_7.0.0-1+b2_amd64.deb2023-01-24 02:11 3.2M
[ ]libdose3-ocaml_5.0.1-8+deb9u1_amd64.deb2017-09-29 18:27 18K
[ ]libdose3-ocaml_5.0.1-12_amd64.deb2019-01-29 20:26 19K
Apache/2.4.62 (Debian) Server at deb.dsi.ist.utl.pt Port 443