diff options
| author | Vladimir Still | 2017-11-23 09:29:20 +0100 |
|---|---|---|
| committer | Vladimir Still | 2017-11-23 09:29:20 +0100 |
| commit | fd03ccfca9cae6152faac0009cd8bd447e045a8f (patch) | |
| tree | d0607e2855796b47a3a50ab0c12643742a642b88 | |
| parent | 6a1642536cb2433845322f699a1d6fadf93b695b (diff) | |
| download | aur-fd03ccfca9cae6152faac0009cd8bd447e045a8f.tar.gz | |
Update to 2.4.2.
| -rw-r--r-- | .SRCINFO | 6 | ||||
| -rw-r--r-- | PKGBUILD | 4 |
2 files changed, 5 insertions, 5 deletions
@@ -1,6 +1,6 @@ pkgbase = spot pkgdesc = Spot is a C++11 library for omega automata manipulation and model checking. - pkgver = 2.0 + pkgver = 2.4.2 pkgrel = 1 url = https://spot.lrde.epita.fr/index.html arch = i686 @@ -9,8 +9,8 @@ pkgbase = spot depends = glibc depends = sh depends = python - source = http://www.lrde.epita.fr/dload/spot/spot-2.0.tar.gz - sha256sums = 40ee69d8c7d9104d1474e64c8fc2361759715736067ba9c9bff5395a6b1a2192 + source = http://www.lrde.epita.fr/dload/spot/spot-2.4.2.tar.gz + sha256sums = 431e5863f132bb9033f1e8f0582b9153f5e9598ce575d4a541b3332b06b29452 pkgname = spot @@ -2,7 +2,7 @@ # Contributor: Aaron Schaefer <aaron@elasticdog.com> pkgname=spot -pkgver=2.0 +pkgver=2.4.2 pkgrel=1 pkgdesc="Spot is a C++11 library for omega automata manipulation and model checking." arch=('i686' 'x86_64') @@ -10,7 +10,7 @@ url="https://spot.lrde.epita.fr/index.html" license=('GPL3') depends=('glibc' 'sh' 'python') source=(http://www.lrde.epita.fr/dload/${pkgname}/${pkgname}-${pkgver}.tar.gz) -sha256sums=('40ee69d8c7d9104d1474e64c8fc2361759715736067ba9c9bff5395a6b1a2192') +sha256sums=('431e5863f132bb9033f1e8f0582b9153f5e9598ce575d4a541b3332b06b29452') build() { cd ${srcdir}/${pkgname}-${pkgver} |