Index of /bionic-18.04/pool/universe/c/coq/

../
coq-theories_8.6-5build1_amd64.deb                 23-Feb-2024 18:07            33181580
coq_8.6-5build1_amd64.deb                          23-Feb-2024 18:23            17673808
coqide_8.6-5build1_amd64.deb                       23-Feb-2024 17:53             1544828
libcoq-ocaml-dev_8.6-5build1_amd64.deb             23-Feb-2024 18:02            13815188
libcoq-ocaml_8.6-5build1_amd64.deb                 23-Feb-2024 17:56             3564612