guix_mirror_bot pushed a commit to branch master
in repository guix.
commit 037fadc30569a0026bd818c7670bb3b31ffd0b14
Author: Sharlatan Hellseher <[email protected]>
AuthorDate: Wed Jul 23 14:30:12 2025 +0100
gnu: btor2tools: Update to 1.0.0-pre-2.fb69ee3.
* gnu/packages/maths.scm (btor2tools): Update to 1.0.0-pre-2.fb69ee3.
Change-Id: Ia0a4719921f6cff0ced93ed632898627e1612cb7
---
gnu/packages/maths.scm | 6 +++---
1 file changed, 3 insertions(+), 3 deletions(-)
diff --git a/gnu/packages/maths.scm b/gnu/packages/maths.scm
index b0f5b2e2c4..15382e7da7 100644
--- a/gnu/packages/maths.scm
+++ b/gnu/packages/maths.scm
@@ -9887,8 +9887,8 @@ generic reader and writer API.")
license:bsd-3)))) ; blif2aig
(define-public btor2tools
- (let ((commit "b8456dda4780789e882f5791eb486f295ade4da4")
- (revision "1"))
+ (let ((commit "fb69ee3b95e8baa5f0a9a6b0b19ee8beaad52932")
+ (revision "2"))
(package
(name "btor2tools")
(version (git-version "1.0.0-pre" revision commit))
@@ -9900,7 +9900,7 @@ generic reader and writer API.")
(file-name (git-file-name name version))
(sha256
(base32
- "0r3cm69q5xhnbxa74yvdfrsf349s4cxmiqlb4aq8appi7yg3qhww"))))
+ "1vxgcjgs90ywvclp1dvk0j202fcfdp0sjzxjrzsx0v96a2frq02p"))))
(build-system cmake-build-system)
(arguments
(list #:out-of-source? #f
