Version bump

2 files changed, 6 insertions, 6 deletions

diff --git a/.SRCINFO b/.SRCINFO
index 9638c888ca26..4e69c3da7bdf 100644
--- a/.SRCINFO
+++ b/.SRCINFO
@@ -1,6 +1,6 @@
 pkgbase = why3
 	pkgdesc = A platform for deductive program verification
-	pkgver = 1.2.1
+	pkgver = 1.3.1
 	pkgrel = 1
 	url = http://why3.lri.fr/
 	arch = x86_64
@@ -18,8 +18,8 @@ pkgbase = why3
 	depends = coq
 	depends = isabelle
 	options = !makeflags
-	source = https://gforge.inria.fr/frs/download.php/file/38185/why3-1.2.1.tar.gz
-	sha256sums = 8798ffbe1c455d7ab39692c1d09f15e0267196cfb37f41c6e8055ca9239f8f04
+	source = https://gforge.inria.fr/frs/download.php/file/38291/why3-1.3.1.tar.gz
+	sha256sums = 7b0d5e8f67aa3e964b44fe943cc7ea538a9ebef823713eda1b52fc0f0ccbec9b
 
 pkgname = why3
 
diff --git a/PKGBUILD b/PKGBUILD
index 16c5849df324..971f27b18dbd 100644
--- a/PKGBUILD
+++ b/PKGBUILD
@@ -4,8 +4,8 @@
 # Contributor: Paolo Herms
 
 pkgname=why3
-pkgver=1.2.1
-_pkgvercode=38185 # Update when bumping release
+pkgver=1.3.1
+_pkgvercode=38291 # Update when bumping release
 pkgrel=1
 pkgdesc='A platform for deductive program verification'
 arch=('x86_64')
@@ -14,7 +14,7 @@ url='http://why3.lri.fr/'
 license=('LGPL')
 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=('8798ffbe1c455d7ab39692c1d09f15e0267196cfb37f41c6e8055ca9239f8f04')
+sha256sums=('7b0d5e8f67aa3e964b44fe943cc7ea538a9ebef823713eda1b52fc0f0ccbec9b')
 
 build() {
   cd "${pkgname}-${pkgver}"