summarylogtreecommitdiffstats
diff options
context:
space:
mode:
authorJorai Rijsdijk2020-09-01 14:30:11 +0200
committerJorai Rijsdijk2020-09-01 14:30:11 +0200
commit31a0d44c6f0d05e0112a1aa2f4f008397fc62fd2 (patch)
treea6dab79b0060a2e0b4242a03f5ff51525ee41f40
parent3fdc53b17e5350b5acaf1d874d766143dea7d59d (diff)
downloadaur-31a0d44c6f0d05e0112a1aa2f4f008397fc62fd2.tar.gz
Update to version 202006.0
-rw-r--r--.SRCINFO6
-rw-r--r--PKGBUILD4
2 files changed, 5 insertions, 5 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
diff --git a/PKGBUILD b/PKGBUILD
index 409180ad4188..dfd1d93ae64a 100644
--- a/PKGBUILD
+++ b/PKGBUILD
@@ -1,7 +1,7 @@
# Maintainer: Jorai Rijsdijk <aur@jrijsdijk.com>
pkgname=mcrl2
-pkgver=201908.0
+pkgver=202006.0
pkgrel=1
pkgdesc="A formal specification language with an associated toolset."
arch=('i686' 'x86_64')
@@ -10,7 +10,7 @@ makedepends=('cmake' 'gcc')
url=http://www.mcrl2.org
license=('custom')
source=("http://mcrl2.org/download/release/$pkgname-$pkgver.tar.gz")
-sha256sums=('5f3b48392a1ab283617dd279e5ba45f5b29ca7f30c94c86bf8f1b9d2047d9dc4')
+sha256sums=('f4975dfd4bc18071249b0f1c50bd6255a1a43a95280529d82852a8307ff6f998')
install=mcrl2.install
build() {