Index of /transitions/20261111/repo/pool/herdtools7/

../
herdtools7_7.58-2+ocaml1.debian.tar.xz             11-Nov-2026 17:33               10252
herdtools7_7.58-2+ocaml1.dsc                       11-Nov-2026 17:33                1193
herdtools7_7.58-2+ocaml1_amd64-2026-11-11T11:58..> 11-Nov-2026 17:33               85687
herdtools7_7.58-2+ocaml1_amd64.build               11-Nov-2026 17:33               85687
herdtools7_7.58-2+ocaml1_amd64.buildinfo           11-Nov-2026 17:33                6023
herdtools7_7.58-2+ocaml1_amd64.changes             11-Nov-2026 17:33                1927
herdtools7_7.58-2+ocaml1_amd64.deb                 11-Nov-2026 17:33            39284688
herdtools7_7.58.orig.tar.gz                        11-Nov-2026 17:32             1600124