diff options
author | Jorai Rijsdijk | 2021-09-12 14:01:06 +0200 |
---|---|---|
committer | Jorai Rijsdijk | 2021-09-12 14:01:06 +0200 |
commit | e7ae26cf7e40528fb01b7713527f6bea242e6adf (patch) | |
tree | b3d0a705d8ecce8b07a365d78e822689ccb53a90 | |
parent | 9c795f369860e82e79a56800c317d408fc75543b (diff) | |
download | aur-e7ae26cf7e40528fb01b7713527f6bea242e6adf.tar.gz |
Update to version 202106.0
-rw-r--r-- | .SRCINFO | 9 | ||||
-rw-r--r-- | PKGBUILD | 6 |
2 files changed, 7 insertions, 8 deletions
@@ -1,7 +1,7 @@ pkgbase = mcrl2 pkgdesc = A formal specification language with an associated toolset. - pkgver = 202006.0 - pkgrel = 2 + pkgver = 202106.0 + pkgrel = 1 url = http://www.mcrl2.org install = mcrl2.install arch = i686 @@ -14,8 +14,7 @@ pkgbase = mcrl2 depends = glu depends = hicolor-icon-theme optdepends = python: for easily running the included examples - source = http://mcrl2.org/download/release/mcrl2-202006.0.tar.gz - sha256sums = f4975dfd4bc18071249b0f1c50bd6255a1a43a95280529d82852a8307ff6f998 + source = http://mcrl2.org/download/release/mcrl2-202106.0.tar.gz + sha256sums = 9b386afb184ef375f7768a4c6bfef2431af5050e920816e57a87ed531a1bfdf5 pkgname = mcrl2 - @@ -1,8 +1,8 @@ # Maintainer: Jorai Rijsdijk <aur@jrijsdijk.com> pkgname=mcrl2 -pkgver=202006.0 -pkgrel=2 +pkgver=202106.0 +pkgrel=1 pkgdesc="A formal specification language with an associated toolset." arch=('i686' 'x86_64') depends=('qt5-base' 'glu' 'hicolor-icon-theme') @@ -11,7 +11,7 @@ makedepends=('boost' 'cmake' 'gcc>=7.0') url=http://www.mcrl2.org license=('custom') source=("http://mcrl2.org/download/release/$pkgname-$pkgver.tar.gz") -sha256sums=('f4975dfd4bc18071249b0f1c50bd6255a1a43a95280529d82852a8307ff6f998') +sha256sums=('9b386afb184ef375f7768a4c6bfef2431af5050e920816e57a87ed531a1bfdf5') install=mcrl2.install build() { |