diff options
| author | Liliana Marie Prikler <[email protected]> | 2024-09-29 11:04:20 +0200 |
|---|---|---|
| committer | Liliana Marie Prikler <[email protected]> | 2024-10-06 12:17:17 +0200 |
| commit | caaf6e98dfc04bda84b518968171627e96a14741 (patch) | |
| tree | d967909f5907cb2e240484be67f3f97586f249a3 /gnu/packages/shellutils.scm | |
| parent | ea8ef0f87850c8e2dbeb48ff7f79d26069278ee2 (diff) | |
gnu: Add cadiback-for-cryptominisat.
* gnu/packages/maths.scm (cadiback-for-cryptominisat): New variable.
Diffstat (limited to 'gnu/packages/shellutils.scm')
0 files changed, 0 insertions, 0 deletions