Index of /backports/20260811/repo/pool/coq/

../
coq_9.2.0+dfsg-3+ocaml1.debian.tar.xz              11-Aug-2026 10:35               28348
coq_9.2.0+dfsg-3+ocaml1.dsc                        11-Aug-2026 10:35                1588
coq_9.2.0+dfsg-3+ocaml1_amd64-2026-08-11T09:11:..> 11-Aug-2026 10:35             2723833
coq_9.2.0+dfsg-3+ocaml1_amd64.build                11-Aug-2026 10:35             2723833
coq_9.2.0+dfsg-3+ocaml1_amd64.buildinfo            11-Aug-2026 10:35               16579
coq_9.2.0+dfsg-3+ocaml1_amd64.changes              11-Aug-2026 10:35                3516
coq_9.2.0+dfsg-3+ocaml1_amd64.deb                  11-Aug-2026 10:35            41276000
coq_9.2.0+dfsg.orig.tar.xz                         11-Aug-2026 10:35             3946088
libcoq-core-ocaml-dev_9.2.0+dfsg-3+ocaml1_amd64..> 11-Aug-2026 10:35            55690552
libcoq-core-ocaml_9.2.0+dfsg-3+ocaml1_amd64.deb    11-Aug-2026 10:35            25799096
libcoq-core_9.2.0+dfsg-3+ocaml1_amd64.deb          11-Aug-2026 10:35             1152612
rocqide_9.2.0+dfsg-3+ocaml1_amd64.deb              11-Aug-2026 10:35             1946056