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

pkgname = ocaml-menhir-compcert