Index of /desktop-professional/pool/main/o/opam/

../
opam-doc_2.0.3-1+deb10u1_all.deb                   09-May-2026 11:37              218636
opam-installer_2.0.3-1+deb10u1_amd64.deb           09-May-2026 11:37              704088
opam_2.0.3-1+deb10u1_amd64.deb                     09-May-2026 11:37             1300784