Update to 1.94pl1

2 files changed, 8 insertions, 8 deletions

diff --git a/.SRCINFO b/.SRCINFO
index 5e7145617d08..d31b9e4fd501 100644
--- a/.SRCINFO
+++ b/.SRCINFO
@@ -1,17 +1,17 @@
 # Generated by mksrcinfo v8
-# Sun May  1 18:56:49 UTC 2016
+# Tue Oct 11 23:32:08 UTC 2016
 pkgbase = proverif
 	pkgdesc = Cryptographic protocol verifier in the formal model
-	pkgver = 1.94
+	pkgver = 1.94pl1
 	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.94.tar.gz
-	sha1sums = c4a7ebfde065a66690f37d74e346e61a91294182
-	sha256sums = a65c854d0b538053f0eb5b4550d8215cf6da486a1820c7dbb90a7873e6836237
+	source = http://prosecco.gforge.inria.fr/personal/bblanche/proverif/proverif1.94pl1.tar.gz
+	sha1sums = 1c45d19071c855a8df9fecf5ca41b2ae31881e35
+	sha256sums = fad8f5e93b92501b30fe3ef3c15aec25dfba28da02d22cdb2ed3296242014da1
 
 pkgname = proverif
 
diff --git a/PKGBUILD b/PKGBUILD
index e638c6f943d7..a9ebb49659a6 100644
--- a/PKGBUILD
+++ b/PKGBUILD
@@ -1,6 +1,6 @@
 # Maintainer: Matej Grabovsky <matej.grabovsky at gmail>
 pkgname=proverif
-pkgver=1.94
+pkgver=1.94pl1
 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=('c4a7ebfde065a66690f37d74e346e61a91294182')
-sha256sums=('a65c854d0b538053f0eb5b4550d8215cf6da486a1820c7dbb90a7873e6836237')
+sha1sums=('1c45d19071c855a8df9fecf5ca41b2ae31881e35')
+sha256sums=('fad8f5e93b92501b30fe3ef3c15aec25dfba28da02d22cdb2ed3296242014da1')
 
 build() {
   cd "$srcdir/proverif$pkgver"