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                        02-Sep-2026 18:44            95393552
coqide_8.11.0-1_amd64.deb                          12-May-2025 11:34             1758824
coqide_8.15.0+dfsg-2_amd64.deb                     02-Sep-2026 18:44             2387786
libcoq-core-ocaml-dev_8.15.0+dfsg-2_amd64.deb      02-Sep-2026 18:44            45035496
libcoq-core-ocaml_8.15.0+dfsg-2_amd64.deb          02-Sep-2026 18:44            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              02-Sep-2026 18:44            24695142