../ opam-docs_1.2.0-1+deb8u1_all.deb 24-Aug-2017 09:44 296924 opam_1.2.0-1+deb8u1.debian.tar.xz 03-Oct-2017 12:05 29208 opam_1.2.0-1+deb8u1.dsc 03-Oct-2017 12:05 2324 opam_1.2.0-1+deb8u1_amd64.deb 24-Aug-2017 09:54 1440668 opam_1.2.0-1+deb8u1_i386.deb 24-Aug-2017 09:37 1353634 opam_1.2.0.orig.tar.gz 03-Oct-2017 12:05 352917