diff options
| author | Marius Bakke <marius@gnu.org> | 2020-10-13 23:39:27 +0200 |
|---|---|---|
| committer | Marius Bakke <marius@gnu.org> | 2020-10-13 23:39:27 +0200 |
| commit | f7175626ffce578be1bc6df4916a129f86557872 (patch) | |
| tree | 2eb0040522f2883764b3e09dc36595d68eeb14c1 /gnu/packages/algebra.scm | |
| parent | 2b6ecdf41a09ab9ecae06d7c537583a2f0f28efc (diff) | |
| parent | e8c5533d26b4441c96e9ae92350efcb24d787c4b (diff) | |
| download | guix-f7175626ffce578be1bc6df4916a129f86557872.tar guix-f7175626ffce578be1bc6df4916a129f86557872.tar.gz | |
Merge branch 'master' into staging
Diffstat (limited to 'gnu/packages/algebra.scm')
| -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 912ec2fe64..b712d3a869 100644 --- a/gnu/packages/algebra.scm +++ b/gnu/packages/algebra.scm @@ -48,6 +48,7 @@ #:use-module (gnu packages maths) #:use-module (gnu packages mpi) #:use-module (gnu packages multiprecision) + #:use-module (gnu packages ocaml) #:use-module (gnu packages perl) #:use-module (gnu packages pkg-config) #:use-module (gnu packages pulseaudio) @@ -354,7 +355,7 @@ precision.") (define-public giac (package (name "giac") - (version "1.6.0-23") + (version "1.6.0-25") (source (origin (method url-fetch) @@ -366,7 +367,7 @@ precision.") "~parisse/debian/dists/stable/main/source/" "giac_" version ".tar.gz")) (sha256 - (base32 "0bgc3jw9r0f2bkqv0m4hla7r7mxi3fzscnkjfc5cvffp3nk2gwvf")))) + (base32 "11kik2csdg9wy0npiih21kaag0nc89i9ldgk7ak7gvf9ycddm6mh")))) (build-system gnu-build-system) (arguments `(#:modules ((ice-9 ftw) @@ -431,6 +432,7 @@ precision.") (native-inputs `(("bison" ,bison) ("flex" ,flex) + ("hevea" ,hevea) ("python" ,python-wrapper) ("readline" ,readline) ("texlive" ,texlive-tiny))) |