diff options
author | Clément Démoulins | 2020-05-05 09:54:43 +0200 |
---|---|---|
committer | Clément Démoulins | 2020-05-05 09:54:43 +0200 |
commit | c8f8cb7056b7bf6f27615223fd5eedeb088a348a (patch) | |
tree | 6e6698eeac68fe00efc69ee370a837e44c419547 | |
parent | 7deeb82e486676c2eed1107236d2048c82d95299 (diff) | |
download | aur-c8f8cb7056b7bf6f27615223fd5eedeb088a348a.tar.gz |
Spot 2.9
-rw-r--r-- | .SRCINFO | 8 | ||||
-rw-r--r-- | PKGBUILD | 6 |
2 files changed, 7 insertions, 7 deletions
@@ -1,7 +1,7 @@ pkgbase = spot pkgdesc = A C++14 library for omega automata manipulation and model checking. - pkgver = 2.8.7 - pkgrel = 2 + pkgver = 2.9 + pkgrel = 1 url = https://spot.lrde.epita.fr/ arch = i686 arch = x86_64 @@ -10,8 +10,8 @@ pkgbase = spot depends = sh depends = python depends = libtool - source = http://www.lrde.epita.fr/dload/spot/spot-2.8.7.tar.gz - sha256sums = bdbeb4454f0244b6b77e1b04458558ab62471aaa21918e104602e6da99969c1f + source = http://www.lrde.epita.fr/dload/spot/spot-2.9.tar.gz + sha256sums = cf7c55d29bfc07f0c0b6d73d620324dda0a95158e8390641c01a66803253e071 pkgname = spot @@ -3,15 +3,15 @@ # Contributor: Aaron Schaefer <aaron@elasticdog.com> pkgname=spot -pkgver=2.8.7 -pkgrel=2 +pkgver=2.9 +pkgrel=1 pkgdesc="A C++14 library for omega automata manipulation and model checking." arch=('i686' 'x86_64') url="https://spot.lrde.epita.fr/" license=('GPL3') depends=('glibc' 'sh' 'python' 'libtool') source=(http://www.lrde.epita.fr/dload/${pkgname}/${pkgname}-${pkgver}.tar.gz) -sha256sums=('bdbeb4454f0244b6b77e1b04458558ab62471aaa21918e104602e6da99969c1f') +sha256sums=('cf7c55d29bfc07f0c0b6d73d620324dda0a95158e8390641c01a66803253e071') build() { cd ${srcdir}/${pkgname}-${pkgver} |