New info

2 files changed, 10 insertions, 10 deletions

diff --git a/.SRCINFO b/.SRCINFO
index 2745f06b4df4..47d378105174 100644
--- a/.SRCINFO
+++ b/.SRCINFO
@@ -1,18 +1,18 @@
 pkgbase = compcert-git
 	pkgdesc = The formally verified C compiler
-	pkgver = 3.5.r77.ga8c84a52
-	pkgrel = 2
+	pkgver = 3.6.r1.gf1637021
+	pkgrel = 3
 	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 = ocaml-menhir>=20161201
+	makedepends = ocaml-menhir>=20190626
 	makedepends = ocaml-findlib
 	makedepends = git
-	makedepends = parallel
 	depends = gcc
-	provides = compcert=3.5.r77.ga8c84a52
+	provides = compcert=3.6.r1.gf1637021
 	conflicts = compcert
 	source = git+https://github.com/AbsInt/CompCert.git
 	sha1sums = SKIP
diff --git a/PKGBUILD b/PKGBUILD
index 8c4382a51f0f..dfb9eddead5f 100644
--- a/PKGBUILD
+++ b/PKGBUILD
@@ -2,18 +2,18 @@
 pkgname=compcert-git
 _basepkgname=${pkgname%-*}
 _dirname=CompCert
-pkgver=3.5.r77.ga8c84a52
-pkgrel=2
+pkgver=3.6.r1.gf1637021
+pkgrel=3
 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'
-             'ocaml-menhir>=20161201'
+             'ocaml-menhir>=20190626'
              'ocaml-findlib' # See: https://github.com/AbsInt/CompCert/issues/281
-             'git'
-             'parallel')
+             'git')
+checkdepends=('parallel')
 provides=($_basepkgname=$pkgver)
 conflicts=($_basepkgname)
 source=("git+https://github.com/AbsInt/CompCert.git")