Version bump

2 files changed, 6 insertions, 6 deletions

diff --git a/.SRCINFO b/.SRCINFO
index 58c59386e5aa..2bba344fea32 100644
--- a/.SRCINFO
+++ b/.SRCINFO
@@ -1,6 +1,6 @@
 pkgbase = why3
 	pkgdesc = A platform for deductive program verification
-	pkgver = 0.88.2
+	pkgver = 0.88.3
 	pkgrel = 1
 	url = http://why3.lri.fr/
 	arch = x86_64
@@ -16,8 +16,8 @@ pkgbase = why3
 	makedepends = isabelle
 	depends = gtksourceview2
 	options = !makeflags
-	source = https://gforge.inria.fr/frs/download.php/file/37236/why3-0.88.2.tar.gz
-	sha256sums = 83f2c8887aa9717d5dcc03bde16b495a93819826f7a06277adbdf2f3be33d8f8
+	source = https://gforge.inria.fr/frs/download.php/file/37313/why3-0.88.3.tar.gz
+	sha256sums = 3e6afd141800dce4d722794378e3eb8a9a05a06f8e51d520ff72159a3c6e3552
 
 pkgname = why3
 
diff --git a/PKGBUILD b/PKGBUILD
index 9a9cbf37b7f3..180e43f7607c 100644
--- a/PKGBUILD
+++ b/PKGBUILD
@@ -4,8 +4,8 @@
 # Contributor: Paolo Herms
 
 pkgname=why3
-pkgver=0.88.2
-_pkgvercode=37236 # Update when bumping release
+pkgver=0.88.3
+_pkgvercode=37313 # 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' 'zarith' 'coq' 'isabelle')
 source=(https://gforge.inria.fr/frs/download.php/file/$_pkgvercode/$pkgname-$pkgver.tar.gz)
-sha256sums=('83f2c8887aa9717d5dcc03bde16b495a93819826f7a06277adbdf2f3be33d8f8')
+sha256sums=('3e6afd141800dce4d722794378e3eb8a9a05a06f8e51d520ff72159a3c6e3552')
 
 build() {
   cd $pkgname-$pkgver