Index of /ubuntu/staging/pool/universe/c/coq/

../
coq_8.18.0+dfsg-1build2_amd64.deb                  24-Oct-2026 13:04     91M
coqide_8.18.0+dfsg-1build2_amd64.deb               24-Oct-2026 13:38      2M
libcoq-core-ocaml-dev_8.18.0+dfsg-1build2_amd64..> 24-Oct-2026 13:44     49M
libcoq-core-ocaml_8.18.0+dfsg-1build2_amd64.deb    24-Oct-2026 14:13     26M
libcoq-stdlib_8.18.0+dfsg-1build2_amd64.deb        24-Oct-2026 13:18     25M