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

../
coq_8.15.0+dfsg-2_amd64.deb                        09-Oct-2026 10:36            95393552
coq_8.18.0+dfsg-1build2_amd64.deb                  09-Oct-2026 10:36            95929242
coq_8.20.1+dfsg-1build4_amd64.deb                  09-Oct-2026 10:36            82457158
coqide_8.15.0+dfsg-2_amd64.deb                     09-Oct-2026 10:36             2387786
coqide_8.18.0+dfsg-1build2_amd64.deb               09-Oct-2026 10:36             2349532
coqide_8.20.1+dfsg-1build4_amd64.deb               09-Oct-2026 10:36             2212144
libcoq-core-ocaml-dev_8.15.0+dfsg-2_amd64.deb      09-Oct-2026 10:36            45035496
libcoq-core-ocaml-dev_8.18.0+dfsg-1build2_amd64..> 09-Oct-2026 10:36            51407928
libcoq-core-ocaml-dev_8.20.1+dfsg-1build4_amd64..> 09-Oct-2026 10:36            59800134
libcoq-core-ocaml_8.15.0+dfsg-2_amd64.deb          09-Oct-2026 10:36            27070410
libcoq-core-ocaml_8.18.0+dfsg-1build2_amd64.deb    09-Oct-2026 10:36            27687350
libcoq-core-ocaml_8.20.1+dfsg-1build4_amd64.deb    09-Oct-2026 10:36            28275532
libcoq-stdlib_8.15.0+dfsg-2_amd64.deb              09-Oct-2026 10:36            24695142
libcoq-stdlib_8.18.0+dfsg-1build2_amd64.deb        09-Oct-2026 10:36            26511990
libcoq-stdlib_8.20.1+dfsg-1build4_amd64.deb        09-Oct-2026 10:36            26919630