../ coq-theories_8.4pl4dfsg-1_all.deb 27-Jul-2014 15:26 32177364 coq_8.4pl4dfsg-1.debian.tar.xz 27-Jul-2014 15:26 15712 coq_8.4pl4dfsg-1.dsc 27-Jul-2014 15:26 2374 coq_8.4pl4dfsg-1_armhf.deb 13-Aug-2014 11:18 3845110 coq_8.4pl4dfsg.orig.tar.gz 27-Jul-2014 15:26 3527076 coqide_8.4pl4dfsg-1_armhf.deb 13-Aug-2014 11:18 795390 libcoq-ocaml-dev_8.4pl4dfsg-1_armhf.deb 13-Aug-2014 11:18 3991700 libcoq-ocaml_8.4pl4dfsg-1_armhf.deb 13-Aug-2014 11:18 1536978