gnu: libpoly: Update to 0.1.12.

* gnu/packages/maths.scm (libpoly): Update to 0.1.12.
This commit is contained in:
Tobias Geerinckx-Rice 2023-07-23 02:00:00 +02:00
parent d0d593cde2
commit ae3a58cf84
No known key found for this signature in database
GPG key ID: 0DB0FF884F556D79

View file

@ -7822,7 +7822,7 @@ (define-public cudd
(define-public libpoly
(package
(name "libpoly")
(version "0.1.11")
(version "0.1.12")
(source (origin
(method git-fetch)
(uri (git-reference
@ -7831,7 +7831,7 @@ (define-public libpoly
(file-name (git-file-name name version))
(sha256
(base32
"0qylmg30rklvg00a0h1b3pb52cj9ki98yd27cylihjhq2klh3dmy"))))
"1cgdj7mxjyq4r2n852nxqacml90jm9irbvv27an0fmg7q4v1p2kb"))))
(build-system cmake-build-system)
(arguments
(list #:configure-flags #~(list "-DLIBPOLY_BUILD_PYTHON_API=off")))