.SRCINFO


1
2
3
4
5
6
7
8
9
10
11
12
13
14
15
16
17
18
19
20
21

pkgbase = compcert-git
	pkgdesc = The formally verified C compiler
	pkgver = 3.7.r35.gbb9fa555
	pkgrel = 4
	url = http://compcert.inria.fr
	arch = x86_64
	license = custom:INRIA Non-Commercial License Agreement
	checkdepends = parallel
	makedepends = coq>=8.8.0
	makedepends = ocaml>=4.05.0
	makedepends = ocaml-menhir>=20190626
	makedepends = ocaml-findlib
	makedepends = git
	depends = gcc
	provides = compcert=3.7.r35.gbb9fa555
	conflicts = compcert
	source = git+https://github.com/AbsInt/CompCert.git
	sha1sums = SKIP

pkgname = compcert-git