Update to 2.01

2 files changed, 10 insertions, 10 deletions

diff --git a/.SRCINFO b/.SRCINFO
index d296898ff51c..4cfe732c287e 100644
--- a/.SRCINFO
+++ b/.SRCINFO
@@ -1,9 +1,9 @@
 # Generated by mksrcinfo v8
-# Wed May 22 21:01:56 UTC 2019
+# Tue May 12 10:05:08 UTC 2020
 pkgbase = proverif
 	pkgdesc = Cryptographic protocol verifier in the formal model
-	pkgver = 2.00
-	pkgrel = 2
+	pkgver = 2.01
+	pkgrel = 1
 	url = http://prosecco.gforge.inria.fr/personal/bblanche/proverif/
 	arch = i686
 	arch = x86_64
@@ -13,9 +13,9 @@ pkgbase = proverif
 	makedepends = lablgtk2
 	depends = ocaml
 	optdepends = graphviz: for displaying graphs of found attacks
-	source = http://prosecco.gforge.inria.fr/personal/bblanche/proverif/proverif2.00.tar.gz
-	sha1sums = f87582cea412cf32aa06966bd8f2e8f7cc3be0d1
-	sha256sums = fe8c0cc0e20efa84d2849aee13c0a57715df37b1a6e9c3761a3841569084576e
+	source = http://prosecco.gforge.inria.fr/personal/bblanche/proverif/proverif2.01.tar.gz
+	sha1sums = b55a942a25f462013e575924baa0706b6b9c69ad
+	sha256sums = b1bf1496c5aebfa3c0f311317ca99626435faa5d08a6a49402ff1c1606299707
 
 pkgname = proverif
 
diff --git a/PKGBUILD b/PKGBUILD
index 24e7a628332b..ff9d00efaf80 100644
--- a/PKGBUILD
+++ b/PKGBUILD
@@ -1,7 +1,7 @@
 # Maintainer: Matej Grabovsky <matej.grabovsky at gmail>
 pkgname=proverif
-pkgver=2.00
-pkgrel=2
+pkgver=2.01
+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=('ocamlbuild' '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=('f87582cea412cf32aa06966bd8f2e8f7cc3be0d1')
-sha256sums=('fe8c0cc0e20efa84d2849aee13c0a57715df37b1a6e9c3761a3841569084576e')
+sha1sums=('b55a942a25f462013e575924baa0706b6b9c69ad')
+sha256sums=('b1bf1496c5aebfa3c0f311317ca99626435faa5d08a6a49402ff1c1606299707')
 
 build() {
   cd "$srcdir/proverif$pkgver"