Index of /ubuntu26.04/archive/pool/universe/c/coq/

../
coq_8.20.1+dfsg-1build4_amd64.deb                  08-Aug-2026 22:11     79M
coqide_8.20.1+dfsg-1build4_amd64.deb               08-Aug-2026 22:11      2M
libcoq-core-ocaml-dev_8.20.1+dfsg-1build4_amd64..> 08-Aug-2026 22:11     57M
libcoq-core-ocaml_8.20.1+dfsg-1build4_amd64.deb    08-Aug-2026 22:11     27M
libcoq-stdlib_8.20.1+dfsg-1build4_amd64.deb        08-Aug-2026 22:11     26M