diff options
| author | Liliana Marie Prikler <liliana.prikler@gmail.com> | 2024-09-29 11:08:20 +0200 |
|---|---|---|
| committer | Liliana Marie Prikler <liliana.prikler@gmail.com> | 2024-10-06 12:17:17 +0200 |
| commit | 739b0a0fe1e24a351e5fda7216b19ab8604d8cb8 (patch) | |
| tree | 70e85a27a2584d2ff41b7ea6ee46fb5d5c3c884e /tests/transformations.scm | |
| parent | caaf6e98dfc04bda84b518968171627e96a14741 (diff) | |
| download | guix-739b0a0fe1e24a351e5fda7216b19ab8604d8cb8.tar guix-739b0a0fe1e24a351e5fda7216b19ab8604d8cb8.tar.gz | |
gnu: cryptominisat: Update to 5.11.22.
* gnu/packages/maths.scm (cryptominisat): Update to 5.11.22.
[source]: Patch include for cadiback.
[inputs]: Add cadical, cadiback-for-cryptominisat and gmp.
Diffstat (limited to 'tests/transformations.scm')
0 files changed, 0 insertions, 0 deletions