diff options
author | Xuanrui Qi | 2020-07-02 04:18:43 +0900 |
---|---|---|
committer | Xuanrui Qi | 2020-07-02 04:18:43 +0900 |
commit | d37e10a0b82ce18cc302ed4c6d62e9690eec0168 (patch) | |
tree | dfc8358f65e8cc740ffb447852bd905d3cb865f1 /PKGBUILD | |
parent | 75bd48bf4be253c99b703157c9faf58100956a7b (diff) | |
download | aur-compcert-git.tar.gz |
Update dependency version requirements
Diffstat (limited to 'PKGBUILD')
-rw-r--r-- | PKGBUILD | 6 |
1 files changed, 3 insertions, 3 deletions
@@ -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') |