Index of /pub/gwdg/ubuntu/22.04/pool/universe/o/opam/

../
opam-doc_2.1.2-1_all.deb                           15-Feb-2022 06:10              291346
opam-installer_2.1.2-1_amd64.deb                   15-Feb-2022 06:10             1273496
opam_2.1.2-1_amd64.deb                             15-Feb-2022 06:10             2577834