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/packages/python-web.scm | |
| 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/packages/python-web.scm')
0 files changed, 0 insertions, 0 deletions