Index of /nightly/debian-7-official-release/pool/main/c/coq/

../
coq-theories_8.3.pl4+dfsg-2_all.deb                24-Sep-2019 08:13            54416126
coq_8.3.pl4+dfsg-2_amd64.deb                       24-Sep-2019 08:16             5687430
coq_8.3.pl4+dfsg-2_i386.deb                        21-Jan-2020 15:27             5070304
coqide_8.3.pl4+dfsg-2_amd64.deb                    24-Sep-2019 07:58             5622922
coqide_8.3.pl4+dfsg-2_i386.deb                     21-Jan-2020 15:29             5235222
libcoq-ocaml-dev_8.3.pl4+dfsg-2_amd64.deb          24-Sep-2019 08:12             5916580
libcoq-ocaml-dev_8.3.pl4+dfsg-2_i386.deb           21-Jan-2020 15:26             5792696
libcoq-ocaml_8.3.pl4+dfsg-2_amd64.deb              24-Sep-2019 08:02             2100528
libcoq-ocaml_8.3.pl4+dfsg-2_i386.deb               21-Jan-2020 15:23             1858594