diff options
author | Isaac Young <isyoung@pm.me> | 2021-02-01 20:52:20 -0700 |
---|---|---|
committer | Jonathan Brielmaier <jonathan.brielmaier@web.de> | 2021-02-02 21:35:25 +0100 |
commit | fd668447b30745e29f7f0fab5d89334e5b313a7e (patch) | |
tree | 5e06fb8be4aa045d9a83932563abc5cb6cac26f1 | |
parent | 05107f1b94e24fa37a01ccbe51b8579846ecf792 (diff) |
nongnu: compcert: Update to 3.8.
* nongnu/packages/coq.scm (compcert): Update to 3.8.
[source]: Switch from url-fetch to git-fetch.
Signed-off-by: Jonathan Brielmaier <jonathan.brielmaier@web.de>
-rw-r--r-- | nongnu/packages/coq.scm | 14 |
1 files changed, 8 insertions, 6 deletions
diff --git a/nongnu/packages/coq.scm b/nongnu/packages/coq.scm index 7558cd1..a0bad48 100644 --- a/nongnu/packages/coq.scm +++ b/nongnu/packages/coq.scm @@ -20,7 +20,7 @@ #:use-module (ice-9 match) #:use-module (guix packages) #:use-module (guix build-system gnu) - #:use-module (guix download) + #:use-module (guix git-download) #:use-module (gnu packages coq) #:use-module (gnu packages ocaml) #:use-module (nonguix licenses)) @@ -28,14 +28,16 @@ (define-public compcert (package (name "compcert") - (version "3.7") + (version "3.8") (source (origin - (method url-fetch) - (uri (string-append "http://compcert.inria.fr/release/compcert-" - version ".tgz")) + (method git-fetch) + (uri (git-reference + (url "https://github.com/AbsInt/compcert") + (commit (string-append "v" version)))) + (file-name (git-file-name name version)) (sha256 (base32 - "1c3yp3ns830vg3q8b0y61xffd1fgkmkg585pdsv6qmy2sqp1pvnf")))) + "1gzlyxvw64ca12qql3wnq3bidcx9ygsklv9grjma3ib4hvg7vnr7")))) (build-system gnu-build-system) (arguments `(#:phases |