../ opam-doc_2.0.5-1ubuntu1_all.deb 13-Apr-2020 02:33 201992 opam-installer_2.0.5-1ubuntu1_amd64.deb 13-Apr-2020 02:33 1043116 opam_2.0.5-1ubuntu1.debian.tar.xz 13-Apr-2020 02:28 8908 opam_2.0.5-1ubuntu1.dsc 13-Apr-2020 02:28 2616 opam_2.0.5-1ubuntu1_amd64.deb 13-Apr-2020 02:33 2006680 opam_2.0.5.orig.tar.gz 17-Aug-2019 23:13 619527