Index of /transitions/ocaml-next/repo/pool/coq/

../
coq_9.2.0+dfsg-4+ocaml1.debian.tar.xz              07-Nov-2026 05:28               28352
coq_9.2.0+dfsg-4+ocaml1.dsc                        07-Nov-2026 05:28                1587
coq_9.2.0+dfsg-4+ocaml1_amd64-2026-11-06T22:27:..> 07-Nov-2026 05:28             2726971
coq_9.2.0+dfsg-4+ocaml1_amd64.build                07-Nov-2026 05:28             2726971
coq_9.2.0+dfsg-4+ocaml1_amd64.buildinfo            07-Nov-2026 05:28               16171
coq_9.2.0+dfsg-4+ocaml1_amd64.changes              07-Nov-2026 05:28                3500
coq_9.2.0+dfsg-4+ocaml1_amd64.deb                  07-Nov-2026 05:28            43315392
coq_9.2.0+dfsg.orig.tar.xz                         07-Nov-2026 05:25             3946088
libcoq-core-ocaml-dev_9.2.0+dfsg-4+ocaml1_amd64..> 07-Nov-2026 05:28            57201260
libcoq-core-ocaml_9.2.0+dfsg-4+ocaml1_amd64.deb    07-Nov-2026 05:28            26868800
libcoq-core_9.2.0+dfsg-4+ocaml1_amd64.deb          07-Nov-2026 05:28             1153068
rocqide_9.2.0+dfsg-4+ocaml1_amd64.deb              07-Nov-2026 05:28             1979408