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

../
coq-stdpp_1.13.0-2+ocaml1.debian.tar.xz            11-Nov-2026 17:33                2952
coq-stdpp_1.13.0-2+ocaml1.dsc                      11-Nov-2026 17:33                1190
coq-stdpp_1.13.0-2+ocaml1_amd64-2026-11-11T13:3..> 11-Nov-2026 17:33              150949
coq-stdpp_1.13.0-2+ocaml1_amd64.build              11-Nov-2026 17:33              150949
coq-stdpp_1.13.0-2+ocaml1_amd64.buildinfo          11-Nov-2026 17:33                6260
coq-stdpp_1.13.0-2+ocaml1_amd64.changes            11-Nov-2026 17:33                1944
coq-stdpp_1.13.0.orig.tar.gz                       11-Nov-2026 17:32              342787
libcoq-stdpp_1.13.0-2+ocaml1_amd64.deb             11-Nov-2026 17:33             5282184