-----BEGIN PGP SIGNED MESSAGE----- Hash: SHA512 Format: 1.8 Date: Wed, 04 Feb 2026 00:10:33 +0100 Source: herdtools7 Binary: herdtools7 Architecture: source amd64 Version: 7.58-1 Distribution: unstable Urgency: medium Maintainer: Debian OCaml Maintainers <debian-ocaml-maint@lists.debian.org> Changed-By: Sebastian Andrzej Siewior <sebastian@breakpoint.cc> Description: herdtools7 - Tool suite to test weak memory models Closes: 1124402 Changes: herdtools7 (7.58-1) unstable; urgency=medium . * Initial release. (Closes: #1124402) Checksums-Sha1: 7280b52e8cbbb102edc889916ef7ca7c4c2f314b 1854 herdtools7_7.58-1.dsc 723ed2f4010f799564a6e5b8beb0852e42828f88 1600124 herdtools7_7.58.orig.tar.gz b8ec9dd21daa2419911ae51814e96e9d62980e7c 9828 herdtools7_7.58-1.debian.tar.xz 8096cbee069f0f54a23e5926e17dd26d64dc25ad 6822 herdtools7_7.58-1_amd64.buildinfo 71ee8c5f2f38e61855522ddb4fa5c5540ccc3b93 38741404 herdtools7_7.58-1_amd64.deb Checksums-Sha256: 1cda498c4f0e6f7c283ba1465498c63ee0a8e94923032a824b27985a965fa992 1854 herdtools7_7.58-1.dsc c9c768e840f1fd57daf169cc120f695436c2ec9af74dd7f6fc1f9e4b6b7b58c0 1600124 herdtools7_7.58.orig.tar.gz 843c6de84cd6f16a485b86515a655b2d89e11057867ff72f63e9cf1cecc90c9e 9828 herdtools7_7.58-1.debian.tar.xz 756efa236e10bb0bbfd478700d8798814473dad098b0a2f3fd6ea89302e8b0cb 6822 herdtools7_7.58-1_amd64.buildinfo ce6a013494dac34e4fe82fb2fe2ff9e5fb9fec4f2e0941a5bee55e33a29d9f5a 38741404 herdtools7_7.58-1_amd64.deb Files: 7cba631e33bc01ff350f00b285ab0316 1854 ocaml optional herdtools7_7.58-1.dsc ac70df55c75933ca6a8fe4fa4754c7e9 1600124 ocaml optional herdtools7_7.58.orig.tar.gz 186a1b13f10c6c8ed0e66a1f83940086 9828 ocaml optional herdtools7_7.58-1.debian.tar.xz b2b7edd9da4fc5bcae240dc5d8ebc6fa 6822 ocaml optional herdtools7_7.58-1_amd64.buildinfo 864b39f941db2bbb0a74b3ec1f7e7bc7 38741404 ocaml optional herdtools7_7.58-1_amd64.deb -----BEGIN PGP SIGNATURE----- iQGzBAEBCgAdFiEEV4kucFIzBRM39v3RBWQfF1cS+lsFAmmCgZcACgkQBWQfF1cS +lspoAwAqEptdAxHdrhtcMhX848ln4W5iIlYd71Qf7qQToIVgps2YJ5qnk4ENhUu /ReOJmly2v5wO+zE/EzizGQRYgtCV4r5WuEf1tM8Zk8eScq8cKRDPVTisRYzBsGZ r5oLVdfTU7ALY9qln3hIpDMUxRB2Ew1T7sPBYP9bpH00jKYMu+m76z1i8/yjznXE AN23jFRbVaauqocttzs6grg07NhnqXadSOJuDcbHlwR13X0zNdS8W3tbmbYjrKym btODaEqm929fjrK1JGW4CWJXdwMDLDJYQgn9K+FJD9NkxRU3G+9Hj1Q1DIyFjGTB +XpU66d7LYBhmSeW/ZenSt9NAPfj2nNZXPFS/4l1tx5pot/Ci4d4Kb6iLnA/2OBx h5+IFG1HLkqVYXnHkPSYGPSC18NxttjspQtYba1BzBO80nyVll/zfPpkZsmM6+SN spBWQf7HMffNpx28yzlzoY4dEyHZ9aAKK0voWqlpC29p1TaE8xfmlZSV3dF9YON0 znPoivpy =BZVD -----END PGP SIGNATURE-----
