Index of /repo/ubuntu18/archive.ubuntu.com/ubuntu/pool/universe/c/coq/

../
coq-theories_8.6-5build1_amd64.deb                 19-Oct-2021 09:09            33181580
coq_8.6-5build1_amd64.deb                          19-Oct-2021 09:09            17673808
coqide_8.6-5build1_amd64.deb                       19-Oct-2021 09:09             1544828
libcoq-ocaml-dev_8.6-5build1_amd64.deb             19-Oct-2021 09:09            13815188
libcoq-ocaml_8.6-5build1_amd64.deb                 19-Oct-2021 09:09             3564612