1 files changed, 3 insertions, 3 deletions
diff --git a/PKGBUILD b/PKGBUILD
index 8d092eaa8b76..fe8bc9d67a16 100644
--- a/PKGBUILD
+++ b/PKGBUILD
@@ -4,8 +4,8 @@
 # Contributor: Paolo Herms
 
 pkgname=why3
-pkgver=1.1.0
-_pkgvercode=37767 # Update when bumping release
+pkgver=1.1.1
+_pkgvercode=37842 # 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=('817dde9d68eeef60717a137adfe6b909f82726cac286d68627228f5d118e3fa5')
+sha256sums=('defe68520b6367958e521a0e93d71ec0ee433047fa087e5e5f09004a63e8b118')
 
 build() {
   cd "${pkgname}-${pkgver}"