diff options
| author | Liliana Marie Prikler <liliana.prikler@gmail.com> | 2024-09-29 11:04:20 +0200 |
|---|---|---|
| committer | Liliana Marie Prikler <liliana.prikler@gmail.com> | 2024-10-06 12:17:17 +0200 |
| commit | caaf6e98dfc04bda84b518968171627e96a14741 (patch) | |
| tree | d967909f5907cb2e240484be67f3f97586f249a3 /tests/transformations.scm | |
| parent | ea8ef0f87850c8e2dbeb48ff7f79d26069278ee2 (diff) | |
| download | guix-caaf6e98dfc04bda84b518968171627e96a14741.tar guix-caaf6e98dfc04bda84b518968171627e96a14741.tar.gz | |
gnu: Add cadiback-for-cryptominisat.
* gnu/packages/maths.scm (cadiback-for-cryptominisat): New variable.
Diffstat (limited to 'tests/transformations.scm')
0 files changed, 0 insertions, 0 deletions