Index of /ubuntu-test-rebuild-20231206-mantic-v3-mtune-icelake-server/ubuntu/pool/universe/c/coq

[ICO]NameLast modifiedSize
[PARENTDIR]Parent Directory  -
[ ]coq_8.17.0+dfsg-1build1_amd64.deb2023-12-15 22:40 89M
[ ]coqide_8.17.0+dfsg-1build1_amd64.deb2023-12-15 22:40 2.2M
[ ]libcoq-core-ocaml-dev_8.17.0+dfsg-1build1_amd64.deb2023-12-15 22:40 48M
[ ]libcoq-core-ocaml_8.17.0+dfsg-1build1_amd64.deb2023-12-15 22:40 26M
[ ]libcoq-stdlib_8.17.0+dfsg-1build1_amd64.deb2023-12-15 22:40 27M