Update to 2.00 (thanks Leander Schröder)

2 files changed, 10 insertions, 10 deletions

diff --git a/.SRCINFO b/.SRCINFO
index e4cca3af0aba..7891031c5850 100644
--- a/.SRCINFO
+++ b/.SRCINFO
@@ -1,9 +1,9 @@
 # Generated by mksrcinfo v8
-# Mon Jan  8 15:50:36 UTC 2018
+# Tue May 29 18:51:53 UTC 2018
 pkgbase = proverif
 	pkgdesc = Cryptographic protocol verifier in the formal model
-	pkgver = 1.98pl1
-	pkgrel = 2
+	pkgver = 2.00
+	pkgrel = 1
 	url = http://prosecco.gforge.inria.fr/personal/bblanche/proverif/
 	arch = i686
 	arch = x86_64
@@ -12,9 +12,9 @@ pkgbase = proverif
 	makedepends = lablgtk2
 	depends = ocaml
 	optdepends = graphviz: for displaying graphs of found attacks
-	source = http://prosecco.gforge.inria.fr/personal/bblanche/proverif/proverif1.98pl1.tar.gz
-	sha1sums = a259e6f7e4730c635936836472a29b1d7a549bf7
-	sha256sums = 3edd1f6d9b0a2b9b066300f78af57cbf17b4e529c1184dd1d7892f9a6cca9390
+	source = http://prosecco.gforge.inria.fr/personal/bblanche/proverif/proverif2.00.tar.gz
+	sha1sums = f87582cea412cf32aa06966bd8f2e8f7cc3be0d1
+	sha256sums = fe8c0cc0e20efa84d2849aee13c0a57715df37b1a6e9c3761a3841569084576e
 
 pkgname = proverif
 
diff --git a/PKGBUILD b/PKGBUILD
index b8810d1f9b7a..36c7d3bb2514 100644
--- a/PKGBUILD
+++ b/PKGBUILD
@@ -1,7 +1,7 @@
 # Maintainer: Matej Grabovsky <matej.grabovsky at gmail>
 pkgname=proverif
-pkgver=1.98pl1
-pkgrel=2
+pkgver=2.00
+pkgrel=1
 pkgdesc='Cryptographic protocol verifier in the formal model'
 arch=('i686' 'x86_64')
 url='http://prosecco.gforge.inria.fr/personal/bblanche/proverif/'
@@ -10,8 +10,8 @@ depends=('ocaml')
 makedepends=('ocaml-findlib' 'lablgtk2')
 optdepends=('graphviz: for displaying graphs of found attacks')
 source=("http://prosecco.gforge.inria.fr/personal/bblanche/proverif/proverif$pkgver.tar.gz")
-sha1sums=('a259e6f7e4730c635936836472a29b1d7a549bf7')
-sha256sums=('3edd1f6d9b0a2b9b066300f78af57cbf17b4e529c1184dd1d7892f9a6cca9390')
+sha1sums=('f87582cea412cf32aa06966bd8f2e8f7cc3be0d1')
+sha256sums=('fe8c0cc0e20efa84d2849aee13c0a57715df37b1a6e9c3761a3841569084576e')
 
 build() {
   cd "$srcdir/proverif$pkgver"