Lispln/nonguix
1
0
Fork 0
mirror of https://gitlab.com/nonguix/nonguix.git synced 2024-11-23 00:48:08 +01:00
Code Issues Projects Releases Packages Wiki Activity Actions

nongnu: compcert: Update to 3.9.

Browse source 
* nongnu/packages/coq.scm (compcert): Update to 3.9.
This commit is contained in:
Jonathan Brielmaier 2021-10-27 01:26:47 +02:00
parent 5c39f01d20
commit 0ce5f43c24
No known key found for this signature in database
GPG key ID: ECFC83988B4E4B9F
1 changed files with 2 additions and 2 deletions
Show stats Download patch file Download diff file Expand all files Collapse all files

4
nongnu/packages/coq.scm
View file

@ -29,7 +29,7 @@
(define-public compcert (define-public compcert
(package (package
(name "compcert") (name "compcert")
(version "3.8") (version "3.9")
(source (origin (source (origin
(method git-fetch) (method git-fetch)
(uri (git-reference (uri (git-reference
@ -38,7 +38,7 @@
(file-name (git-file-name name version)) (file-name (git-file-name name version))
(sha256 (sha256
(base32 (base32
"1gzlyxvw64ca12qql3wnq3bidcx9ygsklv9grjma3ib4hvg7vnr7")))) "1srcz2dqrvmbvv5cl66r34zqkm0hsbryk7gd3i9xx4slahc9zvdb"))))
(build-system gnu-build-system) (build-system gnu-build-system)
(arguments (arguments
`(#:phases `(#:phases