diff options
| author | Sören Tempel <soeren+git@soeren-tempel.net> | 2026-03-26 20:02:19 +0100 |
|---|---|---|
| committer | Liliana Marie Prikler <liliana.prikler@gmail.com> | 2026-04-04 18:27:03 +0200 |
| commit | b2b885be5217387df82b54d298f58f00dcbe641a (patch) | |
| tree | 292b481205e562041bcf887bb24af335aaf2e79b /gnu/packages/maths.scm | |
| parent | 5119d7b1d639ddf3fc677a6adf60c6ad4bc622ad (diff) | |
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>
Diffstat (limited to 'gnu/packages/maths.scm')
| -rw-r--r-- | gnu/packages/maths.scm | 4 |
1 files changed, 2 insertions, 2 deletions
diff --git a/gnu/packages/maths.scm b/gnu/packages/maths.scm index 5a32536c91f..530be30778d 100644 --- a/gnu/packages/maths.scm +++ b/gnu/packages/maths.scm @@ -9895,7 +9895,7 @@ also included.") (define-public cadical (package (name "cadical") - (version "2.0.0") + (version "2.1.3") (source (origin (method git-fetch) (uri (git-reference @@ -9904,7 +9904,7 @@ also included.") (file-name (git-file-name name version)) (patches (search-patches "cadical-add-shared-library.patch")) (sha256 - (base32 "1dzjah3z34v89ka48hncwqkxrwl4xqn9947p0ipf39lxshrq91xa")))) + (base32 "1gl0xd6zyxb127w8k0mps9m2izaqb7im7j91by4lkknmm7xhwyav")))) (build-system gnu-build-system) (arguments (list #:test-target "test" |