me
/
guix
Archived
1
0
Fork 0
Code

gnu: coq-mathcomp: Update to 1.8.0. 

* gnu/packages/coq.scm (coq-mathcomp): Update to 1.8.0.
master
Julien Lepiller 2019-05-04 19:27:30 +02:00
parent 1f1ea9c0cb
commit f5b0d90490
No known key found for this signature in database
GPG Key ID: 43111F4520086A0C
1 changed files with 2 additions and 2 deletions
Show Stats Download Patch File Download Diff File Expand all files Collapse all files

4
gnu/packages/coq.scm
View File

@ -284,7 +284,7 @@ assistant.")
(define-public coq-mathcomp (define-public coq-mathcomp
(package (package
(name "coq-mathcomp") (name "coq-mathcomp")
(version "1.7.0") (version "1.8.0")
(source (source
(origin (origin
(method git-fetch) (method git-fetch)
@ -293,7 +293,7 @@ assistant.")
(commit (string-append "mathcomp-" version)))) (commit (string-append "mathcomp-" version))))
(file-name (git-file-name name version)) (file-name (git-file-name name version))
(sha256 (sha256
(base32 "1cdzi67jj440xkdpxm10aly80zpn56vjzj2ygb67iq3xpljlv95h")))) (base32 "1sdrw3b6lc8crz02lp90a863rvyzhc9vcfsrdvc9m311yiaad4xv"))))
(build-system gnu-build-system) (build-system gnu-build-system)
(native-inputs (native-inputs
`(("ocaml" ,ocaml) `(("ocaml" ,ocaml)