summary refs log tree commit diff
path: root/gnu/machine.scm
diff options
context:
space:
mode:
authorLiliana Marie Prikler <liliana.prikler@gmail.com>2023-02-25 09:25:34 +0100
committerLiliana Marie Prikler <liliana.prikler@gmail.com>2023-03-05 08:17:58 +0100
commita10cc08a0f848f490635191cf1137e68b63c9d3c (patch)
treec1c1dbf514d7f7ca0c4404e92711e3af7598c7dd /gnu/machine.scm
parent1164f100d356502b96171b22897e1320d925eaa8 (diff)
downloadguix-a10cc08a0f848f490635191cf1137e68b63c9d3c.tar.gz
gnu: Add boolector.
* gnu/packages/patches/boolector-find-googletest: New file.
* gnu/local.mk (dist_patch_DATA): Register it here.
* gnu/packages/maths.scm (boolector): New variable.
Diffstat (limited to 'gnu/machine.scm')
0 files changed, 0 insertions, 0 deletions