../ coq-theories_8.6-5build1_i386.deb 28-Oct-2017 15:34 32170552 coq_8.6-5build1.debian.tar.xz 28-Oct-2017 14:39 21864 coq_8.6-5build1.dsc 28-Oct-2017 14:39 2403 coq_8.6-5build1_i386.deb 28-Oct-2017 15:34 16948548 coq_8.6.orig.tar.gz 28-Dec-2016 17:13 5008604 coqide_8.6-5build1_i386.deb 28-Oct-2017 15:34 1388920 libcoq-ocaml-dev_8.6-5build1_i386.deb 28-Oct-2017 15:34 13796020 libcoq-ocaml_8.6-5build1_i386.deb 28-Oct-2017 15:34 3394144