me
/
guix
Archived
1
0
Fork 0
Code

gnu: coq-equations: Update 1.2.1-8.10-2. 

* gnu/packages/coq.scm (coq-equations): Update to 1.2.1-8.10-2.

Signed-off-by: Mathieu Othacehe <othacehe@gnu.org>
master
Robin Green 2020-09-06 17:34:22 +01:00 committed by Mathieu Othacehe
parent 07fea75329
commit bdf3f5a403
No known key found for this signature in database
GPG Key ID: 8354763531769CA6
1 changed files with 2 additions and 2 deletions
Show Stats Download Patch File Download Diff File Expand all files Collapse all files

4
gnu/packages/coq.scm
View File

@ -553,11 +553,11 @@ uses Ltac to synthesize the substitution operation.")
(method git-fetch) (method git-fetch)
(uri (git-reference (uri (git-reference
(url "https://github.com/mattam82/Coq-Equations") (url "https://github.com/mattam82/Coq-Equations")
(commit (string-append "v" version "-8.10")))) (commit (string-append "v" version "-8.10-2"))))
(file-name (git-file-name name version)) (file-name (git-file-name name version))
(sha256 (sha256
(base32 (base32
"023q5dww3drw35dm9bi9p9d0wrj9k7vax7hfdsprf8l340pb4s0k")))) "0j3z4l5nrbyi9zbbyqkc6kassjanwld2188mwmrbqspaypm2ys68"))))
(build-system gnu-build-system) (build-system gnu-build-system)
(native-inputs (native-inputs
`(("ocaml" ,ocaml) `(("ocaml" ,ocaml)