Index of /ubuntu-test-rebuild-20220506-jammy-v2/ubuntu/pool/universe/c/coq

[ICO]NameLast modifiedSize
[PARENTDIR]Parent Directory  -
[ ]coq_8.15.0+dfsg-2_amd64.deb2022-06-03 22:36 91M
[ ]libcoq-core-ocaml-dev_8.15.0+dfsg-2_amd64.deb2022-06-03 22:36 43M
[ ]libcoq-core-ocaml_8.15.0+dfsg-2_amd64.deb2022-06-03 22:36 26M
[ ]libcoq-stdlib_8.15.0+dfsg-2_amd64.deb2022-06-03 22:36 24M
[ ]coqide_8.15.0+dfsg-2_amd64.deb2022-06-03 22:36 2.3M