Index of /transitions/20261111/repo/pool/flocq/

../
flocq_4.2.2-2+ocaml1.debian.tar.xz                 11-Nov-2026 17:33                2088
flocq_4.2.2-2+ocaml1.dsc                           11-Nov-2026 17:33                1148
flocq_4.2.2-2+ocaml1_amd64-2026-11-11T13:38:07Z..> 11-Nov-2026 17:33              287660
flocq_4.2.2-2+ocaml1_amd64.build                   11-Nov-2026 17:33              287660
flocq_4.2.2-2+ocaml1_amd64.buildinfo               11-Nov-2026 17:33                6232
flocq_4.2.2-2+ocaml1_amd64.changes                 11-Nov-2026 17:33                1874
flocq_4.2.2.orig.tar.bz2                           11-Nov-2026 17:32              329748
libcoq-flocq_4.2.2-2+ocaml1_amd64.deb              11-Nov-2026 17:33             3465520