summaryrefslogtreecommitdiff
diff options
context:
space:
mode:
authorJonathan Brielmaier <jonathan.brielmaier@web.de>2021-10-27 01:26:47 +0200
committerJonathan Brielmaier <jonathan.brielmaier@web.de>2021-10-27 01:26:47 +0200
commit0ce5f43c247e1b9e05d7a486d0aa4bbfe4f817fe (patch)
treea5fe988368e10dc82192c43a9d62356d32ef2d59
parent5c39f01d2097808967f93e128dc596771a299ea1 (diff)
nongnu: compcert: Update to 3.9.
* nongnu/packages/coq.scm (compcert): Update to 3.9.
-rw-r--r--nongnu/packages/coq.scm4
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