06/07: gnu: camlp5: Update to 7.12.

[guix-commits]

nckx pushed a commit to branch master
in repository guix.

commit e809c891dd05195c4390dd32540f5bf65418513a
Author: Tobias Geerinckx-Rice <me@tobias.gr>
AuthorDate: Wed Jun 3 06:02:09 2020 +0200

    gnu: camlp5: Update to 7.12.
    
    * gnu/packages/ocaml.scm (camlp5): Update to 7.12.
---
 gnu/packages/ocaml.scm | 4 ++--
 1 file changed, 2 insertions(+), 2 deletions(-)

diff --git a/gnu/packages/ocaml.scm b/gnu/packages/ocaml.scm
index 877e841..99f4518 100644
--- a/gnu/packages/ocaml.scm
+++ b/gnu/packages/ocaml.scm
@@ -528,7 +528,7 @@ Git-friendly development workflow.")
 (define-public camlp5
   (package
     (name "camlp5")
-    (version "7.11")
+    (version "7.12")
     (source
      (origin
        (method git-fetch)
@@ -537,7 +537,7 @@ Git-friendly development workflow.")
              (commit (string-append "rel" (string-delete #\. version)))))
        (file-name (git-file-name name version))
        (sha256
-        (base32 "1s1f9i0r0czxlbnsaz4kvs2ahknmqxcm5ypl75g7scjcbl0an2x4"))))
+        (base32 "12ix5g15bys932hyf9gs637iz76m0ji9075d83jfdmx85q30llgf"))))
     (build-system gnu-build-system)
     (inputs
      `(("ocaml" ,ocaml)))