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

../
coq_8.15.0+dfsg-2_amd64.deb                        08-Oct-2026 08:21            95393552
coqide_8.15.0+dfsg-2_amd64.deb                     08-Oct-2026 08:21             2387786
libcoq-core-ocaml-dev_8.15.0+dfsg-2_amd64.deb      08-Oct-2026 08:21            45035496
libcoq-core-ocaml_8.15.0+dfsg-2_amd64.deb          08-Oct-2026 08:21            27070410
libcoq-stdlib_8.15.0+dfsg-2_amd64.deb              08-Oct-2026 08:21            24695142