Update to 1.98pl1

2 files changed, 8 insertions, 8 deletions

diff --git a/.SRCINFO b/.SRCINFO
index 7e594db6dfbc..49eea75cd4c5 100644
--- a/.SRCINFO
+++ b/.SRCINFO
@@ -1,17 +1,17 @@
 # Generated by mksrcinfo v8
-# Tue Oct 10 12:02:58 UTC 2017
+# Sun Dec 24 15:57:34 UTC 2017
 pkgbase = proverif
 	pkgdesc = Cryptographic protocol verifier in the formal model
-	pkgver = 1.97pl1
+	pkgver = 1.98pl1
 	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.97pl1.tar.gz
-	sha1sums = 3456261d1557b4f1d3cb125e348f9771e6672d06
-	sha256sums = f8ed61ed608e9f3825c12a0e23c51ff279eb0c6e4f984f142091b6cc908912ac
+	source = http://prosecco.gforge.inria.fr/personal/bblanche/proverif/proverif1.98pl1.tar.gz
+	sha1sums = a259e6f7e4730c635936836472a29b1d7a549bf7
+	sha256sums = 3edd1f6d9b0a2b9b066300f78af57cbf17b4e529c1184dd1d7892f9a6cca9390
 
 pkgname = proverif
 
diff --git a/PKGBUILD b/PKGBUILD
index 861fb9e86b8c..6fc5b1b37dd3 100644
--- a/PKGBUILD
+++ b/PKGBUILD
@@ -1,6 +1,6 @@
 # Maintainer: Matej Grabovsky <matej.grabovsky at gmail>
 pkgname=proverif
-pkgver=1.97pl1
+pkgver=1.98pl1
 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=('3456261d1557b4f1d3cb125e348f9771e6672d06')
-sha256sums=('f8ed61ed608e9f3825c12a0e23c51ff279eb0c6e4f984f142091b6cc908912ac')
+sha1sums=('a259e6f7e4730c635936836472a29b1d7a549bf7')
+sha256sums=('3edd1f6d9b0a2b9b066300f78af57cbf17b4e529c1184dd1d7892f9a6cca9390')
 
 build() {
   cd "$srcdir/proverif$pkgver"