tribes/guix
1
0
Fork 1
mirror of https://git.savannah.gnu.org/git/guix.git synced 2026-05-01 14:55:55 +02:00
Code Activity
Files
b9ec6251bee8e4e500eb9291087fbf2018aca113
guix/gnu/packages/maths.scm
T
Liliana Marie Prikler 739b0a0fe1 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.
2024-10-06 12:17:17 +02:00

430 KiB
Raw Blame History

View Raw
View Git Blame Copy Permalink