Index of /ubuntu/pool/universe/c/coq/

../
coq-theories_8.11.0-1_amd64.deb                    09-Mar-2023 20:38            33079952
coq_8.11.0-1_amd64.deb                             09-Mar-2023 20:38            76583920
coqide_8.11.0-1_amd64.deb                          09-Mar-2023 20:38             1758824
libcoq-ocaml-dev_8.11.0-1_amd64.deb                09-Mar-2023 20:38            16068892
libcoq-ocaml_8.11.0-1_amd64.deb                    09-Mar-2023 20:38             6324304