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


../
coq_8.15.0+dfsg-2_arm64.deb                        06-Feb-2022 20:54    102M
coqide_8.15.0+dfsg-2_arm64.deb                     06-Feb-2022 20:54      3M
libcoq-core-ocaml-dev_8.15.0+dfsg-2_arm64.deb      06-Feb-2022 20:53     43M
libcoq-core-ocaml_8.15.0+dfsg-2_arm64.deb          06-Feb-2022 20:53     27M
libcoq-stdlib_8.15.0+dfsg-2_arm64.deb              06-Feb-2022 20:54     24M