diff options
author | Sören Tempel <soeren@soeren-tempel.net> | 2024-07-08 09:44:26 +0200 |
---|---|---|
committer | Liliana Marie Prikler <liliana.prikler@gmail.com> | 2024-07-13 08:10:03 +0200 |
commit | 087bd6916ddd03d5f92d0a77d0e5f849e957ddb9 (patch) | |
tree | 012077a46c020c83e125c793aaf60e681c2d3b6b /doc | |
parent | 3bdaa223b363b6986baa4bfa11f629f6ba974bba (diff) | |
download | guix-087bd6916ddd03d5f92d0a77d0e5f849e957ddb9.tar.gz guix-087bd6916ddd03d5f92d0a77d0e5f849e957ddb9.zip |
gnu: klee: Build with klee-uclibc support.
* gnu/packages/check.scm (klee): Use klee-uclibc.
Signed-off-by: Liliana Marie Prikler <liliana.prikler@gmail.com>
Diffstat (limited to 'doc')
0 files changed, 0 insertions, 0 deletions