1
0
mirror of https://git.savannah.gnu.org/git/guix.git synced 2026-04-06 21:20:33 +02:00
Files
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
..
2025-11-27 13:03:53 +01:00
2026-01-19 21:38:21 +01:00
2026-03-17 09:08:08 +01:00
2026-03-18 10:58:52 +05:30
2026-02-04 12:31:20 -05:00
2026-03-06 14:53:49 +01:00
2026-02-21 21:52:40 +01:00
2026-02-10 23:49:15 +01:00
2025-10-19 21:29:38 +02:00
2025-12-01 14:43:32 -06:00