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

../
coq-theories_8.11.0-1_amd64.deb                    12-May-2025 11:34            33079952
coq_8.11.0-1_amd64.deb                             12-May-2025 11:34            76583920
coq_8.15.0+dfsg-2_amd64.deb                        17-Apr-2026 17:22            95393552
coqide_8.11.0-1_amd64.deb                          12-May-2025 11:34             1758824
coqide_8.15.0+dfsg-2_amd64.deb                     17-Apr-2026 17:22             2387786
libcoq-core-ocaml-dev_8.15.0+dfsg-2_amd64.deb      17-Apr-2026 17:22            45035496
libcoq-core-ocaml_8.15.0+dfsg-2_amd64.deb          17-Apr-2026 17:22            27070410
libcoq-ocaml-dev_8.11.0-1_amd64.deb                12-May-2025 11:34            16068892
libcoq-ocaml_8.11.0-1_amd64.deb                    12-May-2025 11:34             6324304
libcoq-stdlib_8.15.0+dfsg-2_amd64.deb              17-Apr-2026 17:22            24695142