diff options
| author | Jean-Pierre De Jesus DIAZ <jean@foundation.xyz> | 2024-08-20 12:31:19 +0200 |
|---|---|---|
| committer | Zheng Junjie <zhengjunjie@iscas.ac.cn> | 2024-09-12 13:23:58 +0800 |
| commit | 35cc81b0bf65c08aff93a9323790c41b2660babf (patch) | |
| tree | 307cfbc93bc8812168e8050754d024adf7d43342 /gnu/packages/coq.scm | |
| parent | 114a77e55db43c5507ed25eb47543f2c8e9199df (diff) | |
| download | guix-35cc81b0bf65c08aff93a9323790c41b2660babf.tar.gz | |
gnu: coq: Update to 8.18.0.
* gnu/packages/coq.scm (coq): Update to 8.18.0. Change-Id: I644a4538538a23d736fca2fab541c2cd2fb1f472 Signed-off-by: Zheng Junjie <zhengjunjie@iscas.ac.cn>
Diffstat (limited to 'gnu/packages/coq.scm')
| -rw-r--r-- | gnu/packages/coq.scm | 4 |
1 files changed, 2 insertions, 2 deletions
diff --git a/gnu/packages/coq.scm b/gnu/packages/coq.scm index be95d16991..fcd60a06b4 100644 --- a/gnu/packages/coq.scm +++ b/gnu/packages/coq.scm @@ -56,7 +56,7 @@ (define-public coq (package (name "coq") - (version "8.17.1") + (version "8.18.0") (source (origin (method git-fetch) @@ -66,7 +66,7 @@ (file-name (git-file-name name version)) (sha256 (base32 - "0gg6hizq0i08lk741b579cbswhy6qvkh6inc3d3i5a2af98psq63")))) + "1qy71gdr4s2l6847b4nwns6akib2f7l725zb01m7zc26n6mrrh1m")))) (native-search-paths (list (search-path-specification (variable "COQPATH") |