diff options
| author | Zheng Junjie <zhengjunjie@iscas.ac.cn> | 2024-09-12 13:24:29 +0800 |
|---|---|---|
| committer | Zheng Junjie <zhengjunjie@iscas.ac.cn> | 2024-09-12 13:25:35 +0800 |
| commit | cd9ad4efe89f63d45600ea4868a0d385b1b1ebee (patch) | |
| tree | 36cc89685c34b24987a6ec5ce384f00853e6c7e4 /gnu | |
| parent | 35cc81b0bf65c08aff93a9323790c41b2660babf (diff) | |
| download | guix-cd9ad4efe89f63d45600ea4868a0d385b1b1ebee.tar guix-cd9ad4efe89f63d45600ea4868a0d385b1b1ebee.tar.gz | |
gnu: coq-bignums: Update to 9.0.0+coq8.18.
* gnu/packages/coq.scm (coq-bignums): Update to 9.0.0+coq8.18.
Change-Id: Ib34ec1d543775f96777dfe31990b6526f589bee6
Diffstat (limited to 'gnu')
| -rw-r--r-- | gnu/packages/coq.scm | 6 |
1 files changed, 3 insertions, 3 deletions
diff --git a/gnu/packages/coq.scm b/gnu/packages/coq.scm index fcd60a06b4..4b26c634d8 100644 --- a/gnu/packages/coq.scm +++ b/gnu/packages/coq.scm @@ -445,16 +445,16 @@ theorems between the two libraries.") (define-public coq-bignums (package (name "coq-bignums") - (version "8.16.0") + (version "9.0.0+coq8.18") (source (origin (method git-fetch) (uri (git-reference (url "https://github.com/coq/bignums") - (commit (string-append "V" version)))) + (commit (string-append "v" version)))) (file-name (git-file-name name version)) (sha256 (base32 - "07ndnm7pndmai3a2bkcmwjfjzfaqyq19c5an15hmhgmd0rdy4z8c")))) + "1vw1a498fhyrpm884rlm3r4lw4mg4l6b9xj8w4y875sacg88kdxw")))) (build-system gnu-build-system) (native-inputs (list ocaml coq)) |