summarylogtreecommitdiffstats
diff options
context:
space:
mode:
-rw-r--r--.SRCINFO10
-rw-r--r--PKGBUILD6
2 files changed, 8 insertions, 8 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
diff --git a/PKGBUILD b/PKGBUILD
index dfb9eddead5f..2f1e1d21a6cd 100644
--- a/PKGBUILD
+++ b/PKGBUILD
@@ -2,14 +2,14 @@
pkgname=compcert-git
_basepkgname=${pkgname%-*}
_dirname=CompCert
-pkgver=3.6.r1.gf1637021
-pkgrel=3
+pkgver=3.7.r35.gbb9fa555
+pkgrel=4
pkgdesc="The formally verified C compiler"
arch=('x86_64')
url="http://compcert.inria.fr"
license=('custom:INRIA Non-Commercial License Agreement')
depends=('gcc')
-makedepends=('coq>=8.6.1' 'ocaml>=4.0.2'
+makedepends=('coq>=8.8.0' 'ocaml>=4.05.0'
'ocaml-menhir>=20190626'
'ocaml-findlib' # See: https://github.com/AbsInt/CompCert/issues/281
'git')