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

../
coq-theories_8.11.0-1_amd64.deb                    01-Oct-2021 16:18            33079952
coq_8.11.0-1_amd64.deb                             01-Oct-2021 16:53            76583920
coqide_8.11.0-1_amd64.deb                          01-Oct-2021 17:04             1758824
libcoq-ocaml-dev_8.11.0-1_amd64.deb                01-Oct-2021 17:04            16068892
libcoq-ocaml_8.11.0-1_amd64.deb                    01-Oct-2021 16:34             6324304