diff options
| author | Sharlatan Hellseher <sharlatanus@gmail.com> | 2025-07-23 14:30:12 +0100 |
|---|---|---|
| committer | Sharlatan Hellseher <sharlatanus@gmail.com> | 2025-07-23 15:36:39 +0100 |
| commit | 037fadc30569a0026bd818c7670bb3b31ffd0b14 (patch) | |
| tree | c28090d49766af56567d4ad56033b7e412757181 /gnu | |
| parent | 90a5ca11022ad0dd113b72b112add510aaab0f15 (diff) | |
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
Diffstat (limited to 'gnu')
| -rw-r--r-- | gnu/packages/maths.scm | 6 |
1 files changed, 3 insertions, 3 deletions
diff --git a/gnu/packages/maths.scm b/gnu/packages/maths.scm index b0f5b2e2c42..15382e7da70 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 |