diff options
| author | Andrew O'Neill | 2019-11-04 12:22:22 -0500 |
|---|---|---|
| committer | Andrew O'Neill | 2019-11-04 12:22:22 -0500 |
| commit | e4f15e399962fc629aa2589805ea6c833370fa13 (patch) | |
| tree | 1b38e73effd6a44c2f26010c2b84a0fe45f18157 | |
| parent | e95970e42bb0a47bd9b990af07f818405cea5e41 (diff) | |
| download | aur-e4f15e399962fc629aa2589805ea6c833370fa13.tar.gz | |
Version bump
| -rw-r--r-- | .SRCINFO | 28 | ||||
| -rw-r--r-- | PKGBUILD | 9 |
2 files changed, 18 insertions, 19 deletions
@@ -1,25 +1,25 @@ pkgbase = why3 pkgdesc = A platform for deductive program verification - pkgver = 1.2.0 + pkgver = 1.2.1 pkgrel = 1 url = http://why3.lri.fr/ arch = x86_64 license = LGPL - makedepends = ocaml - makedepends = ocaml-menhir - makedepends = rubber - makedepends = gtksourceview2 - makedepends = lablgtk2 - makedepends = ocaml-ocamlgraph - makedepends = ocaml-num - makedepends = ocaml-zarith - makedepends = ocaml-zip - makedepends = coq - makedepends = isabelle depends = gtksourceview2 + depends = ocaml + depends = ocaml-menhir + depends = rubber + depends = gtksourceview2 + depends = lablgtk2 + depends = ocaml-ocamlgraph + depends = ocaml-num + depends = ocaml-zarith + depends = ocaml-zip + depends = coq + depends = isabelle options = !makeflags - source = https://gforge.inria.fr/frs/download.php/file/37903/why3-1.2.0.tar.gz - sha256sums = 888c09fbad8d5c83b3c23ebc8d89fcb9c535cc3ee2cb8c3752329c086500e077 + source = https://gforge.inria.fr/frs/download.php/file/38185/why3-1.2.1.tar.gz + sha256sums = 8798ffbe1c455d7ab39692c1d09f15e0267196cfb37f41c6e8055ca9239f8f04 pkgname = why3 @@ -4,18 +4,17 @@ # Contributor: Paolo Herms pkgname=why3 -pkgver=1.2.0 -_pkgvercode=37903 # Update when bumping release +pkgver=1.2.1 +_pkgvercode=38185 # Update when bumping release pkgrel=1 pkgdesc='A platform for deductive program verification' arch=('x86_64') options=('!makeflags') url='http://why3.lri.fr/' license=('LGPL') -depends=('gtksourceview2') -makedepends=('ocaml' 'ocaml-menhir' 'rubber' 'gtksourceview2' 'lablgtk2' 'ocaml-ocamlgraph' 'ocaml-num' 'ocaml-zarith' 'ocaml-zip' 'coq' 'isabelle') +depends=('gtksourceview2' '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=('888c09fbad8d5c83b3c23ebc8d89fcb9c535cc3ee2cb8c3752329c086500e077') +sha256sums=('8798ffbe1c455d7ab39692c1d09f15e0267196cfb37f41c6e8055ca9239f8f04') build() { cd "${pkgname}-${pkgver}" |