Index of /waves/wave-001-2026-04-14/archive/pool/universe/c/coq/

../
coq_8.15.0+dfsg-2_amd64.deb                        27-Feb-2026 13:00            95393552
coq_8.18.0+dfsg-1build2_amd64.deb                  27-Feb-2026 13:00            95929242
coqide_8.15.0+dfsg-2_amd64.deb                     27-Feb-2026 13:00             2387786
coqide_8.18.0+dfsg-1build2_amd64.deb               27-Feb-2026 13:00             2349532
libcoq-core-ocaml-dev_8.15.0+dfsg-2_amd64.deb      27-Feb-2026 13:00            45035496
libcoq-core-ocaml-dev_8.18.0+dfsg-1build2_amd64..> 27-Feb-2026 13:00            51407928
libcoq-core-ocaml_8.15.0+dfsg-2_amd64.deb          27-Feb-2026 13:00            27070410
libcoq-core-ocaml_8.18.0+dfsg-1build2_amd64.deb    27-Feb-2026 13:00            27687350
libcoq-stdlib_8.15.0+dfsg-2_amd64.deb              27-Feb-2026 13:00            24695142
libcoq-stdlib_8.18.0+dfsg-1build2_amd64.deb        27-Feb-2026 13:00            26511990