pkgbase = compcert
	pkgdesc = The formally verified C compiler
	pkgver = 3.13.1
	pkgrel = 1
	url = http://compcert.inria.fr
	arch = x86_64
	license = custom:INRIA Non-Commercial License Agreement
	checkdepends = parallel
	makedepends = coq>=8.12.0
	makedepends = ocaml>=4.05.0
	makedepends = ocaml-menhir>=20190626
	makedepends = ocaml-findlib
	depends = gcc
	source = https://github.com/AbsInt/CompCert/archive/v3.13.1.tar.gz
	sha256sums = c4314b358962240bf3e014b0caf3f7ef620a1b9a1af6abbc639a7181c3895b20

pkgname = compcert