Format: 1.8
Date: Fri, 06 Nov 2026 18:13:09 +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:
 8a4adefa12d9099b3a058cdb0784f55920e654c0 1193 herdtools7_7.58-2+ocaml1.dsc
 723ed2f4010f799564a6e5b8beb0852e42828f88 1600124 herdtools7_7.58.orig.tar.gz
 249854ec7db2af6fa9ec5bf5855f2a58a1271baa 10240 herdtools7_7.58-2+ocaml1.debian.tar.xz
 da20e25ff36ccf088a9df1326663882031ef8530 6020 herdtools7_7.58-2+ocaml1_amd64.buildinfo
 c99c3325266cce3e62eb689f21e073d4e97c824c 39287400 herdtools7_7.58-2+ocaml1_amd64.deb
Checksums-Sha256:
 260a542a5f6a1854945431376dbc2bf6b6b14761fdcce2b0828b44399cb74f55 1193 herdtools7_7.58-2+ocaml1.dsc
 c9c768e840f1fd57daf169cc120f695436c2ec9af74dd7f6fc1f9e4b6b7b58c0 1600124 herdtools7_7.58.orig.tar.gz
 91f46cb75e2e28a07fdc86c8bb2250c6aa303564fc45d99c619641c16edf0822 10240 herdtools7_7.58-2+ocaml1.debian.tar.xz
 20ee200cd77cd8f984cc3732677b07b0224840bf71d960a9ccbed9bef107a18a 6020 herdtools7_7.58-2+ocaml1_amd64.buildinfo
 c7d9fcfcf40ecc98074756e93afc0f2c5d087fe3b07c581ac90cfcd310a45052 39287400 herdtools7_7.58-2+ocaml1_amd64.deb
Files:
 0e44246709a91bb53e4ce35509a152ba 1193 ocaml optional herdtools7_7.58-2+ocaml1.dsc
 ac70df55c75933ca6a8fe4fa4754c7e9 1600124 ocaml optional herdtools7_7.58.orig.tar.gz
 e358bde0cdf045d01017939a2c2934c7 10240 ocaml optional herdtools7_7.58-2+ocaml1.debian.tar.xz
 bd9b424674a5ad3959fc5ca38fa8a0e3 6020 ocaml optional herdtools7_7.58-2+ocaml1_amd64.buildinfo
 20dfbc1eaaaa49d126412dec4305b6e8 39287400 ocaml optional herdtools7_7.58-2+ocaml1_amd64.deb