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