From cd9ad4efe89f63d45600ea4868a0d385b1b1ebee Mon Sep 17 00:00:00 2001 From: Zheng Junjie Date: Thu, 12 Sep 2024 13:24:29 +0800 Subject: 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 --- gnu/packages/coq.scm | 6 +++--- 1 file 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)) -- cgit v1.2.3