diff options
| author | Maximilian Heisinger <mail@maxheisinger.at> | 2022-08-14 21:09:59 +0200 |
|---|---|---|
| committer | Liliana Marie Prikler <liliana.prikler@gmail.com> | 2022-08-15 15:15:11 +0200 |
| commit | 9ddd37d6ab59e2519bbcefad15ce62561128f0ee (patch) | |
| tree | 21d4498ce40187ba3aaba7ddb3822f4b8062eca9 /configure.ac | |
| parent | 2365e8435a13c3aa4308e88773de0a0e7b9ffef9 (diff) | |
gnu: Add kissat.
* gnu/packages/maths.scm (kissat): New variable.
Signed-off-by: Liliana Marie Prikler <liliana.prikler@gmail.com>
Diffstat (limited to 'configure.ac')
0 files changed, 0 insertions, 0 deletions