Format: 1.8
Date: Tue, 11 Aug 2026 09:45:12 +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:
 f6669876f83bafd0c00380f5456340b14c8c0e63 1174 herdtools7_7.58-1+ocaml1.dsc
 723ed2f4010f799564a6e5b8beb0852e42828f88 1600124 herdtools7_7.58.orig.tar.gz
 ba9ea24a190bcc2f86cf35a59b07fb79b4f27bd6 9916 herdtools7_7.58-1+ocaml1.debian.tar.xz
 7ccc17165b6b5b438b0d3036c392245fb36ad92f 6145 herdtools7_7.58-1+ocaml1_amd64.buildinfo
 51bda0e134c184933ae0d5002cb4451eb345c03f 38774024 herdtools7_7.58-1+ocaml1_amd64.deb
Checksums-Sha256:
 004f3e9db497679b338b421c142032c9c006a309895ab0db671b25bc4bce5555 1174 herdtools7_7.58-1+ocaml1.dsc
 c9c768e840f1fd57daf169cc120f695436c2ec9af74dd7f6fc1f9e4b6b7b58c0 1600124 herdtools7_7.58.orig.tar.gz
 7d05832e1ce217a6752a281467eaba8b41e20af7d639935d768856cf0dbe6009 9916 herdtools7_7.58-1+ocaml1.debian.tar.xz
 b96da07f138f0af8c79010e0183e13fa8264489e37056303386eaed4c107576d 6145 herdtools7_7.58-1+ocaml1_amd64.buildinfo
 c6b4708b1c3b9d6377c2891e5fbef12f4cb18c9199970492caa79d26a72d8cb7 38774024 herdtools7_7.58-1+ocaml1_amd64.deb
Files:
 214df788f88dca839969381e8af3ba26 1174 ocaml optional herdtools7_7.58-1+ocaml1.dsc
 ac70df55c75933ca6a8fe4fa4754c7e9 1600124 ocaml optional herdtools7_7.58.orig.tar.gz
 b2bb15415efa1db62fb4fce96d325540 9916 ocaml optional herdtools7_7.58-1+ocaml1.debian.tar.xz
 64284cad8cb6a55c79eadef3ef1aae4d 6145 ocaml optional herdtools7_7.58-1+ocaml1_amd64.buildinfo
 5f9a9f1edc0e618b54fd55345a8ade3c 38774024 ocaml optional herdtools7_7.58-1+ocaml1_amd64.deb