Your message dated Thu, 26 Feb 2026 03:00:13 +0000
with message-id <[email protected]>
and subject line Bug#1124402: fixed in herdtools7 7.58-1
has caused the Debian Bug report #1124402,
regarding ITP: herdtools7 -- A tool suite to test weak memory models
to be marked as done.
This means that you claim that the problem has been dealt with.
If this is not the case it is now your responsibility to reopen the
Bug report if necessary, and/or fix the problem forthwith.
(NB: If you are a system administrator and have no idea what this
message is talking about, this may indicate a serious mail system
misconfiguration somewhere. Please contact [email protected]
immediately.)
--
1124402: https://bugs.debian.org/cgi-bin/bugreport.cgi?bug=1124402
Debian Bug Tracking System
Contact [email protected] with problems
--- Begin Message ---
Package: wnpp
X-Debbugs-Cc: [email protected]
Owner: Sebastian Andrzej Siewior <[email protected]>
X-Debbugs-Cc: [email protected]
X-Debbugs-Cc: [email protected]
Severity: wishlist
* Package name : herdtools7
Version : 7.58
Upstream Contact: [email protected]
* URL : https://github.com/herd/herdtools7
* License : CeCILL-B
Programming Lang: ocaml
Description : A tool suite to test weak memory models.
>From upstream description:
| We provide the following tools:
| - herd7: a generic simulator for weak memory models
| - litmus7: run litmus tests (given as assembler programs for Power, ARM,
AArch64
| or X86) to test the memory model of the executing machine
| - diy7: produce litmus tests from concise specifications
| some additional tools In particular,
| - mcompare7 to analyse run logs of both herd and litmus.
| - klitmus7, an experimental tool, similar to litmus7 that runs kernel
| memory model tests as kernel modules. The tool klitmus7 is inspired
| from a python script by Andrea Parri.
|
| herdtools7 is the successor of the diy tool suite.
herd7 from this toolsuite is used to verify code based on the Linux
Kernel Memory Model.
The tool is writtin in ocaml. It would be nice if it coul stay under
within the ocaml team. I prepared an initial package at
https://salsa.debian.org/bigeasy/herdtools7
but my ocaml is very weak.
Sebastian
--- End Message ---
--- Begin Message ---
Source: herdtools7
Source-Version: 7.58-1
Done: Sebastian Andrzej Siewior <[email protected]>
We believe that the bug you reported is fixed in the latest version of
herdtools7, which is due to be installed in the Debian FTP archive.
A summary of the changes between this version and the previous one is
attached.
Thank you for reporting the bug, which will now be closed. If you
have further comments please address them to [email protected],
and the maintainer will reopen the bug report if appropriate.
Debian distribution maintenance software
pp.
Sebastian Andrzej Siewior <[email protected]> (supplier of updated
herdtools7 package)
(This message was generated automatically at their request; if you
believe that there is a problem with it please contact the archive
administrators by mailing [email protected])
-----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 <[email protected]>
Changed-By: Sebastian Andrzej Siewior <[email protected]>
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-----
pgpgPmg_NTgw8.pgp
Description: PGP signature
--- End Message ---
