diff options
| author | Liliana Marie Prikler <liliana.prikler@gmail.com> | 2024-09-29 11:00:56 +0200 |
|---|---|---|
| committer | Liliana Marie Prikler <liliana.prikler@gmail.com> | 2024-10-06 12:17:16 +0200 |
| commit | dcf77f8fca7754fbf873b8849044f44826d9fca1 (patch) | |
| tree | 26947d75e44b3d646c9f3caf04bfc61caf05fffa /COPYING | |
| parent | e2ff842ece722f42d7b718e513e64f7a46f90b41 (diff) | |
| download | guix-dcf77f8fca7754fbf873b8849044f44826d9fca1.tar.gz guix-dcf77f8fca7754fbf873b8849044f44826d9fca1.zip | |
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.
Diffstat (limited to 'COPYING')
0 files changed, 0 insertions, 0 deletions