Index of /pub/gwdg/ubuntu/22.04/pool/universe/d/dose3/

../
apt-cudf_7.0.0-1build1_amd64.deb                   25-Feb-2022 17:03             1171048
dose-builddebcheck_7.0.0-1build1_amd64.deb         25-Feb-2022 17:03             1205922
dose-distcheck_7.0.0-1build1_amd64.deb             25-Feb-2022 17:03             1214052
dose-doc_7.0.0-1build1_all.deb                     25-Feb-2022 17:03              318636
dose-extra_7.0.0-1build1_amd64.deb                 25-Feb-2022 17:03             2511960
libdose3-ocaml-dev_7.0.0-1build1_amd64.deb         25-Feb-2022 17:03             3901424