Index of /pub/linux/ubuntu/pool/universe/c/coq

[ICO]NameLast modifiedSizeDescription
[PARENTDIR]Parent Directory  -  
[ ]libcoq-core-ocaml-dev_8.17.0+dfsg-1build1_amd64.deb2023-07-25 02:37 48M 
[ ]libcoq-core-ocaml_8.17.0+dfsg-1build1_amd64.deb2023-07-25 02:37 26M 
[ ]libcoq-stdlib_8.17.0+dfsg-1build1_amd64.deb2023-07-25 02:37 27M 
[ ]coq_8.17.0+dfsg-1build1_amd64.deb2023-07-25 02:37 89M 
[ ]coqide_8.17.0+dfsg-1build1_amd64.deb2023-07-25 02:37 2.2M 
[ ]libcoq-stdlib_8.18.0+dfsg-1build2_amd64.deb2024-04-01 04:32 25M 
[ ]coqide_8.18.0+dfsg-1build2_amd64.deb2024-04-01 04:32 2.2M 
[ ]libcoq-core-ocaml-dev_8.18.0+dfsg-1build2_amd64.deb2024-04-01 04:32 49M 
[ ]libcoq-core-ocaml_8.18.0+dfsg-1build2_amd64.deb2024-04-01 04:32 26M 
[ ]coq_8.18.0+dfsg-1build2_amd64.deb2024-04-01 04:32 91M 
[ ]libcoq-core-ocaml_8.19.1+dfsg-3build3_amd64.deb2024-09-07 16:09 25M 
[ ]libcoq-stdlib_8.20.1+dfsg-1build4_amd64.deb2026-03-01 22:54 26M 
[ ]coqide_8.20.1+dfsg-1build4_amd64.deb2026-03-01 22:54 2.1M 
[ ]libcoq-core-ocaml-dev_8.20.1+dfsg-1build4_amd64.deb2026-03-01 22:54 57M 
[ ]libcoq-core-ocaml_8.20.1+dfsg-1build4_amd64.deb2026-03-01 22:54 27M 
[ ]coq_8.20.1+dfsg-1build4_amd64.deb2026-03-01 22:54 79M