diff options
| author | Andrew O'Neill | 2020-09-08 19:44:49 -0400 |
|---|---|---|
| committer | Andrew O'Neill | 2020-09-08 19:44:49 -0400 |
| commit | 2805076f23a5803061b12ba5334f07c60faff6bc (patch) | |
| tree | 2b1a7ede4c5614da73a7216fb1ceb33a391b2f49 | |
| parent | 767b4e7384931f22775d5855eb4f3e8a8fee0bd0 (diff) | |
| download | aur-why3.tar.gz | |
Version bump
| -rw-r--r-- | .SRCINFO | 11 | ||||
| -rw-r--r-- | PKGBUILD | 12 |
2 files changed, 9 insertions, 14 deletions
@@ -1,17 +1,14 @@ pkgbase = why3 pkgdesc = A platform for deductive program verification - pkgver = 1.3.1 - pkgrel = 3 + pkgver = 1.3.2 + pkgrel = 1 url = http://why3.lri.fr/ arch = x86_64 license = LGPL depends = gtksourceview2 - depends = dune - depends = ocaml-findlib depends = ocaml depends = ocaml-menhir depends = rubber - depends = gtksourceview2 depends = lablgtk2 depends = ocaml-ocamlgraph depends = ocaml-num @@ -20,8 +17,8 @@ pkgbase = why3 depends = coq depends = isabelle options = !makeflags - source = https://gforge.inria.fr/frs/download.php/file/38291/why3-1.3.1.tar.gz - sha256sums = 7b0d5e8f67aa3e964b44fe943cc7ea538a9ebef823713eda1b52fc0f0ccbec9b + source = https://gforge.inria.fr/frs/download.php/file/38366/why3-1.3.2.tar.gz + sha256sums = 8753ee9b75c69def9acdaecb4e99fb458715fee1e89c7a7e5be7af777b14a525 pkgname = why3 @@ -4,29 +4,27 @@ # Contributor: Paolo Herms pkgname=why3 -pkgver=1.3.1 -_pkgvercode=38291 # Update when bumping release -pkgrel=3 +pkgver=1.3.2 +_pkgvercode=38366 # 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' 'dune' 'ocaml-findlib' 'ocaml' 'ocaml-menhir' 'rubber' 'gtksourceview2' 'lablgtk2' 'ocaml-ocamlgraph' 'ocaml-num' 'ocaml-zarith' 'ocaml-zip' 'coq' 'isabelle') +depends=('gtksourceview2' 'ocaml' 'ocaml-menhir' 'rubber' '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=('7b0d5e8f67aa3e964b44fe943cc7ea538a9ebef823713eda1b52fc0f0ccbec9b') +sha256sums=('8753ee9b75c69def9acdaecb4e99fb458715fee1e89c7a7e5be7af777b14a525') build() { cd "${pkgname}-${pkgver}" ./configure --prefix=/usr --disable-pvs-libs make - make byte opt } package() { cd "${pkgname}-${pkgver}" make DESTDIR="${pkgdir}" install - make DESTDIR="${pkgdir}" install-lib } |