Format: 1.8
Date: Fri, 24 Apr 2026 23:47:26 +0200
Source: herdtools7
Binary: herdtools7
Architecture: source amd64
Version: 7.58-1+ocaml1
Distribution: trixie-backports-ocaml
Urgency: medium
Maintainer: Debian OCaml Maintainers <debian-ocaml-maint@lists.debian.org>
Changed-By: Anonymous Builder <builder@example.org>
Description:
 herdtools7 - Tool suite to test weak memory models
Changes:
 herdtools7 (7.58-1+ocaml1) trixie-backports-ocaml; urgency=medium
 .
   * Rebuild for transition ocaml-5.4.1
Checksums-Sha1:
 801b1c45380bcf14b2fd043761d61650334f054d 1174 herdtools7_7.58-1+ocaml1.dsc
 723ed2f4010f799564a6e5b8beb0852e42828f88 1600124 herdtools7_7.58.orig.tar.gz
 ad56285be0d8b195df1a6ef69acdd117254bfc04 9920 herdtools7_7.58-1+ocaml1.debian.tar.xz
 454ff9b906e6de0034bb193ef424802c4bd7fb01 6045 herdtools7_7.58-1+ocaml1_amd64.buildinfo
 6436ef5e1a7b23c8dbf1fba2ee3306bf6c791c6b 38754228 herdtools7_7.58-1+ocaml1_amd64.deb
Checksums-Sha256:
 4e6fe18e331d8ec2ae249959cbd27afd41dd3f4dcee2bb3c2aee1775a43b435a 1174 herdtools7_7.58-1+ocaml1.dsc
 c9c768e840f1fd57daf169cc120f695436c2ec9af74dd7f6fc1f9e4b6b7b58c0 1600124 herdtools7_7.58.orig.tar.gz
 52d3b84935ed6d5921c0a3c28b3f4a2a610c238305ab4d30831b9690b1038ac2 9920 herdtools7_7.58-1+ocaml1.debian.tar.xz
 9a0951e6b6c8eb2645b7ab77ee6f26709828094830141be823293d42da1441cb 6045 herdtools7_7.58-1+ocaml1_amd64.buildinfo
 58002f6dcc5bbf842f8bea74640def95b292688afc6548d41d21e8ad101f44bb 38754228 herdtools7_7.58-1+ocaml1_amd64.deb
Files:
 3e4b696b29326934c085c69e7e7653e4 1174 ocaml optional herdtools7_7.58-1+ocaml1.dsc
 ac70df55c75933ca6a8fe4fa4754c7e9 1600124 ocaml optional herdtools7_7.58.orig.tar.gz
 becd9193dbf0e281ffd25ae1cb2bfebb 9920 ocaml optional herdtools7_7.58-1+ocaml1.debian.tar.xz
 84142e792b4c70dc216896b3b5e7f082 6045 ocaml optional herdtools7_7.58-1+ocaml1_amd64.buildinfo
 c236e3952a8b35cbc3ccbbfbdca66d18 38754228 ocaml optional herdtools7_7.58-1+ocaml1_amd64.deb