Index of /ubuntu-test-rebuild-20230515-lunar-o3/ubuntu/pool/universe/c/coq

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