diff options
author | Jorai Rijsdijk | 2020-09-01 14:30:11 +0200 |
---|---|---|
committer | Jorai Rijsdijk | 2020-09-01 14:30:11 +0200 |
commit | 31a0d44c6f0d05e0112a1aa2f4f008397fc62fd2 (patch) | |
tree | a6dab79b0060a2e0b4242a03f5ff51525ee41f40 | |
parent | 3fdc53b17e5350b5acaf1d874d766143dea7d59d (diff) | |
download | aur-31a0d44c6f0d05e0112a1aa2f4f008397fc62fd2.tar.gz |
Update to version 202006.0
-rw-r--r-- | .SRCINFO | 6 | ||||
-rw-r--r-- | PKGBUILD | 4 |
2 files changed, 5 insertions, 5 deletions
@@ -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 @@ -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() { |