1 files changed, 3 insertions, 3 deletions

diff --git a/.SRCINFO b/.SRCINFO
index 6aefa40487c8..994c65234e71 100644
--- a/.SRCINFO
+++ b/.SRCINFO
@@ -1,6 +1,6 @@
 pkgbase = mcrl2
 	pkgdesc = A formal specification language with an associated toolset.
-	pkgver = 201908.0
+	pkgver = 202006.0
 	pkgrel = 1
 	url = http://www.mcrl2.org
 	install = mcrl2.install
@@ -12,8 +12,8 @@ pkgbase = mcrl2
 	depends = boost
 	depends = qt5-base
 	depends = glu
-	source = http://mcrl2.org/download/release/mcrl2-201908.0.tar.gz
-	sha256sums = 5f3b48392a1ab283617dd279e5ba45f5b29ca7f30c94c86bf8f1b9d2047d9dc4
+	source = http://mcrl2.org/download/release/mcrl2-202006.0.tar.gz
+	sha256sums = f4975dfd4bc18071249b0f1c50bd6255a1a43a95280529d82852a8307ff6f998
 
 pkgname = mcrl2