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

../
coq-theories_8.11.0-1_amd64.deb                    07-Feb-2022 08:33            33079952
coq_8.11.0-1_amd64.deb                             07-Feb-2022 09:50            76583920
coqide_8.11.0-1_amd64.deb                          07-Feb-2022 11:16             1758824
libcoq-ocaml-dev_8.11.0-1_amd64.deb                07-Feb-2022 09:53            16068892
libcoq-ocaml_8.11.0-1_amd64.deb                    07-Feb-2022 10:57             6324304