TakeV/guix
1
0
Fork 0
Code Issues Pull requests Packages Projects Releases Wiki Activity

gnu: coq-coquelicot: Update to 3.2.0.

Browse source 
* gnu/packages/coq.scm (coq-coquelicot): Update to 3.2.0.
This commit is contained in:
Julien Lepiller 2021-11-21 17:32:02 +01:00
parent 698e5c38b4
commit 5bcf0101b2
No known key found for this signature in database
GPG key ID: 53D457B2D636EE82
1 changed files with 4 additions and 4 deletions
Show stats Download patch file Download diff file Expand all files Collapse all files

8
gnu/packages/coq.scm
View file

@ -342,7 +342,7 @@ (define-public coq-mathcomp
(define-public coq-coquelicot (define-public coq-coquelicot
(package (package
(name "coq-coquelicot") (name "coq-coquelicot")
(version "3.1.0") (version "3.2.0")
(source (source
(origin (origin
(method git-fetch) (method git-fetch)
@ -352,7 +352,7 @@ (define-public coq-coquelicot
(file-name (git-file-name name version)) (file-name (git-file-name name version))
(sha256 (sha256
(base32 (base32
"0mz3pxan1237fr5fi79c66y7b9z7bmi0sc45kwrmkczsjm5462jm")))) "146s5y2xsc7wb43m1pq1n4p14hw99gqbzx0ic3a4naxq16v7cv4w"))))
(build-system gnu-build-system) (build-system gnu-build-system)
(native-inputs (native-inputs
`(("autoconf" ,autoconf) `(("autoconf" ,autoconf)
@ -364,8 +364,8 @@ (define-public coq-coquelicot
`(("mathcomp" ,coq-mathcomp))) `(("mathcomp" ,coq-mathcomp)))
(arguments (arguments
`(#:configure-flags `(#:configure-flags
(list (string-append "--libdir=" (assoc-ref %outputs "out") (list (string-append "COQUSERCONTRIB=" (assoc-ref %outputs "out")
"/lib/coq/user-contrib/Coquelicot")) "/lib/coq/user-contrib"))
#:phases #:phases
(modify-phases %standard-phases (modify-phases %standard-phases
(add-before 'configure 'fix-remake (add-before 'configure 'fix-remake