.SRCINFO


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

pkgbase = compcert-git
	pkgdesc = The formally verified C compiler
	pkgver = 3.5.r50.ge1055531
	pkgrel = 1
	url = http://compcert.inria.fr
	arch = x86_64
	license = custom:INRIA Non-Commercial License Agreement
	makedepends = coq>=8.6.1
	makedepends = ocaml>=4.0.2
	makedepends = ocaml-menhir>=20161201
	makedepends = ocaml-menhir<=20181113
	makedepends = ocaml-findlib
	makedepends = git
	makedepends = parallel
	depends = gcc
	provides = compcert=3.5.r50.ge1055531
	conflicts = compcert
	source = git+https://github.com/AbsInt/CompCert.git
	sha1sums = SKIP

pkgname = compcert-git