../ coq-theories_8.2.pl2+dfsg-1_all.deb 21-Jan-2020 11:39 18387420 coq_8.2.pl2+dfsg-1_amd64.deb 21-Jan-2020 11:45 15354950 coq_8.2.pl2+dfsg-1_i386.deb 21-Jan-2020 16:49 13715098 coqide_8.2.pl2+dfsg-1_amd64.deb 21-Jan-2020 11:43 6553352 coqide_8.2.pl2+dfsg-1_i386.deb 21-Jan-2020 16:55 6026786 libcoq-ocaml-dev_8.2.pl2+dfsg-1_amd64.deb 21-Jan-2020 11:39 6085774 libcoq-ocaml-dev_8.2.pl2+dfsg-1_i386.deb 21-Jan-2020 16:49 5933320