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

../
coq-theories_8.11.0-1_amd64.deb                    01-Oct-2021 16:18            33079952
coq-theories_8.4pl4dfsg-3build2_all.deb            16-Mar-2016 11:18            32236078
coq-theories_8.6-5build1_amd64.deb                 02-Oct-2018 09:17            33181580
coq_8.11.0-1_amd64.deb                             01-Oct-2021 16:53            76583920
coq_8.4pl4dfsg-3build2_amd64.deb                   16-Mar-2016 11:46             3993698
coq_8.6-5build1_amd64.deb                          02-Oct-2018 09:17            17673808
coqide_8.11.0-1_amd64.deb                          01-Oct-2021 17:04             1758824
coqide_8.4pl4dfsg-3build2_amd64.deb                16-Mar-2016 10:20              748916
coqide_8.6-5build1_amd64.deb                       02-Oct-2018 09:41             1544828
libcoq-ocaml-dev_8.11.0-1_amd64.deb                01-Oct-2021 17:04            16068892
libcoq-ocaml-dev_8.4pl4dfsg-3build2_amd64.deb      16-Mar-2016 11:10             3670362
libcoq-ocaml-dev_8.6-5build1_amd64.deb             02-Oct-2018 09:32            13815188
libcoq-ocaml_8.11.0-1_amd64.deb                    01-Oct-2021 16:34             6324304
libcoq-ocaml_8.4pl4dfsg-3build2_amd64.deb          16-Mar-2016 09:44             1503766
libcoq-ocaml_8.6-5build1_amd64.deb                 02-Oct-2018 09:36             3564612