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

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