diff options
| author | Jonathan Brielmaier <jonathan.brielmaier@web.de> | 2021-12-17 17:20:44 +0100 |
|---|---|---|
| committer | Jonathan Brielmaier <jonathan.brielmaier@web.de> | 2021-12-17 17:20:44 +0100 |
| commit | 5da5ec3428201e641e569971e7cba9ae655f65e3 (patch) | |
| tree | 2a0d18de0f68bcc4329fff2ec0a1011e83951118 | |
| parent | b0142c822bfe03e28699a31436fcd5f64e50ae8f (diff) | |
nongnu: compcert: Update to 3.10.
* nongnu/packages/coq.scm (compcert): Update to 3.10.
| -rw-r--r-- | nongnu/packages/coq.scm | 4 |
1 files changed, 2 insertions, 2 deletions
diff --git a/nongnu/packages/coq.scm b/nongnu/packages/coq.scm index 4754b47..58e3eed 100644 --- a/nongnu/packages/coq.scm +++ b/nongnu/packages/coq.scm @@ -29,7 +29,7 @@ (define-public compcert (package (name "compcert") - (version "3.9") + (version "3.10") (source (origin (method git-fetch) (uri (git-reference @@ -38,7 +38,7 @@ (file-name (git-file-name name version)) (sha256 (base32 - "1srcz2dqrvmbvv5cl66r34zqkm0hsbryk7gd3i9xx4slahc9zvdb")))) + "19rmx8r8v46101ij5myfrz60arqjy7q3ra3fb8mxqqi3c8c4l4j6")))) (build-system gnu-build-system) (arguments `(#:phases |