Index of /transitions/20261111/repo/pool/coq/

../
coq_9.2.0+dfsg-4+ocaml1.debian.tar.xz              11-Nov-2026 17:33               28364
coq_9.2.0+dfsg-4+ocaml1.dsc                        11-Nov-2026 17:33                1587
coq_9.2.0+dfsg-4+ocaml1_amd64-2026-11-11T13:23:..> 11-Nov-2026 17:33             2724772
coq_9.2.0+dfsg-4+ocaml1_amd64.build                11-Nov-2026 17:33             2724772
coq_9.2.0+dfsg-4+ocaml1_amd64.buildinfo            11-Nov-2026 17:33               16173
coq_9.2.0+dfsg-4+ocaml1_amd64.changes              11-Nov-2026 17:33                3500
coq_9.2.0+dfsg-4+ocaml1_amd64.deb                  11-Nov-2026 17:33            43290068
coq_9.2.0+dfsg.orig.tar.xz                         11-Nov-2026 17:32             3946088
libcoq-core-ocaml-dev_9.2.0+dfsg-4+ocaml1_amd64..> 11-Nov-2026 17:33            57220936
libcoq-core-ocaml_9.2.0+dfsg-4+ocaml1_amd64.deb    11-Nov-2026 17:33            26866436
libcoq-core_9.2.0+dfsg-4+ocaml1_amd64.deb          11-Nov-2026 17:33             1152252
rocqide_9.2.0+dfsg-4+ocaml1_amd64.deb              11-Nov-2026 17:33             1982704