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

../
coq_8.15.0+dfsg-2_amd64.deb                        07-Mar-2026 21:34     91M
coq_8.18.0+dfsg-1build2_amd64.deb                  07-Mar-2026 21:34     91M
coqide_8.15.0+dfsg-2_amd64.deb                     07-Mar-2026 21:34      2M
coqide_8.18.0+dfsg-1build2_amd64.deb               07-Mar-2026 21:34      2M
libcoq-core-ocaml-dev_8.15.0+dfsg-2_amd64.deb      07-Mar-2026 21:34     43M
libcoq-core-ocaml-dev_8.18.0+dfsg-1build2_amd64..> 07-Mar-2026 21:34     49M
libcoq-core-ocaml_8.15.0+dfsg-2_amd64.deb          07-Mar-2026 21:34     26M
libcoq-core-ocaml_8.18.0+dfsg-1build2_amd64.deb    07-Mar-2026 21:34     26M
libcoq-stdlib_8.15.0+dfsg-2_amd64.deb              07-Mar-2026 21:34     24M
libcoq-stdlib_8.18.0+dfsg-1build2_amd64.deb        07-Mar-2026 21:34     25M