summarylogtreecommitdiffstats
path: root/.SRCINFO
blob: 835257928d8923b07b809e4b5c8cc5689b9187b2 (plain)
1
2
3
4
5
6
7
8
9
10
11
12
13
14
15
16
17
18
19
20
21
22
23
24
25
pkgbase = compcert-git
	pkgdesc = The formally verified C compiler
	pkgver = 3.5.r25.g8df51b98
	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
	depends = gcc
	provides = compcert=3.5.r25.g8df51b98
	conflicts = compcert
	source = git+https://github.com/AbsInt/CompCert.git
	source = Makefile.patch
	source = Makefile-runtime.patch
	sha1sums = SKIP
	sha1sums = 12abd465a238501777573391c551deb1637a9384
	sha1sums = 810e5efc65179168764221d4d7fd83b8340f61bb

pkgname = compcert-git