summarylogtreecommitdiffstats
path: root/.SRCINFO
diff options
context:
space:
mode:
authorXuanrui Qi2020-07-02 04:18:43 +0900
committerXuanrui Qi2020-07-02 04:18:43 +0900
commitd37e10a0b82ce18cc302ed4c6d62e9690eec0168 (patch)
treedfc8358f65e8cc740ffb447852bd905d3cb865f1 /.SRCINFO
parent75bd48bf4be253c99b703157c9faf58100956a7b (diff)
downloadaur-compcert-git.tar.gz
Update dependency version requirements
Diffstat (limited to '.SRCINFO')
-rw-r--r--.SRCINFO10
1 files changed, 5 insertions, 5 deletions
diff --git a/.SRCINFO b/.SRCINFO
index 47d378105174..28508dd01533 100644
--- a/.SRCINFO
+++ b/.SRCINFO
@@ -1,18 +1,18 @@
pkgbase = compcert-git
pkgdesc = The formally verified C compiler
- pkgver = 3.6.r1.gf1637021
- pkgrel = 3
+ 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.6.1
- makedepends = ocaml>=4.0.2
+ makedepends = coq>=8.8.0
+ makedepends = ocaml>=4.05.0
makedepends = ocaml-menhir>=20190626
makedepends = ocaml-findlib
makedepends = git
depends = gcc
- provides = compcert=3.6.r1.gf1637021
+ provides = compcert=3.7.r35.gbb9fa555
conflicts = compcert
source = git+https://github.com/AbsInt/CompCert.git
sha1sums = SKIP