Version bump

2 files changed, 6 insertions, 6 deletions

diff --git a/.SRCINFO b/.SRCINFO
index f871dacbd632..b0ab62a1df65 100644
--- a/.SRCINFO
+++ b/.SRCINFO
@@ -1,6 +1,6 @@
 pkgbase = why3
 	pkgdesc = A platform for deductive program verification
-	pkgver = 1.1.1
+	pkgver = 1.2.0
 	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/37842/why3-1.1.1.tar.gz
-	sha256sums = defe68520b6367958e521a0e93d71ec0ee433047fa087e5e5f09004a63e8b118
+	source = https://gforge.inria.fr/frs/download.php/file/37903/why3-1.2.0.tar.gz
+	sha256sums = 888c09fbad8d5c83b3c23ebc8d89fcb9c535cc3ee2cb8c3752329c086500e077
 
 pkgname = why3
 
diff --git a/PKGBUILD b/PKGBUILD
index fe8bc9d67a16..bc893d61b2cc 100644
--- a/PKGBUILD
+++ b/PKGBUILD
@@ -4,8 +4,8 @@
 # Contributor: Paolo Herms
 
 pkgname=why3
-pkgver=1.1.1
-_pkgvercode=37842 # Update when bumping release
+pkgver=1.2.0
+_pkgvercode=37903 # 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=('defe68520b6367958e521a0e93d71ec0ee433047fa087e5e5f09004a63e8b118')
+sha256sums=('888c09fbad8d5c83b3c23ebc8d89fcb9c535cc3ee2cb8c3752329c086500e077')
 
 build() {
   cd "${pkgname}-${pkgver}"