diff options
| author | Jorai Rijsdijk | 2022-07-02 11:01:51 +0200 |
|---|---|---|
| committer | Jorai Rijsdijk | 2022-07-02 11:01:51 +0200 |
| commit | 6a83e1fe8ee15a525276d0f5b5d222dff486d30f (patch) | |
| tree | 91a07f711e7028279136172f3bdfad872a562fac /PKGBUILD | |
| parent | e7ae26cf7e40528fb01b7713527f6bea242e6adf (diff) | |
| download | aur-6a83e1fe8ee15a525276d0f5b5d222dff486d30f.tar.gz | |
Update to version 202206.0
Diffstat (limited to 'PKGBUILD')
| -rw-r--r-- | PKGBUILD | 4 |
1 files changed, 2 insertions, 2 deletions
@@ -1,7 +1,7 @@ # Maintainer: Jorai Rijsdijk <aur@jrijsdijk.com> pkgname=mcrl2 -pkgver=202106.0 +pkgver=202206.0 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=('9b386afb184ef375f7768a4c6bfef2431af5050e920816e57a87ed531a1bfdf5') +sha256sums=('3800b71804962081af1aab60af3c10562fa5ab643b57dc15997caf9bc064972a') install=mcrl2.install build() { |