Update to 2.04

2 files changed, 8 insertions, 8 deletions

diff --git a/.SRCINFO b/.SRCINFO
index 2b934e698996..925cedbe00b6 100644
--- a/.SRCINFO
+++ b/.SRCINFO
@@ -1,8 +1,8 @@
 # Generated by mksrcinfo v8
-# Sat Nov 13 16:44:13 UTC 2021
+# Tue Jun  7 19:34:30 UTC 2022
 pkgbase = proverif
 	pkgdesc = Cryptographic protocol verifier in the formal model
-	pkgver = 2.03
+	pkgver = 2.04
 	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.03.tar.gz
-	sha1sums = b671c29e54ee187d0d2cdaa45df6f953572fb0ab
-	sha256sums = 8739bcc82a5282dddf11414b84fa2deb9101e7589f61c56aa45e264063bab5e0
+	source = http://prosecco.gforge.inria.fr/personal/bblanche/proverif/proverif2.04.tar.gz
+	sha1sums = 37481ce4b86cd00545ce50b60ce723139dadc6f3
+	sha256sums = a96e5ec13f35c9ead7a0e960df69bc4018eb6a46939da501613d9d93cab5fc75
 
 pkgname = proverif
 
diff --git a/PKGBUILD b/PKGBUILD
index 5002165e1460..42c44999920f 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.03
+pkgver=2.04
 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=('b671c29e54ee187d0d2cdaa45df6f953572fb0ab')
-sha256sums=('8739bcc82a5282dddf11414b84fa2deb9101e7589f61c56aa45e264063bab5e0')
+sha1sums=('37481ce4b86cd00545ce50b60ce723139dadc6f3')
+sha256sums=('a96e5ec13f35c9ead7a0e960df69bc4018eb6a46939da501613d9d93cab5fc75')
 
 build() {
   cd "$srcdir/proverif$pkgver"