Index of /uos/ppa/kelvinu/pool/main/c/coq/

../
coq-theories_8.9.0-1_arm64.deb                     26-Sep-2021 17:19     19M
coq_8.9.0-1_arm64.deb                              26-Sep-2021 16:55     60M
libcoq-ocaml-dev_8.9.0-1_arm64.deb                 26-Sep-2021 17:07     13M
libcoq-ocaml_8.9.0-1_arm64.deb                     26-Sep-2021 17:08      6M