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

../
coq-extructures_0.5.0-6+ocaml1.debian.tar.xz       11-Nov-2026 17:33                3084
coq-extructures_0.5.0-6+ocaml1.dsc                 11-Nov-2026 17:33                1293
coq-extructures_0.5.0-6+ocaml1_amd64-2026-11-11..> 11-Nov-2026 17:33               72654
coq-extructures_0.5.0-6+ocaml1_amd64.build         11-Nov-2026 17:33               72654
coq-extructures_0.5.0-6+ocaml1_amd64.buildinfo     11-Nov-2026 17:33                7074
coq-extructures_0.5.0-6+ocaml1_amd64.changes       11-Nov-2026 17:33                2052
coq-extructures_0.5.0.orig.tar.gz                  11-Nov-2026 17:32               42630
libcoq-extructures_0.5.0-6+ocaml1_amd64.deb        11-Nov-2026 17:33              718852