gnu: coq-bignums: Update to 8.8.0.
* gnu/packages/ocaml.scm (coq-bignums): Update to 8.8.0.
This commit is contained in:
parent
206af0dfcf
commit
066d05f083
|
@ -4063,7 +4063,7 @@ theorems between the two libraries.")
|
||||||
(define-public coq-bignums
|
(define-public coq-bignums
|
||||||
(package
|
(package
|
||||||
(name "coq-bignums")
|
(name "coq-bignums")
|
||||||
(version "8.7.0")
|
(version "8.8.0")
|
||||||
(source (origin
|
(source (origin
|
||||||
(method url-fetch)
|
(method url-fetch)
|
||||||
(uri (string-append "https://github.com/coq/bignums/archive/V"
|
(uri (string-append "https://github.com/coq/bignums/archive/V"
|
||||||
|
@ -4071,7 +4071,7 @@ theorems between the two libraries.")
|
||||||
(file-name (string-append name "-" version ".tar.gz"))
|
(file-name (string-append name "-" version ".tar.gz"))
|
||||||
(sha256
|
(sha256
|
||||||
(base32
|
(base32
|
||||||
"03iw9jiwq9jx45gsvp315y3lxr8m9ksppmcjvxs5c23qnky6zqjx"))))
|
"08m1cmq4hkaf4sb0vy978c11rgzvds71cphyadmr2iirpr5815r0"))))
|
||||||
(build-system gnu-build-system)
|
(build-system gnu-build-system)
|
||||||
(native-inputs
|
(native-inputs
|
||||||
`(("ocaml" ,ocaml)
|
`(("ocaml" ,ocaml)
|
||||||
|
|
Loading…
Reference in New Issue