diff options
| author | Andreas Enge <andreas@enge.fr> | 2025-04-02 17:56:48 +0200 |
|---|---|---|
| committer | Andreas Enge <andreas@enge.fr> | 2025-04-02 17:57:08 +0200 |
| commit | 8fbebca8e1e8a2d574e5be4968dfb78d4e136b75 (patch) | |
| tree | 8674cedd7c96f6a6881691d65caa2bd2fce737a6 | |
| parent | 111aacf22fdc0314f41b737106ad70c1899a58e7 (diff) | |
gnu: givaro: Update to 4.2.1.
* gnu/packages/algebra.scm (givaro): Update to 4.2.1.
[arguments]<#:configure-flags>: Disable "-march=native".
Change-Id: I6a98534aa607f79c14e02c0dc658a4235d2668ea
| -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 |