diff options
| author | Andrew O'Neill | 2017-12-12 17:59:53 -0500 |
|---|---|---|
| committer | Andrew O'Neill | 2017-12-12 17:59:53 -0500 |
| commit | 8796df4ff798e9228d88c53e6594271632aa582e (patch) | |
| tree | 2e215d64dc683598c2398f1452339fa05f3a0c2d | |
| parent | 123f4cb24f511f94a10590ca96407c3b39ba0719 (diff) | |
| download | aur-8796df4ff798e9228d88c53e6594271632aa582e.tar.gz | |
Version bump
| -rw-r--r-- | .SRCINFO | 7 | ||||
| -rw-r--r-- | PKGBUILD | 8 |
2 files changed, 7 insertions, 8 deletions
@@ -1,10 +1,9 @@ pkgbase = why3 pkgdesc = A platform for deductive program verification - pkgver = 0.88.1 + pkgver = 0.88.2 pkgrel = 1 url = http://why3.lri.fr/ arch = x86_64 - arch = i686 license = LGPL makedepends = ocaml makedepends = ocaml-menhir @@ -17,8 +16,8 @@ pkgbase = why3 makedepends = isabelle depends = gtksourceview2 options = !makeflags - source = https://gforge.inria.fr/frs/download.php/file/37185/why3-0.88.1.tar.gz - sha256sums = 7ce28e92d67619f52eb7c61a4f37d628e7f48e882a9d2b716e1b443d4c0240e2 + source = https://gforge.inria.fr/frs/download.php/file/37236/why3-0.88.2.tar.gz + sha256sums = 83f2c8887aa9717d5dcc03bde16b495a93819826f7a06277adbdf2f3be33d8f8 pkgname = why3 @@ -4,18 +4,18 @@ # Contributor: Paolo Herms pkgname=why3 -pkgver=0.88.1 -_pkgvercode=37185 # Update when bumping release +pkgver=0.88.2 +_pkgvercode=37236 # Update when bumping release pkgrel=1 pkgdesc='A platform for deductive program verification' -arch=('x86_64' 'i686') +arch=('x86_64') options=('!makeflags') url='http://why3.lri.fr/' license=('LGPL') depends=('gtksourceview2') makedepends=('ocaml' 'ocaml-menhir' 'rubber' 'gtksourceview2' 'lablgtk2' 'ocaml-ocamlgraph' 'zarith' 'coq' 'isabelle') source=(https://gforge.inria.fr/frs/download.php/file/$_pkgvercode/$pkgname-$pkgver.tar.gz) -sha256sums=('7ce28e92d67619f52eb7c61a4f37d628e7f48e882a9d2b716e1b443d4c0240e2') +sha256sums=('83f2c8887aa9717d5dcc03bde16b495a93819826f7a06277adbdf2f3be33d8f8') build() { cd $pkgname-$pkgver |