ryan77627/guix
1
0
Fork 0
mirror of https://git.in.rschanz.org/ryan77627/guix.git synced 2025-01-26 20:49:29 -05:00
Code Issues Projects Releases Packages Wiki Activity Actions

gnu: coq-mathcomp: Don't use unstable tarball.

Browse source 
* gnu/packages/coq.scm (coq-mathcomp)[source]: Use GIT-FETCH and
GIT-FILE-NAME.
This commit is contained in:
Tobias Geerinckx-Rice 2018-12-23 11:11:33 +01:00
parent 8b9b2210dc
commit aaa2add871
No known key found for this signature in database
GPG key ID: 0DB0FF884F556D79
1 changed files with 10 additions and 8 deletions
Show stats Download patch file Download diff file Expand all files Collapse all files

18
gnu/packages/coq.scm
View file

@ -285,20 +285,22 @@ (define-public coq-mathcomp
(package (package
(name "coq-mathcomp") (name "coq-mathcomp")
(version "1.7.0") (version "1.7.0")
(source (origin (source
(method url-fetch) (origin
(uri (string-append "https://github.com/math-comp/math-comp/archive/mathcomp-" (method git-fetch)
version ".tar.gz")) (uri (git-reference
(sha256 (url "https://github.com/math-comp/math-comp.git")
(base32 (commit (string-append "mathcomp-" version))))
"05zgyi4wmasi1rcyn5jq42w0bi9713q9m8dl1fdgl66nmacixh39")))) (file-name (git-file-name name version))
(sha256
(base32 "1cdzi67jj440xkdpxm10aly80zpn56vjzj2ygb67iq3xpljlv95h"))))
(build-system gnu-build-system) (build-system gnu-build-system)
(native-inputs (native-inputs
`(("ocaml" ,ocaml) `(("ocaml" ,ocaml)
("which" ,which) ("which" ,which)
("coq" ,coq))) ("coq" ,coq)))
(arguments (arguments
`(#:tests? #f; No need to test formally-verified programs :) `(#:tests? #f ; no need to test formally-verified programs :)
#:phases #:phases
(modify-phases %standard-phases (modify-phases %standard-phases
(delete 'configure) (delete 'configure)