Format: 1.8
Date: Thu, 02 Jul 2026 11:39:12 +0200
Source: herdtools7
Binary: herdtools7
Architecture: source amd64
Version: 7.58-1+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-1+ocaml1) unstable-ocaml; urgency=medium
 .
   * Rebuild for transition ocaml-5.5.0
Checksums-Sha1:
 fc3db70ec10413afac95292bb0a02071c669c8d8 1173 herdtools7_7.58-1+ocaml1.dsc
 723ed2f4010f799564a6e5b8beb0852e42828f88 1600124 herdtools7_7.58.orig.tar.gz
 2e0bd9fdae7c42bbf66c22a46fea311a1f74f159 9904 herdtools7_7.58-1+ocaml1.debian.tar.xz
 95bbfb3498cb0ff8904fe49e0b9cb8bd88277607 6060 herdtools7_7.58-1+ocaml1_amd64.buildinfo
 597c85e4eeb08ca924f2f1f4746d8109d0568140 39080292 herdtools7_7.58-1+ocaml1_amd64.deb
Checksums-Sha256:
 a93d6312dd2d087c2150a49a1cafa61ac588bf622bfa5ccabe458b89ac5bea0d 1173 herdtools7_7.58-1+ocaml1.dsc
 c9c768e840f1fd57daf169cc120f695436c2ec9af74dd7f6fc1f9e4b6b7b58c0 1600124 herdtools7_7.58.orig.tar.gz
 a170b3aed8c106196a32735cc36a934f63a6305994aeaac0bce4aa7dcc16c73d 9904 herdtools7_7.58-1+ocaml1.debian.tar.xz
 ad9d0f63fcc6f3659984b8538da3e781547f1db2faff9252c8ecc466e2efc04b 6060 herdtools7_7.58-1+ocaml1_amd64.buildinfo
 6895b5ba3cd15c61251fec72faca7be7c1d3b112fa267073c15ecdad4df82b8d 39080292 herdtools7_7.58-1+ocaml1_amd64.deb
Files:
 8d9e5b4f9eb662e6df45c7c3786c3401 1173 ocaml optional herdtools7_7.58-1+ocaml1.dsc
 ac70df55c75933ca6a8fe4fa4754c7e9 1600124 ocaml optional herdtools7_7.58.orig.tar.gz
 599beff3772416038a39d93912c1151d 9904 ocaml optional herdtools7_7.58-1+ocaml1.debian.tar.xz
 963681df4802709b10374b54612b98f2 6060 ocaml optional herdtools7_7.58-1+ocaml1_amd64.buildinfo
 c66e5acf73fdddf62ccc4744a794379e 39080292 ocaml optional herdtools7_7.58-1+ocaml1_amd64.deb