Index of /stable/debian-8-official-release/pool/main/c/coq/

../
coq-theories_8.4pl4dfsg-1_all.deb                  24-Sep-2019 09:45            32177364
coq_8.4pl4dfsg-1_amd64.deb                         24-Sep-2019 09:36             4047862
coq_8.4pl4dfsg-1_i386.deb                          21-Jan-2020 17:21             3806642
coqide_8.4pl4dfsg-1_amd64.deb                      24-Sep-2019 09:34              797340
coqide_8.4pl4dfsg-1_i386.deb                       21-Jan-2020 17:22              730768
libcoq-ocaml-dev_8.4pl4dfsg-1_amd64.deb            24-Sep-2019 09:42             3780318
libcoq-ocaml-dev_8.4pl4dfsg-1_i386.deb             21-Jan-2020 17:23             3773636
libcoq-ocaml_8.4pl4dfsg-1_amd64.deb                24-Sep-2019 10:01             1637886
libcoq-ocaml_8.4pl4dfsg-1_i386.deb                 21-Jan-2020 17:15             1489658