[Date Prev][Date Next][Thread Prev][Thread Next][Date Index][Thread Index]
11/16: gnu: coq-mathcomp: Don't use unstable tarball.
From: |
guix-commits |
Subject: |
11/16: gnu: coq-mathcomp: Don't use unstable tarball. |
Date: |
Tue, 12 Feb 2019 23:43:39 -0500 (EST) |
nckx pushed a commit to branch master
in repository guix.
commit aaa2add87111051b01159aa2e46dd7f55b28edb6
Author: Tobias Geerinckx-Rice <address@hidden>
Date: Sun Dec 23 11:11:33 2018 +0100
gnu: coq-mathcomp: Don't use unstable tarball.
* gnu/packages/coq.scm (coq-mathcomp)[source]: Use GIT-FETCH and
GIT-FILE-NAME.
---
gnu/packages/coq.scm | 18 ++++++++++--------
1 file changed, 10 insertions(+), 8 deletions(-)
diff --git a/gnu/packages/coq.scm b/gnu/packages/coq.scm
index 6cedb83..fa02f85 100644
--- a/gnu/packages/coq.scm
+++ b/gnu/packages/coq.scm
@@ -285,20 +285,22 @@ assistant.")
(package
(name "coq-mathcomp")
(version "1.7.0")
- (source (origin
- (method url-fetch)
- (uri (string-append
"https://github.com/math-comp/math-comp/archive/mathcomp-"
- version ".tar.gz"))
- (sha256
- (base32
- "05zgyi4wmasi1rcyn5jq42w0bi9713q9m8dl1fdgl66nmacixh39"))))
+ (source
+ (origin
+ (method git-fetch)
+ (uri (git-reference
+ (url "https://github.com/math-comp/math-comp.git")
+ (commit (string-append "mathcomp-" version))))
+ (file-name (git-file-name name version))
+ (sha256
+ (base32 "1cdzi67jj440xkdpxm10aly80zpn56vjzj2ygb67iq3xpljlv95h"))))
(build-system gnu-build-system)
(native-inputs
`(("ocaml" ,ocaml)
("which" ,which)
("coq" ,coq)))
(arguments
- `(#:tests? #f; No need to test formally-verified programs :)
+ `(#:tests? #f ; no need to test formally-verified programs :)
#:phases
(modify-phases %standard-phases
(delete 'configure)
- 01/16: gnu: duperemove: Update to 0.11.1., (continued)
- 01/16: gnu: duperemove: Update to 0.11.1., guix-commits, 2019/02/12
- 02/16: gnu: duperemove: Don't use unstable tarball., guix-commits, 2019/02/12
- 09/16: gnu: console-setup: Update to 1.189., guix-commits, 2019/02/12
- 10/16: gnu: coq: Don't use unstable tarball., guix-commits, 2019/02/12
- 12/16: gnu: dwm: Update to 6.2., guix-commits, 2019/02/12
- 04/16: gnu: yadifa: Don't use NAME in source URI., guix-commits, 2019/02/12
- 13/16: gnu: s6: Update to 2.7.2.2., guix-commits, 2019/02/12
- 08/16: gnu: knot: Update to 2.7.6., guix-commits, 2019/02/12
- 05/16: gnu: yadifa: Update to 2.3.9., guix-commits, 2019/02/12
- 15/16: gnu: libdmtx: Edit description., guix-commits, 2019/02/12
- 11/16: gnu: coq-mathcomp: Don't use unstable tarball.,
guix-commits <=
- 06/16: gnu: nsd: Update to 4.1.26., guix-commits, 2019/02/12
- 16/16: gnu: bs1770gain: Update to 0.5.2., guix-commits, 2019/02/12
- 14/16: gnu: libdmtx: Update to 0.7.5., guix-commits, 2019/02/12
- 07/16: gnu: knot: Don't use NAME in source URI., guix-commits, 2019/02/12