diff options
author | Jonathan Brielmaier <jonathan.brielmaier@web.de> | 2021-10-27 01:26:47 +0200 |
---|---|---|
committer | Jonathan Brielmaier <jonathan.brielmaier@web.de> | 2021-10-27 01:26:47 +0200 |
commit | 0ce5f43c247e1b9e05d7a486d0aa4bbfe4f817fe (patch) | |
tree | a5fe988368e10dc82192c43a9d62356d32ef2d59 /nongnu/packages | |
parent | 5c39f01d2097808967f93e128dc596771a299ea1 (diff) |
nongnu: compcert: Update to 3.9.
* nongnu/packages/coq.scm (compcert): Update to 3.9.
Diffstat (limited to 'nongnu/packages')
-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 505df7d..4754b47 100644 --- a/nongnu/packages/coq.scm +++ b/nongnu/packages/coq.scm @@ -29,7 +29,7 @@ (define-public compcert (package (name "compcert") - (version "3.8") + (version "3.9") (source (origin (method git-fetch) (uri (git-reference @@ -38,7 +38,7 @@ (file-name (git-file-name name version)) (sha256 (base32 - "1gzlyxvw64ca12qql3wnq3bidcx9ygsklv9grjma3ib4hvg7vnr7")))) + "1srcz2dqrvmbvv5cl66r34zqkm0hsbryk7gd3i9xx4slahc9zvdb")))) (build-system gnu-build-system) (arguments `(#:phases |