diff options
| author | Liliana Marie Prikler <[email protected]> | 2024-06-15 23:42:36 +0200 |
|---|---|---|
| committer | Liliana Marie Prikler <[email protected]> | 2024-06-23 10:09:00 +0200 |
| commit | fe7c898750e3fdad586ab3929c67b4b4643ffece (patch) | |
| tree | 1ace9b2349fa53633472d8a9ee9b9c31066e1ad1 /gnu/local.mk | |
| parent | fde607ee75ca0de1fe2966cac004fefd9c505d92 (diff) | |
gnu: Add klee.
* gnu/packages/check.scm (klee): New variable.
Diffstat (limited to 'gnu/local.mk')
0 files changed, 0 insertions, 0 deletions