../ coq-theories_8.2.pl1+dfsg-2_all.deb 07-Jun-2017 01:09 18107490 coq_8.2.pl1+dfsg-2_i386.deb 07-Jun-2017 01:09 13693596 coqide_8.2.pl1+dfsg-2_i386.deb 07-Jun-2017 01:09 6014066 libcoq-ocaml-dev_8.2.pl1+dfsg-2_i386.deb 07-Jun-2017 01:09 5867618