Update to 1.96

2 files changed, 8 insertions, 8 deletions

diff --git a/.SRCINFO b/.SRCINFO
index 93cf3e575384..f2e2f1b972ce 100644
--- a/.SRCINFO
+++ b/.SRCINFO
@@ -1,17 +1,17 @@
 # Generated by mksrcinfo v8
-# Tue Oct 25 18:13:53 UTC 2016
+# Wed Feb 15 17:27:24 UTC 2017
 pkgbase = proverif
 	pkgdesc = Cryptographic protocol verifier in the formal model
-	pkgver = 1.95
+	pkgver = 1.96
 	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.95.tar.gz
-	sha1sums = e2153f9b1e45c235f7d64540610e6f7003c46d4a
-	sha256sums = 42f38af76eeac8b138ab42f2118b4ce2a14f27d4c1333fc499bd31a64de47107
+	source = http://prosecco.gforge.inria.fr/personal/bblanche/proverif/proverif1.96.tar.gz
+	sha1sums = bdfd9f3f496eaf2fd62822b15bb7612e829a5cb7
+	sha256sums = cc249568cd5fac43a522ffa81e6c9c69c438bc7a8949b84d56f99eb0c130ca42
 
 pkgname = proverif
 
diff --git a/PKGBUILD b/PKGBUILD
index d78962994743..e34f33d2ef9b 100644
--- a/PKGBUILD
+++ b/PKGBUILD
@@ -1,6 +1,6 @@
 # Maintainer: Matej Grabovsky <matej.grabovsky at gmail>
 pkgname=proverif
-pkgver=1.95
+pkgver=1.96
 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=('e2153f9b1e45c235f7d64540610e6f7003c46d4a')
-sha256sums=('42f38af76eeac8b138ab42f2118b4ce2a14f27d4c1333fc499bd31a64de47107')
+sha1sums=('bdfd9f3f496eaf2fd62822b15bb7612e829a5cb7')
+sha256sums=('cc249568cd5fac43a522ffa81e6c9c69c438bc7a8949b84d56f99eb0c130ca42')
 
 build() {
   cd "$srcdir/proverif$pkgver"