ryan77627/guix
1
0
Fork 0
mirror of https://git.in.rschanz.org/ryan77627/guix.git synced 2024-12-25 22:08:16 -05:00
Code Issues Projects Releases Packages Wiki Activity Actions

gnu: coq-coquelicot: Update to 3.0.3.

Browse source 
* gnu/packages/coq.scm (coq-coquelicot): Update to 3.0.3.
[source]: Use GIT-FETCH and GIT-FILE-NAME.
[native-inputs]: Add autoconf and automake.
This commit is contained in:
Brett Gilio 2020-01-06 01:39:52 -06:00
parent a61fe4c04e
commit d481db8baf
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

@ -367,17 +367,22 @@ (define-public coq-mathcomp
(define-public coq-coquelicot (define-public coq-coquelicot
(package (package
(name "coq-coquelicot") (name "coq-coquelicot")
(version "3.0.2") (version "3.0.3")
(source (origin (source
(method url-fetch) (origin
(uri (string-append "https://gforge.inria.fr/frs/download.php/" (method git-fetch)
"file/37523/coquelicot-" version ".tar.gz")) (uri (git-reference
(sha256 (url "https://gitlab.inria.fr/coquelicot/coquelicot.git")
(base32 (commit (string-append "coquelicot-" version))))
"1biia7nfqf7vaqq5gmykl4rwjyvrcwss6r2jdf0in5pvp2rnrj2w")))) (file-name (git-file-name name version))
(sha256
(base32
"0m5wbr2s8lnf8b7cfwv15hyzsmbcaz6hgdn7aazcrkxnwr87vgkp"))))
(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