Format: 1.8
Date: Thu, 14 May 2026 11:48:17 +0200
Source: herdtools7
Binary: herdtools7
Architecture: source amd64
Version: 7.58-1+ocaml1
Distribution: bookworm-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) bookworm-backports-ocaml; urgency=medium
 .
   * Rebuild for transition ocaml-5.4.1
Checksums-Sha1:
 3086abfdf914267ef778ff57063607e7f699a993 1174 herdtools7_7.58-1+ocaml1.dsc
 723ed2f4010f799564a6e5b8beb0852e42828f88 1600124 herdtools7_7.58.orig.tar.gz
 bff71eebb7c254e438e91c1da499223ea4f82e3d 9924 herdtools7_7.58-1+ocaml1.debian.tar.xz
 bac40d879f44344c89d862ab7ee43f73d12eeb6d 6693 herdtools7_7.58-1+ocaml1_amd64.buildinfo
 87db54b8c6656423d0fe09ee79c1c4d73327e64e 38318652 herdtools7_7.58-1+ocaml1_amd64.deb
Checksums-Sha256:
 ebc0f1a48b62f18b5c71a469f8b8e2e4b84302cde45e17bd9356e03d48d127d2 1174 herdtools7_7.58-1+ocaml1.dsc
 c9c768e840f1fd57daf169cc120f695436c2ec9af74dd7f6fc1f9e4b6b7b58c0 1600124 herdtools7_7.58.orig.tar.gz
 205d8a69436039512e173b9ab5f64325ed5b2e72beed16a39e175fc3974cc60e 9924 herdtools7_7.58-1+ocaml1.debian.tar.xz
 a38c46dbbc703f23e7568d5ab6a53f93600e88a449f38bad620d0a838b3e0af5 6693 herdtools7_7.58-1+ocaml1_amd64.buildinfo
 899fba4f8556a7619ca3adcd67a740d62ec27367ae01e42bbb4e5b2b21498159 38318652 herdtools7_7.58-1+ocaml1_amd64.deb
Files:
 d290f018b24ecc295ccac3ed15d442fc 1174 ocaml optional herdtools7_7.58-1+ocaml1.dsc
 ac70df55c75933ca6a8fe4fa4754c7e9 1600124 ocaml optional herdtools7_7.58.orig.tar.gz
 8a744e78fe27f2ca7777097421d0fa35 9924 ocaml optional herdtools7_7.58-1+ocaml1.debian.tar.xz
 45eca5c219c15e228529a4024a21bbc1 6693 ocaml optional herdtools7_7.58-1+ocaml1_amd64.buildinfo
 0966928a8730c4b4e660a62449be875b 38318652 ocaml optional herdtools7_7.58-1+ocaml1_amd64.deb