diff options
| -rw-r--r-- | gnu/packages/algebra.scm | 6 |
1 files changed, 4 insertions, 2 deletions
diff --git a/gnu/packages/algebra.scm b/gnu/packages/algebra.scm index b8c531e75d..a09c619e76 100644 --- a/gnu/packages/algebra.scm +++ b/gnu/packages/algebra.scm @@ -1521,7 +1521,7 @@ for the Coq proof assistant.") (define-public givaro (package (name "givaro") - (version "4.1.1") + (version "4.2.1") (source (origin (method git-fetch) (uri (git-reference @@ -1530,12 +1530,14 @@ for the Coq proof assistant.") (file-name (git-file-name name version)) (sha256 (base32 - "11wz57q6ijsvfs5r82masxgr319as92syi78lnl9lgdblpc6xigk")))) + "1nmfn9g859c9lwyifqbr0mi3xfhpx970janvm4smjvd9mac1cadx")))) (build-system gnu-build-system) (native-inputs (list autoconf automake libtool)) (propagated-inputs (list gmp)) ; gmp++.h includes gmpxx.h + (arguments + '(#:configure-flags (list "--without-archnative"))) (synopsis "Algebraic computations with exact rings and fields") (description "Givaro is a C++ library implementing the basic arithmetic of various |