From bd07ea9ed5ada1a3fe227ccc0acd9f770b7eb2a2 Mon Sep 17 00:00:00 2001
From: Leah Neukirchen <leah@vuxu.org>
Date: Sat, 30 May 2020 22:33:04 +0200
Subject: [PATCH] camlp5: update to 7.12.

---
 srcpkgs/camlp5/template | 4 ++--
 1 file changed, 2 insertions(+), 2 deletions(-)

diff --git a/srcpkgs/camlp5/template b/srcpkgs/camlp5/template
index 767ef17baae..af8e5a0fec8 100644
--- a/srcpkgs/camlp5/template
+++ b/srcpkgs/camlp5/template
@@ -1,6 +1,6 @@
 # Template file for 'camlp5'
 pkgname=camlp5
-version=7.11
+version=7.12
 revision=1
 build_style=configure
 configure_args="-mandir /usr/share/man"
@@ -13,7 +13,7 @@ distfiles="https://github.com/${pkgname}/${pkgname}/archive/rel${version//./}.ta
 wrksrc="camlp5-rel${version//./}"
 nocross=yes
 nopie=yes
-checksum=a048b8e0feb2a1058187824fc9cb6b55f2c5b788c43c15d6db090d789c7121ba
+checksum=fc4b50b9d917c2f844b909bdfd55735f3f658e32a415f0decc1c265bf3af42be
 
 post_install() {
 	vinstall etc/META 0644 usr/lib/ocaml/camlp5