1
0
mirror of https://git.savannah.gnu.org/git/guix.git synced 2026-04-22 10:10:31 +02:00
Files
guix/gnu/packages/patches
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
..
2024-08-31 10:45:12 +02:00
2023-09-18 23:35:30 +02:00
2024-08-31 10:44:56 +02:00
2023-11-02 18:59:13 +01:00
2024-06-11 10:17:02 +01:00
2024-10-04 17:28:51 +02:00
2024-03-24 10:02:44 +00:00
2024-09-24 15:51:12 +04:00
2024-06-18 11:44:17 +02:00
2023-11-30 09:08:05 +01:00
2023-11-30 09:08:05 +01:00
2024-09-07 13:19:15 +02:00
2024-03-09 09:38:27 +08:00
2023-12-23 11:17:49 +01:00
2023-12-23 11:17:49 +01:00
2024-04-11 12:44:59 +02:00