tribes/guix
1
0
Fork 1
mirror of https://git.savannah.gnu.org/git/guix.git synced 2026-04-19 16:50:38 +02:00
Code Activity
Files
bacd7d9ddeaffedc80cdff60a67f6fdfd04b075f
guix/gnu/packages/maths.scm
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