mirror of
https://git.in.rschanz.org/ryan77627/guix.git
synced 2024-12-25 22:08:16 -05:00
gnu: camlp5: Update to 7.12.
* gnu/packages/ocaml.scm (camlp5): Update to 7.12.
This commit is contained in:
parent
0c58139c9a
commit
e809c891dd
1 changed files with 2 additions and 2 deletions
|
@ -528,7 +528,7 @@ (define-public opam
|
||||||
(define-public camlp5
|
(define-public camlp5
|
||||||
(package
|
(package
|
||||||
(name "camlp5")
|
(name "camlp5")
|
||||||
(version "7.11")
|
(version "7.12")
|
||||||
(source
|
(source
|
||||||
(origin
|
(origin
|
||||||
(method git-fetch)
|
(method git-fetch)
|
||||||
|
@ -537,7 +537,7 @@ (define-public camlp5
|
||||||
(commit (string-append "rel" (string-delete #\. version)))))
|
(commit (string-append "rel" (string-delete #\. version)))))
|
||||||
(file-name (git-file-name name version))
|
(file-name (git-file-name name version))
|
||||||
(sha256
|
(sha256
|
||||||
(base32 "1s1f9i0r0czxlbnsaz4kvs2ahknmqxcm5ypl75g7scjcbl0an2x4"))))
|
(base32 "12ix5g15bys932hyf9gs637iz76m0ji9075d83jfdmx85q30llgf"))))
|
||||||
(build-system gnu-build-system)
|
(build-system gnu-build-system)
|
||||||
(inputs
|
(inputs
|
||||||
`(("ocaml" ,ocaml)))
|
`(("ocaml" ,ocaml)))
|
||||||
|
|
Loading…
Reference in a new issue