Index of /transitions/20260702/repo/pool/herdtools7/

../
herdtools7_7.58-1+ocaml1.debian.tar.xz             02-Jul-2026 21:16                9904
herdtools7_7.58-1+ocaml1.dsc                       02-Jul-2026 21:16                1173
herdtools7_7.58-1+ocaml1_amd64-2026-07-02T09:39..> 02-Jul-2026 21:16               56285
herdtools7_7.58-1+ocaml1_amd64.build               02-Jul-2026 21:16               56285
herdtools7_7.58-1+ocaml1_amd64.buildinfo           02-Jul-2026 21:16                6060
herdtools7_7.58-1+ocaml1_amd64.changes             02-Jul-2026 21:16                1924
herdtools7_7.58-1+ocaml1_amd64.deb                 02-Jul-2026 21:16            39080292
herdtools7_7.58.orig.tar.gz                        02-Jul-2026 21:13             1600124