diff options
| author | Andrew O'Neill | 2018-12-18 18:39:10 -0500 |
|---|---|---|
| committer | Andrew O'Neill | 2018-12-18 18:39:10 -0500 |
| commit | 5fff2f44e322185107f8f4289c9ce33134173a4f (patch) | |
| tree | 5c15ffd5c867d9e7e5a825b43b20a143602c0a40 | |
| parent | af0bcb16144e6992818bbd632698b55b513e0fc9 (diff) | |
| download | aur-5fff2f44e322185107f8f4289c9ce33134173a4f.tar.gz | |
Version b-b-b-bump
| -rw-r--r-- | .SRCINFO | 6 | ||||
| -rw-r--r-- | PKGBUILD | 6 |
2 files changed, 6 insertions, 6 deletions
@@ -1,6 +1,6 @@ pkgbase = why3 pkgdesc = A platform for deductive program verification - pkgver = 1.1.0 + pkgver = 1.1.1 pkgrel = 1 url = http://why3.lri.fr/ arch = x86_64 @@ -18,8 +18,8 @@ pkgbase = why3 makedepends = isabelle depends = gtksourceview2 options = !makeflags - source = https://gforge.inria.fr/frs/download.php/file/37767/why3-1.1.0.tar.gz - sha256sums = 817dde9d68eeef60717a137adfe6b909f82726cac286d68627228f5d118e3fa5 + source = https://gforge.inria.fr/frs/download.php/file/37842/why3-1.1.1.tar.gz + sha256sums = defe68520b6367958e521a0e93d71ec0ee433047fa087e5e5f09004a63e8b118 pkgname = why3 @@ -4,8 +4,8 @@ # Contributor: Paolo Herms pkgname=why3 -pkgver=1.1.0 -_pkgvercode=37767 # Update when bumping release +pkgver=1.1.1 +_pkgvercode=37842 # Update when bumping release pkgrel=1 pkgdesc='A platform for deductive program verification' arch=('x86_64') @@ -15,7 +15,7 @@ license=('LGPL') depends=('gtksourceview2') makedepends=('ocaml' 'ocaml-menhir' 'rubber' 'gtksourceview2' 'lablgtk2' 'ocaml-ocamlgraph' 'ocaml-num' 'ocaml-zarith' 'ocaml-zip' 'coq' 'isabelle') source=("https://gforge.inria.fr/frs/download.php/file/${_pkgvercode}/${pkgname}-${pkgver}.tar.gz") -sha256sums=('817dde9d68eeef60717a137adfe6b909f82726cac286d68627228f5d118e3fa5') +sha256sums=('defe68520b6367958e521a0e93d71ec0ee433047fa087e5e5f09004a63e8b118') build() { cd "${pkgname}-${pkgver}" |