gnu: coq-bignums: Update to 8.15.0.
* gnu/packages/coq.scm (coq-bignums): Update to 8.15.0.
This commit is contained in:
parent
575c4ad510
commit
238a900bae
|
@ -420,7 +420,7 @@ (define-public coq-coquelicot
|
||||||
(define-public coq-bignums
|
(define-public coq-bignums
|
||||||
(package
|
(package
|
||||||
(name "coq-bignums")
|
(name "coq-bignums")
|
||||||
(version "8.14.0")
|
(version "8.15.0")
|
||||||
(source (origin
|
(source (origin
|
||||||
(method git-fetch)
|
(method git-fetch)
|
||||||
(uri (git-reference
|
(uri (git-reference
|
||||||
|
@ -429,7 +429,7 @@ (define-public coq-bignums
|
||||||
(file-name (git-file-name name version))
|
(file-name (git-file-name name version))
|
||||||
(sha256
|
(sha256
|
||||||
(base32
|
(base32
|
||||||
"0jsgdvj0ddhkls32krprp34r64y1rb5mwxl34fgaxk2k4664yq06"))))
|
"093klwlhclgyrba1iv18dyz1qp5f0lwiaa7y0qwvgmai8rll5fns"))))
|
||||||
(build-system gnu-build-system)
|
(build-system gnu-build-system)
|
||||||
(native-inputs
|
(native-inputs
|
||||||
(list ocaml coq))
|
(list ocaml coq))
|
||||||
|
|
Loading…
Reference in a new issue