Index of /ubuntu/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                        19-Apr-2026 19:34            95393552
coqide_8.11.0-1_amd64.deb                          12-May-2025 11:34             1758824
coqide_8.15.0+dfsg-2_amd64.deb                     19-Apr-2026 19:34             2387786
libcoq-core-ocaml-dev_8.15.0+dfsg-2_amd64.deb      19-Apr-2026 19:34            45035496
libcoq-core-ocaml_8.15.0+dfsg-2_amd64.deb          19-Apr-2026 19:34            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              19-Apr-2026 19:34            24695142