Index of /transitions/20261111/repo/pool/coqeal/

../
coqeal_2.1.2-2+ocaml1.debian.tar.xz                11-Nov-2026 17:33                2620
coqeal_2.1.2-2+ocaml1.dsc                          11-Nov-2026 17:33                1271
coqeal_2.1.2-2+ocaml1_amd64-2026-11-11T16:22:06..> 11-Nov-2026 17:33              112148
coqeal_2.1.2-2+ocaml1_amd64.build                  11-Nov-2026 17:33              112148
coqeal_2.1.2-2+ocaml1_amd64.buildinfo              11-Nov-2026 17:33                7393
coqeal_2.1.2-2+ocaml1_amd64.changes                11-Nov-2026 17:33                1902
coqeal_2.1.2.orig.tar.gz                           11-Nov-2026 17:32              227558
libcoq-coqeal_2.1.2-2+ocaml1_amd64.deb             11-Nov-2026 17:33             6285472