Index of /ubuntu-test-rebuild-20231018-lunar-v3-mtune-icelake-server/ubuntu/pool/universe/c/coq

[ICO]NameLast modifiedSize
[PARENTDIR]Parent Directory  -
[ ]coq_8.16.1+dfsg-1build2_amd64.deb2023-10-24 00:49 104M
[ ]coqide_8.16.1+dfsg-1build2_amd64.deb2023-10-24 00:49 2.2M
[ ]libcoq-core-ocaml-dev_8.16.1+dfsg-1build2_amd64.deb2023-10-24 00:49 47M
[ ]libcoq-core-ocaml_8.16.1+dfsg-1build2_amd64.deb2023-10-24 00:49 26M
[ ]libcoq-stdlib_8.16.1+dfsg-1build2_amd64.deb2023-10-24 00:49 23M