diff options
author | Xuanrui Qi | 2019-07-10 17:16:29 -0700 |
---|---|---|
committer | Xuanrui Qi | 2019-07-10 17:16:29 -0700 |
commit | 911fcefc8362022ce8f94be42fffcf8adbc78ab5 (patch) | |
tree | 0aad5debdaccbcc3ed91fd609e6b344c275caab7 | |
parent | 309dcfa6757835800aef0400d04642464ac11a2b (diff) | |
download | aur-911fcefc8362022ce8f94be42fffcf8adbc78ab5.tar.gz |
Remove menhir<=20181113 requirement
-rw-r--r-- | .SRCINFO | 7 | ||||
-rw-r--r-- | PKGBUILD | 6 |
2 files changed, 6 insertions, 7 deletions
@@ -1,19 +1,18 @@ pkgbase = compcert-git pkgdesc = The formally verified C compiler - pkgver = 3.5.r50.ge1055531 - pkgrel = 1 + pkgver = 3.5.r77.ga8c84a52 + pkgrel = 2 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 makedepends = parallel depends = gcc - provides = compcert=3.5.r50.ge1055531 + provides = compcert=3.5.r77.ga8c84a52 conflicts = compcert source = git+https://github.com/AbsInt/CompCert.git sha1sums = SKIP @@ -2,15 +2,15 @@ pkgname=compcert-git _basepkgname=${pkgname%-*} _dirname=CompCert -pkgver=3.5.r50.ge1055531 -pkgrel=1 +pkgver=3.5.r77.ga8c84a52 +pkgrel=2 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<=20181113' + 'ocaml-menhir>=20161201' 'ocaml-findlib' # See: https://github.com/AbsInt/CompCert/issues/281 'git' 'parallel') |