pkgbase = ocaml-menhir-compcert
	pkgdesc = Latest version of Menhir that can build the latest CompCert release.
	pkgver = 20190626
	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=20190626
	conflicts = ocaml-menhir
	options = !strip
	options = !makeflags
	source = https://gitlab.inria.fr/fpottier/menhir/-/archive/20190626/menhir-20190626.tar.gz
	md5sums = 097afbd686172e15bef0ccb938b9c634

pkgname = ocaml-menhir-compcert