diff options
| author | Liliana Marie Prikler <liliana.prikler@gmail.com> | 2023-02-25 09:25:10 +0100 |
|---|---|---|
| committer | Liliana Marie Prikler <liliana.prikler@gmail.com> | 2023-03-05 08:17:58 +0100 |
| commit | 1164f100d356502b96171b22897e1320d925eaa8 (patch) | |
| tree | 95e65a43a3905196b1d3c325aca75b439442f985 /THANKS | |
| parent | 367979cbff8a85a983535c6a0858f80ba36c72e2 (diff) | |
| download | guix-1164f100d356502b96171b22897e1320d925eaa8.tar guix-1164f100d356502b96171b22897e1320d925eaa8.tar.gz | |
gnu: Add btor2tools.
* gnu/packages/maths.scm (btor2tools): New variable.
Diffstat (limited to 'THANKS')
0 files changed, 0 insertions, 0 deletions