diff options
-rw-r--r-- | .SRCINFO | 10 | ||||
-rw-r--r-- | PKGBUILD | 10 |
2 files changed, 10 insertions, 10 deletions
@@ -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 @@ -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") |