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                        16-Dec-2025 07:04            95393552
coqide_8.11.0-1_amd64.deb                          12-May-2025 11:34             1758824
coqide_8.15.0+dfsg-2_amd64.deb                     16-Dec-2025 07:04             2387786
libcoq-core-ocaml-dev_8.15.0+dfsg-2_amd64.deb      16-Dec-2025 07:04            45035496
libcoq-core-ocaml_8.15.0+dfsg-2_amd64.deb          16-Dec-2025 07:04            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              16-Dec-2025 07:04            24695142