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