Remove menhir<=20181113 requirement

1 files changed, 3 insertions, 3 deletions

diff --git a/PKGBUILD b/PKGBUILD
index c36c8c659f8d..8c4382a51f0f 100644
--- a/PKGBUILD
+++ b/PKGBUILD
@@ -2,15 +2,15 @@
 pkgname=compcert-git
 _basepkgname=${pkgname%-*}
 _dirname=CompCert
-pkgver=3.5.r50.ge1055531
-pkgrel=1
+pkgver=3.5.r77.ga8c84a52
+pkgrel=2
 pkgdesc="The formally verified C compiler"
 arch=('x86_64')
 url="http://compcert.inria.fr"
 license=('custom:INRIA Non-Commercial License Agreement')
 depends=('gcc')
 makedepends=('coq>=8.6.1' 'ocaml>=4.0.2'
-             'ocaml-menhir>=20161201' 'ocaml-menhir<=20181113'
+             'ocaml-menhir>=20161201'
              'ocaml-findlib' # See: https://github.com/AbsInt/CompCert/issues/281
              'git'
              'parallel')