nixo
/
guix-devel
1
0
Fork 0
Code Issues Pull Requests Releases Wiki Activity

gnu: coq: Update to 8.9.0. 

* gnu/packages/coq.scm (coq): Update to 8.9.0.
(coq-autosubst): Update to latest commit.
(coq-equations): Update to 1.2-beta2.
This commit is contained in:
Julien Lepiller 2019-05-04 18:23:20 +02:00
parent 729102cbf4
commit e03e1b5584
No known key found for this signature in database
GPG Key ID: 43111F4520086A0C
1 changed files with 9 additions and 7 deletions
Show Stats Download Patch File Download Diff File Expand all files Collapse all files

16
gnu/packages/coq.scm
View File

@ -42,7 +42,7 @@
(define-public coq (define-public coq
(package (package
(name "coq") (name "coq")
(version "8.8.2") (version "8.9.0")
(source (source
(origin (origin
(method git-fetch) (method git-fetch)
@ -51,7 +51,7 @@
(commit (string-append "V" version)))) (commit (string-append "V" version))))
(file-name (git-file-name name version)) (file-name (git-file-name name version))
(sha256 (sha256
(base32 "03v8b57mz3ivsijwxy51avzwiyhla5ijaf98a5a2q29yabdq8dkp")))) (base32 "01ad7az6f95w16xya7979lk32agy22lf4bqgqf5qpnarpkpxhbw8"))))
(native-search-paths (native-search-paths
(list (search-path-specification (list (search-path-specification
(variable "COQPATH") (variable "COQPATH")
@ -62,6 +62,8 @@
("python" ,python-2) ("python" ,python-2)
("camlp5" ,camlp5) ("camlp5" ,camlp5)
("ocaml-num" ,ocaml-num))) ("ocaml-num" ,ocaml-num)))
(native-inputs
`(("ocaml-ounit" ,ocaml-ounit)))
(arguments (arguments
`(#:phases `(#:phases
(modify-phases %standard-phases (modify-phases %standard-phases
@ -450,7 +452,7 @@ Coq proof assistant.")
;; Latest commit on that branch, where work on supporting coq 8.6 and ;; Latest commit on that branch, where work on supporting coq 8.6 and
;; more recent versions of coq happen. ;; more recent versions of coq happen.
(let ((branch "coq86-devel") (let ((branch "coq86-devel")
(commit "d0d73557979796b3d4be7aac72135581c33f26f7")) (commit "fa6ef30664511ffa659cbcf3c962715cbee03572"))
(package (package
(name "coq-autosubst") (name "coq-autosubst")
(version (git-version "1" branch commit)) (version (git-version "1" branch commit))
@ -461,7 +463,7 @@ Coq proof assistant.")
(commit commit))) (commit commit)))
(file-name (git-file-name name version)) (file-name (git-file-name name version))
(sha256 (sha256
(base32 "1852xb5cwkjw3dlc0lp2sakwa40bjzw37qmwz4bn3vqazg1hnh6r")))) (base32 "1cl0bp96bk6lplbl7n5c703vd3gvbs5mvf2qrf8q333kkqd7jqq4"))))
(build-system gnu-build-system) (build-system gnu-build-system)
(arguments (arguments
`(#:tests? #f `(#:tests? #f
@ -495,16 +497,16 @@ uses Ltac to synthesize the substitution operation.")
(define-public coq-equations (define-public coq-equations
(package (package
(name "coq-equations") (name "coq-equations")
(version "1.1") (version "1.2-beta2")
(source (origin (source (origin
(method git-fetch) (method git-fetch)
(uri (git-reference (uri (git-reference
(url "https://github.com/mattam82/Coq-Equations.git") (url "https://github.com/mattam82/Coq-Equations.git")
(commit (string-append "v" version "-8.8")))) (commit (string-append "v" version "-8.9"))))
(file-name (git-file-name name version)) (file-name (git-file-name name version))
(sha256 (sha256
(base32 (base32
"129rxsdsf88vjcw0xhm74yax1hmnk6f8n9ksg0hcyyjq1ijddiwa")))) "0y2zwv7jxs1crprj5qvg46h0v9wyfn99ln40yskq91y9h1lj5h3j"))))
(build-system gnu-build-system) (build-system gnu-build-system)
(native-inputs (native-inputs
`(("ocaml" ,ocaml) `(("ocaml" ,ocaml)