Update to 2.03

2 files changed, 8 insertions, 8 deletions

diff --git a/.SRCINFO b/.SRCINFO
index b3afdc283c51..2b934e698996 100644
--- a/.SRCINFO
+++ b/.SRCINFO
@@ -1,8 +1,8 @@
 # Generated by mksrcinfo v8
-# Sun Apr 11 17:10:40 UTC 2021
+# Sat Nov 13 16:44:13 UTC 2021
 pkgbase = proverif
 	pkgdesc = Cryptographic protocol verifier in the formal model
-	pkgver = 2.02pl1
+	pkgver = 2.03
 	pkgrel = 1
 	url = http://prosecco.gforge.inria.fr/personal/bblanche/proverif/
 	arch = i686
@@ -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.02pl1.tar.gz
-	sha1sums = d5421ac236a03a6c432417bf1b066d81cbc6b551
-	sha256sums = 5d4aa21eb05b9fe11d1fe448259b7dbda7adca1cd15c09f0acee3508fa75bfca
+	source = http://prosecco.gforge.inria.fr/personal/bblanche/proverif/proverif2.03.tar.gz
+	sha1sums = b671c29e54ee187d0d2cdaa45df6f953572fb0ab
+	sha256sums = 8739bcc82a5282dddf11414b84fa2deb9101e7589f61c56aa45e264063bab5e0
 
 pkgname = proverif
 
diff --git a/PKGBUILD b/PKGBUILD
index 69433f83faff..5002165e1460 100644
--- a/PKGBUILD
+++ b/PKGBUILD
@@ -1,7 +1,7 @@
 # Maintainer: Matej Grabovsky <matej.grabovsky at gmail>
 # Contributor: DuckSoft <realducksoft at gmail>
 pkgname=proverif
-pkgver=2.02pl1
+pkgver=2.03
 pkgrel=1
 pkgdesc='Cryptographic protocol verifier in the formal model'
 arch=('i686' 'x86_64')
@@ -11,8 +11,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=('d5421ac236a03a6c432417bf1b066d81cbc6b551')
-sha256sums=('5d4aa21eb05b9fe11d1fe448259b7dbda7adca1cd15c09f0acee3508fa75bfca')
+sha1sums=('b671c29e54ee187d0d2cdaa45df6f953572fb0ab')
+sha256sums=('8739bcc82a5282dddf11414b84fa2deb9101e7589f61c56aa45e264063bab5e0')
 
 build() {
   cd "$srcdir/proverif$pkgver"