Index of /ubuntu-testing/pool/main/c/coq/


../
coq-theories_8.11.0-1_amd64.deb                    21-Dec-2020 16:06            33079952
coq-theories_8.4pl4dfsg-3build2_all.deb            28-May-2020 21:40            32236078
coq-theories_8.6-5build1_amd64.deb                 28-May-2020 18:08            33181580
coq_8.11.0-1_amd64.deb                             21-Dec-2020 16:23            76583920
coq_8.4pl4dfsg-3build2_amd64.deb                   28-May-2020 21:59             3993698
coq_8.6-5build1_amd64.deb                          28-May-2020 17:45            17673808
coqide_8.11.0-1_amd64.deb                          21-Dec-2020 16:06             1758824
coqide_8.4pl4dfsg-3build2_amd64.deb                28-May-2020 21:53              748916
coqide_8.6-5build1_amd64.deb                       28-May-2020 17:48             1544828
libcoq-ocaml-dev_8.11.0-1_amd64.deb                21-Dec-2020 16:12            16068892
libcoq-ocaml-dev_8.4pl4dfsg-3build2_amd64.deb      28-May-2020 21:56             3670362
libcoq-ocaml-dev_8.6-5build1_amd64.deb             28-May-2020 17:37            13815188
libcoq-ocaml_8.11.0-1_amd64.deb                    21-Dec-2020 15:25             6324304
libcoq-ocaml_8.4pl4dfsg-3build2_amd64.deb          28-May-2020 21:48             1503766
libcoq-ocaml_8.6-5build1_amd64.deb                 28-May-2020 17:49             3564612