summarylogtreecommitdiffstats
diff options
context:
space:
mode:
authorClément Démoulins2020-05-05 09:54:43 +0200
committerClément Démoulins2020-05-05 09:54:43 +0200
commitc8f8cb7056b7bf6f27615223fd5eedeb088a348a (patch)
tree6e6698eeac68fe00efc69ee370a837e44c419547
parent7deeb82e486676c2eed1107236d2048c82d95299 (diff)
downloadaur-c8f8cb7056b7bf6f27615223fd5eedeb088a348a.tar.gz
Spot 2.9
-rw-r--r--.SRCINFO8
-rw-r--r--PKGBUILD6
2 files changed, 7 insertions, 7 deletions
diff --git a/.SRCINFO b/.SRCINFO
index a66a77a447fe..11f1455505cd 100644
--- a/.SRCINFO
+++ b/.SRCINFO
@@ -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
diff --git a/PKGBUILD b/PKGBUILD
index 10eefbe75127..8e1306c374a5 100644
--- a/PKGBUILD
+++ b/PKGBUILD
@@ -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}