tribes/guix
1
0
Fork 0
mirror of https://git.savannah.gnu.org/git/guix.git synced 2026-04-10 15:10:37 +02:00
Code Activity
Files
python-team
guix/gnu/packages/patches/cadical-add-shared-library.patch
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

1.5 KiB
Raw Permalink Blame History

View Raw
View Git Blame Copy Permalink