From fd668447b30745e29f7f0fab5d89334e5b313a7e Mon Sep 17 00:00:00 2001 From: Isaac Young Date: Mon, 1 Feb 2021 20:52:20 -0700 Subject: 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 --- nongnu/packages/coq.scm | 14 ++++++++------ 1 file 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 -- cgit v1.2.3