1
0
mirror of https://git.savannah.gnu.org/git/guix.git synced 2026-04-06 13:10: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
2025-09-21 22:48:26 +09:00
2026-03-18 10:58:52 +05:30
2026-02-04 12:31:20 -05:00
2025-09-02 10:46:12 +02:00
2025-08-04 03:21:51 +00: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-08-12 16:03:16 +09:00
2025-09-30 16:48:21 +09:00
2025-09-17 12:13:05 +02:00
2025-12-01 14:43:32 -06:00
2025-09-26 13:42:34 +02:00
2025-08-26 12:16:26 +08:00