Index of /transitions/20261106/repo/pool/flocq/

../
flocq_4.2.2-2+ocaml1.debian.tar.xz                 07-Nov-2026 05:28                2096
flocq_4.2.2-2+ocaml1.dsc                           07-Nov-2026 05:28                1148
flocq_4.2.2-2+ocaml1_amd64-2026-11-06T22:42:47Z..> 07-Nov-2026 05:28              290079
flocq_4.2.2-2+ocaml1_amd64.build                   07-Nov-2026 05:28              290079
flocq_4.2.2-2+ocaml1_amd64.buildinfo               07-Nov-2026 05:28                6229
flocq_4.2.2-2+ocaml1_amd64.changes                 07-Nov-2026 05:28                1874
flocq_4.2.2.orig.tar.bz2                           07-Nov-2026 05:25              329748
libcoq-flocq_4.2.2-2+ocaml1_amd64.deb              07-Nov-2026 05:28             3465964