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

../
coq-theories_8.4pl4dfsg-3build2_all.deb            14-Jan-2021 22:47            32236078
coq-theories_8.6-5build1_amd64.deb                 14-Jan-2021 23:12            33181580
coq_8.4pl4dfsg-3build2_amd64.deb                   14-Jan-2021 22:42             3993698
coq_8.6-5build1_amd64.deb                          14-Jan-2021 23:18            17673808
coqide_8.4pl4dfsg-3build2_amd64.deb                14-Jan-2021 22:30              748916
coqide_8.6-5build1_amd64.deb                       14-Jan-2021 23:09             1544828
libcoq-ocaml-dev_8.4pl4dfsg-3build2_amd64.deb      14-Jan-2021 22:35             3670362
libcoq-ocaml-dev_8.6-5build1_amd64.deb             14-Jan-2021 23:00            13815188
libcoq-ocaml_8.4pl4dfsg-3build2_amd64.deb          14-Jan-2021 22:48             1503766
libcoq-ocaml_8.6-5build1_amd64.deb                 14-Jan-2021 23:17             3564612