../ opam-docs_1.2.0-1+deb8u1_all.deb 27-Sep-2017 15:57 290K opam_1.2.0-1+deb8u1.debian.tar.xz 27-Sep-2017 16:40 29K opam_1.2.0-1+deb8u1.dsc 27-Sep-2017 16:40 2324 opam_1.2.0-1+deb8u1_amd64.deb 27-Sep-2017 17:52 1M opam_1.2.0-1+deb8u1_i386.deb 27-Sep-2017 14:59 1M opam_1.2.0.orig.tar.gz 27-Sep-2017 16:40 345K