pkgbase = ocaml-menhir-compcert
	pkgdesc = Latest version of Menhir that can build the latest CompCert release.
	pkgver = 20200211
	pkgrel = 1
	url = http://cristal.inria.fr/~fpottier/menhir/
	arch = i686
	arch = x86_64
	license = GPL
	license = QPL
	makedepends = ocamlbuild
	makedepends = ocaml-findlib
	makedepends = dune
	depends = ocaml>=4.02
	provides = ocaml-menhir=20200211
	conflicts = ocaml-menhir
	options = !strip
	options = !makeflags
	source = https://gitlab.inria.fr/fpottier/menhir/-/archive/20200211/menhir-20200211.tar.gz
	sha256sums = 00f677401a92d91568a4faffb4977ab71a32a265de59e35419ad5b705d4a532d

pkgname = ocaml-menhir-compcert