Latest menhir required for CompCert is now 20190626

2 files changed, 8 insertions, 8 deletions

diff --git a/.SRCINFO b/.SRCINFO
index 4ac27ef7cabf..2a04792d4b5f 100644
--- a/.SRCINFO
+++ b/.SRCINFO
@@ -1,7 +1,7 @@
 pkgbase = ocaml-menhir-compcert
 	pkgdesc = Latest version of Menhir that can build the latest CompCert release.
-	pkgver = 20181113
-	pkgrel = 2
+	pkgver = 20190626
+	pkgrel = 1
 	url = http://cristal.inria.fr/~fpottier/menhir/
 	arch = i686
 	arch = x86_64
@@ -10,12 +10,12 @@ pkgbase = ocaml-menhir-compcert
 	makedepends = ocamlbuild
 	makedepends = ocaml-findlib
 	depends = ocaml>=4.02
-	provides = ocaml-menhir=20181113
+	provides = ocaml-menhir=20190626
 	conflicts = ocaml-menhir
 	options = !strip
 	options = !makeflags
-	source = https://gitlab.inria.fr/fpottier/menhir/-/archive/20181113/menhir-20181113.tar.gz
-	md5sums = 1c57e4b6a99603bd4169506e3d937950
+	source = https://gitlab.inria.fr/fpottier/menhir/-/archive/20190626/menhir-20190626.tar.gz
+	md5sums = 097afbd686172e15bef0ccb938b9c634
 
 pkgname = ocaml-menhir-compcert
 
diff --git a/PKGBUILD b/PKGBUILD
index 719604f15ed9..a10c50d221d9 100644
--- a/PKGBUILD
+++ b/PKGBUILD
@@ -8,8 +8,8 @@
 
 pkgname=ocaml-menhir-compcert
 _basepkgname=${pkgname%-*}
-pkgver=20181113
-pkgrel=2
+pkgver=20190626
+pkgrel=1
 pkgdesc="Latest version of Menhir that can build the latest CompCert release."
 arch=("i686" "x86_64")
 url="http://cristal.inria.fr/~fpottier/menhir/"
@@ -20,7 +20,7 @@ provides=($_basepkgname=$pkgver)
 conflicts=($_basepkgname)
 options=(!strip !makeflags)
 source=("https://gitlab.inria.fr/fpottier/menhir/-/archive/$pkgver/menhir-$pkgver.tar.gz")
-md5sums=('1c57e4b6a99603bd4169506e3d937950')
+md5sums=('097afbd686172e15bef0ccb938b9c634')
 
 build() {
   cd "$srcdir/${_basepkgname/ocaml-/}-$pkgver"