gnu: camlp5: Update to 7.13.

* gnu/packages/ocaml.scm (camlp5): Update to 7.13.
This commit is contained in:
Julien Lepiller 2020-09-30 17:45:43 +02:00
parent aea459a504
commit 61949dbc8a
No known key found for this signature in database
GPG key ID: 53D457B2D636EE82

View file

@ -541,7 +541,7 @@ (define-public opam
(define-public camlp5
(package
(name "camlp5")
(version "7.12")
(version "7.13")
(source
(origin
(method git-fetch)
@ -550,7 +550,7 @@ (define-public camlp5
(commit (string-append "rel" (string-delete #\. version)))))
(file-name (git-file-name name version))
(sha256
(base32 "12ix5g15bys932hyf9gs637iz76m0ji9075d83jfdmx85q30llgf"))))
(base32 "1d9spy3f5ahixm8nxxk086kpslzva669a5scn49am0s7vx4i71kp"))))
(build-system gnu-build-system)
(inputs
`(("ocaml" ,ocaml)))