Update to version 1.91

2 files changed, 7 insertions, 7 deletions

diff --git a/.SRCINFO b/.SRCINFO
index 01d3f824f300..2a11459d6295 100644
--- a/.SRCINFO
+++ b/.SRCINFO
@@ -1,15 +1,15 @@
 pkgbase = proverif
 	pkgdesc = Cryptographic protocol verifier in the formal model
-	pkgver = 1.90
+	pkgver = 1.91
 	pkgrel = 1
 	url = http://prosecco.gforge.inria.fr/personal/bblanche/proverif/
 	arch = i686
 	arch = x86_64
 	license = GPL
 	depends = ocaml
-	source = http://prosecco.gforge.inria.fr/personal/bblanche/proverif/proverif1.90.tar.gz
-	sha1sums = e083b1fac9003d291dde35cb188f0344ade7849e
-	sha256sums = 7132729a7674c8c71414d0f0d9a86f6cb4aae7552598a8cd8b0239673521a991
+	source = http://prosecco.gforge.inria.fr/personal/bblanche/proverif/proverif1.91.tar.gz
+	sha1sums = e0307a04d3e3c4ea553fc746195f16e50780a5c6
+	sha256sums = ea2310199f2814da294572adc58a27edc7e1342a178859badd3cab01ce804ad2
 
 pkgname = proverif
 
diff --git a/PKGBUILD b/PKGBUILD
index 188e4d2c8cad..c497f75cef74 100644
--- a/PKGBUILD
+++ b/PKGBUILD
@@ -1,6 +1,6 @@
 # Maintainer: Matej Grabovsky <matej.grabovsky at gmail>
 pkgname=proverif
-pkgver=1.90
+pkgver=1.91
 pkgrel=1
 pkgdesc='Cryptographic protocol verifier in the formal model'
 arch=('i686' 'x86_64')
@@ -8,8 +8,8 @@ url='http://prosecco.gforge.inria.fr/personal/bblanche/proverif/'
 license=('GPL')
 depends=('ocaml')
 source=("http://prosecco.gforge.inria.fr/personal/bblanche/proverif/proverif$pkgver.tar.gz")
-sha1sums=('e083b1fac9003d291dde35cb188f0344ade7849e')
-sha256sums=('7132729a7674c8c71414d0f0d9a86f6cb4aae7552598a8cd8b0239673521a991')
+sha1sums=('e0307a04d3e3c4ea553fc746195f16e50780a5c6')
+sha256sums=('ea2310199f2814da294572adc58a27edc7e1342a178859badd3cab01ce804ad2')
 
 build() {
   cd "$srcdir/proverif$pkgver"