gnu: cmh: Update to 1.1.0.
* gnu/packages/algebra.scm (cmh): Update to 1.1.0. (fplll-4-cmh): Remove variable.
This commit is contained in:
parent
3b37247608
commit
099026df5b
1 changed files with 3 additions and 17 deletions
|
@ -307,24 +307,10 @@ GP2C, the GP to C compiler, translates GP scripts to PARI programs.")
|
||||||
(license license:gpl2)
|
(license license:gpl2)
|
||||||
(home-page "https://pari.math.u-bordeaux.fr/")))
|
(home-page "https://pari.math.u-bordeaux.fr/")))
|
||||||
|
|
||||||
(define fplll-4-cmh
|
|
||||||
(package
|
|
||||||
(inherit fplll)
|
|
||||||
(name "fplll")
|
|
||||||
(version "4.0.4")
|
|
||||||
(source
|
|
||||||
(origin
|
|
||||||
(method url-fetch)
|
|
||||||
(uri (string-append
|
|
||||||
"http://perso.ens-lyon.fr/damien.stehle/fplll/libfplll-"
|
|
||||||
version ".tar.gz"))
|
|
||||||
(sha256
|
|
||||||
(base32 "1cbiby7ykis4z84swclpysrljmqhfcllpkcbll1m08rzskgb1a6b"))))))
|
|
||||||
|
|
||||||
(define-public cmh
|
(define-public cmh
|
||||||
(package
|
(package
|
||||||
(name "cmh")
|
(name "cmh")
|
||||||
(version "1.0")
|
(version "1.1.0")
|
||||||
(source (origin
|
(source (origin
|
||||||
(method url-fetch)
|
(method url-fetch)
|
||||||
;; Git repo at <https://gitlab.inria.fr/cmh/cmh>.
|
;; Git repo at <https://gitlab.inria.fr/cmh/cmh>.
|
||||||
|
@ -332,14 +318,14 @@ GP2C, the GP to C compiler, translates GP scripts to PARI programs.")
|
||||||
version ".tar.gz"))
|
version ".tar.gz"))
|
||||||
(sha256
|
(sha256
|
||||||
(base32
|
(base32
|
||||||
"1a28xr9bs0igms0ik99x0w8lnb0jyfcmvyi26pbyh9ggcdivd33p"))))
|
"1ws2yhzxmm2l5xqqqcjcimmg40f9qq5l9i6d4i5434an9v9s8531"))))
|
||||||
(build-system gnu-build-system)
|
(build-system gnu-build-system)
|
||||||
(inputs
|
(inputs
|
||||||
`(("gmp" ,gmp)
|
`(("gmp" ,gmp)
|
||||||
("mpfr" ,mpfr)
|
("mpfr" ,mpfr)
|
||||||
("mpc" ,mpc)
|
("mpc" ,mpc)
|
||||||
("mpfrcx" ,mpfrcx)
|
("mpfrcx" ,mpfrcx)
|
||||||
("fplll" ,fplll-4-cmh)
|
("fplll" ,fplll)
|
||||||
("pari-gp" ,pari-gp)))
|
("pari-gp" ,pari-gp)))
|
||||||
(synopsis "Igusa class polynomial computations")
|
(synopsis "Igusa class polynomial computations")
|
||||||
(description
|
(description
|
||||||
|
|
Reference in a new issue