Format: 1.8
Date: Wed, 11 Nov 2026 12:58:21 +0100
Source: herdtools7
Binary: herdtools7
Architecture: source amd64
Version: 7.58-2+ocaml1
Distribution: unstable-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-2+ocaml1) unstable-ocaml; urgency=medium
 .
   * Rebuild for transition ocaml-5.5.2
Checksums-Sha1:
 97076d35143cf68eab51d1eda5f70ed24eae6fb9 1193 herdtools7_7.58-2+ocaml1.dsc
 723ed2f4010f799564a6e5b8beb0852e42828f88 1600124 herdtools7_7.58.orig.tar.gz
 dd1d181c32129c07a12f74d437af0321cd6f424e 10252 herdtools7_7.58-2+ocaml1.debian.tar.xz
 5da414821566c7217ec3af718bdd940e6e961984 6023 herdtools7_7.58-2+ocaml1_amd64.buildinfo
 7fd106ae7cccbd4656bed421f59942b44e3e1036 39284688 herdtools7_7.58-2+ocaml1_amd64.deb
Checksums-Sha256:
 34033ec79d2bb06c792280d637bafc6b01735c1fa209c63924bc48c51319c8fa 1193 herdtools7_7.58-2+ocaml1.dsc
 c9c768e840f1fd57daf169cc120f695436c2ec9af74dd7f6fc1f9e4b6b7b58c0 1600124 herdtools7_7.58.orig.tar.gz
 05d51a02c9aaf0f33a6e6451a0d8d004549ed3efdb3c2aadf780b0720d2b88e0 10252 herdtools7_7.58-2+ocaml1.debian.tar.xz
 4917c151ffacaa0c1201fba7eb169d7e809084c0d438f4d0ecacb821e1fa02a7 6023 herdtools7_7.58-2+ocaml1_amd64.buildinfo
 525b2654fe6d63e17e74c18acee32e063caeaf0cabcdd4943a4f95dc6a09116f 39284688 herdtools7_7.58-2+ocaml1_amd64.deb
Files:
 20fda99258b0d8f7d8c31ebcaae451f5 1193 ocaml optional herdtools7_7.58-2+ocaml1.dsc
 ac70df55c75933ca6a8fe4fa4754c7e9 1600124 ocaml optional herdtools7_7.58.orig.tar.gz
 296a76427653b0480d6eb502532b6799 10252 ocaml optional herdtools7_7.58-2+ocaml1.debian.tar.xz
 9afc2f60bfeb241068beb9422b6cc11b 6023 ocaml optional herdtools7_7.58-2+ocaml1_amd64.buildinfo
 011326a72153df27f4fc1e916db33d6c 39284688 ocaml optional herdtools7_7.58-2+ocaml1_amd64.deb