diff options
author | Xuanrui Qi | 2019-09-18 22:02:54 -0700 |
---|---|---|
committer | Xuanrui Qi | 2019-09-18 22:02:54 -0700 |
commit | 8e26e5b9f2d60cb1b42622597954d99d5a171245 (patch) | |
tree | 1b2a33795b8be4cfbb44bdd110c8787710c8f410 | |
parent | 56932536a059f0d1e53a128c4861c958648de006 (diff) | |
download | aur-8e26e5b9f2d60cb1b42622597954d99d5a171245.tar.gz |
Latest menhir required for CompCert is now 20190626
-rw-r--r-- | .SRCINFO | 10 | ||||
-rw-r--r-- | PKGBUILD | 6 |
2 files changed, 8 insertions, 8 deletions
@@ -1,7 +1,7 @@ pkgbase = ocaml-menhir-compcert pkgdesc = Latest version of Menhir that can build the latest CompCert release. - pkgver = 20181113 - pkgrel = 2 + pkgver = 20190626 + pkgrel = 1 url = http://cristal.inria.fr/~fpottier/menhir/ arch = i686 arch = x86_64 @@ -10,12 +10,12 @@ pkgbase = ocaml-menhir-compcert makedepends = ocamlbuild makedepends = ocaml-findlib depends = ocaml>=4.02 - provides = ocaml-menhir=20181113 + provides = ocaml-menhir=20190626 conflicts = ocaml-menhir options = !strip options = !makeflags - source = https://gitlab.inria.fr/fpottier/menhir/-/archive/20181113/menhir-20181113.tar.gz - md5sums = 1c57e4b6a99603bd4169506e3d937950 + source = https://gitlab.inria.fr/fpottier/menhir/-/archive/20190626/menhir-20190626.tar.gz + md5sums = 097afbd686172e15bef0ccb938b9c634 pkgname = ocaml-menhir-compcert @@ -8,8 +8,8 @@ pkgname=ocaml-menhir-compcert _basepkgname=${pkgname%-*} -pkgver=20181113 -pkgrel=2 +pkgver=20190626 +pkgrel=1 pkgdesc="Latest version of Menhir that can build the latest CompCert release." arch=("i686" "x86_64") url="http://cristal.inria.fr/~fpottier/menhir/" @@ -20,7 +20,7 @@ provides=($_basepkgname=$pkgver) conflicts=($_basepkgname) options=(!strip !makeflags) source=("https://gitlab.inria.fr/fpottier/menhir/-/archive/$pkgver/menhir-$pkgver.tar.gz") -md5sums=('1c57e4b6a99603bd4169506e3d937950') +md5sums=('097afbd686172e15bef0ccb938b9c634') build() { cd "$srcdir/${_basepkgname/ocaml-/}-$pkgver" |