me/guix
Archived
1
0
Fork 0
Code Activity

gnu: coq-interval: Update to 3.4.1.

Browse source 
* gnu/packages/coq.scm (coq-interval): Update to 3.4.1.
[source]: Use GIT-FETCH and GIT-FILE-NAME.
[native-inputs]: Add autoconf and automake for remake.
This commit is contained in:
Brett Gilio 2020-01-06 02:19:57 -06:00
parent c022809641
commit 8f1216552c
No known key found for this signature in database
GPG key ID: 672243C4A03F0EEE
1 changed files with 14 additions and 9 deletions
Show stats Download patch file Download diff file Expand all files Collapse all files

23
gnu/packages/coq.scm
View file

@ -453,17 +453,22 @@ provides BigN, BigZ, BigQ that used to be part of Coq standard library.")
(define-public coq-interval (define-public coq-interval
(package (package
(name "coq-interval") (name "coq-interval")
(version "3.4.0") (version "3.4.1")
(source (origin (source
(method url-fetch) (origin
(uri (string-append "https://gforge.inria.fr/frs/download.php/" (method git-fetch)
"file/37524/interval-" version ".tar.gz")) (uri (git-reference
(sha256 (url "https://gitlab.inria.fr/coqinterval/interval.git")
(base32 (commit (string-append "interval-" version))))
"023j9sd64brqvjdidqkn5m8d7a93zd9r86ggh573z9nkjm2m7vvg")))) (file-name (git-file-name name version))
(sha256
(base32
"03q3dfqi3r3f7aji5s06ig4aav9ajcwswwdzi5lrgr69z0m487k4"))))
(build-system gnu-build-system) (build-system gnu-build-system)
(native-inputs (native-inputs
`(("ocaml" ,ocaml) `(("autoconf" ,autoconf)
("automake" ,automake)
("ocaml" ,ocaml)
("which" ,which) ("which" ,which)
("coq" ,coq))) ("coq" ,coq)))
(propagated-inputs (propagated-inputs