diff options
| author | Jorai Rijsdijk | 2022-07-05 18:41:18 +0200 |
|---|---|---|
| committer | Jorai Rijsdijk | 2022-07-05 18:41:18 +0200 |
| commit | 618c2d1489168b1ed41c2d3a7e5c0e0bbc7db2b6 (patch) | |
| tree | d58a19604db44dd72c8e0c83dfd3aa9e0b4fb801 | |
| parent | 6a83e1fe8ee15a525276d0f5b5d222dff486d30f (diff) | |
| download | aur-618c2d1489168b1ed41c2d3a7e5c0e0bbc7db2b6.tar.gz | |
Update to version 202206.1
| -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 = 202206.0 + pkgver = 202206.1 pkgrel = 1 url = http://www.mcrl2.org install = mcrl2.install @@ -14,7 +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-202206.0.tar.gz - sha256sums = 3800b71804962081af1aab60af3c10562fa5ab643b57dc15997caf9bc064972a + source = http://mcrl2.org/download/release/mcrl2-202206.1.tar.gz + sha256sums = 2a82edf0853fbc2758ab326e90db9a65f97c6d688e281d14c561c47508f76ee5 pkgname = mcrl2 @@ -1,7 +1,7 @@ # Maintainer: Jorai Rijsdijk <aur@jrijsdijk.com> pkgname=mcrl2 -pkgver=202206.0 +pkgver=202206.1 pkgrel=1 pkgdesc="A formal specification language with an associated toolset." arch=('i686' 'x86_64') @@ -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=('3800b71804962081af1aab60af3c10562fa5ab643b57dc15997caf9bc064972a') +sha256sums=('2a82edf0853fbc2758ab326e90db9a65f97c6d688e281d14c561c47508f76ee5') install=mcrl2.install build() { |