tribes/guix
1
0
Fork 0
mirror of https://git.savannah.gnu.org/git/guix.git synced 2026-04-15 23:05:20 +02:00
Code Activity
184,972 Commits 77 Branches 40 Tags
javascript-team
Commit Graph

2 Commits

Author SHA1 Message Date
Sören Tempel
b2b885be52 gnu: cadical: Update to 2.1.3. 
* gnu/packages/maths.scm (cadical): Update to 2.1.3.
* gnu/packages/patches/cadical-add-shared-library.patch: Adjust accordingly.

Signed-off-by: Liliana Marie Prikler <liliana.prikler@gmail.com>
 2026-04-04 18:27:03 +02:00
Liliana Marie Prikler
dcf77f8fca gnu: Add cadical. 
* gnu/packages/patches/cadical-add-shared-library.patch: New file.
* gnu/local.mk (dist_patch_DATA): Register it here.
* gnu/packages/maths.scm (cadical): New variable.
 2024-10-06 12:17:16 +02:00