../ coq-theories_8.2.pl2+dfsg-1_all.deb 26-Apr-2023 10:46 18M coq-theories_8.6-4_i386.deb 26-Apr-2023 14:06 29M coq_8.2.pl2+dfsg-1.debian.tar.gz 26-Apr-2023 10:46 16K coq_8.2.pl2+dfsg-1.dsc 26-Apr-2023 10:46 2157 coq_8.2.pl2+dfsg-1_i386.deb 26-Apr-2023 10:46 13M coq_8.2.pl2+dfsg.orig.tar.gz 26-Apr-2023 10:46 3M coq_8.6-4.debian.tar.xz 26-Apr-2023 14:06 21K coq_8.6-4.dsc 26-Apr-2023 14:06 2396 coq_8.6-4_i386.deb 26-Apr-2023 14:06 13M coq_8.6.orig.tar.gz 26-Apr-2023 14:06 5M coqide_8.2.pl2+dfsg-1_i386.deb 26-Apr-2023 10:46 6M coqide_8.6-4_i386.deb 26-Apr-2023 14:06 1M libcoq-ocaml-dev_8.2.pl2+dfsg-1_i386.deb 26-Apr-2023 10:46 6M libcoq-ocaml-dev_8.6-4_i386.deb 26-Apr-2023 14:06 13M libcoq-ocaml_8.6-4_i386.deb 26-Apr-2023 14:06 3M