summarylogtreecommitdiffstats
diff options
context:
space:
mode:
authorClément Démoulins2019-02-04 15:33:21 +0100
committerClément Démoulins2019-02-04 15:33:21 +0100
commitd0d8b6db6ca428a5b028c1dd32d1497de78250ec (patch)
treed0676bd1f941ffecb423e9f2455229439196ae2c
parent6444588ddfe2b5df8e1535e2fcd7ac81f39e9174 (diff)
downloadaur-d0d8b6db6ca428a5b028c1dd32d1497de78250ec.tar.gz
Upgrade to 2.7
-rw-r--r--.SRCINFO8
-rw-r--r--PKGBUILD4
2 files changed, 6 insertions, 6 deletions
diff --git a/.SRCINFO b/.SRCINFO
index c8587bba2864..48845d5c2c00 100644
--- a/.SRCINFO
+++ b/.SRCINFO
@@ -1,8 +1,8 @@
# Generated by mksrcinfo v8
-# Wed Oct 17 12:48:14 UTC 2018
+# Mon Feb 4 14:33:18 UTC 2019
pkgbase = spot
pkgdesc = A C++11 library for omega automata manipulation and model checking.
- pkgver = 2.6.3
+ pkgver = 2.7
pkgrel = 1
url = https://spot.lrde.epita.fr/
arch = i686
@@ -11,8 +11,8 @@ pkgbase = spot
depends = glibc
depends = sh
depends = python
- source = http://www.lrde.epita.fr/dload/spot/spot-2.6.3.tar.gz
- sha256sums = 2b24dd7f841cbb4cba04c5be106bb2b3140c453ca216cdf444314c2ee4208432
+ source = http://www.lrde.epita.fr/dload/spot/spot-2.7.tar.gz
+ sha256sums = 3ea000ac443c780f09574ec059c8931436783227c6afb43b24c863e85a22b5ef
pkgname = spot
diff --git a/PKGBUILD b/PKGBUILD
index db1fd84f01ac..4818f25f5f16 100644
--- a/PKGBUILD
+++ b/PKGBUILD
@@ -3,7 +3,7 @@
# Contributor: Aaron Schaefer <aaron@elasticdog.com>
pkgname=spot
-pkgver=2.6.3
+pkgver=2.7
pkgrel=1
pkgdesc="A C++11 library for omega automata manipulation and model checking."
arch=('i686' 'x86_64')
@@ -11,7 +11,7 @@ url="https://spot.lrde.epita.fr/"
license=('GPL3')
depends=('glibc' 'sh' 'python')
source=(http://www.lrde.epita.fr/dload/${pkgname}/${pkgname}-${pkgver}.tar.gz)
-sha256sums=('2b24dd7f841cbb4cba04c5be106bb2b3140c453ca216cdf444314c2ee4208432')
+sha256sums=('3ea000ac443c780f09574ec059c8931436783227c6afb43b24c863e85a22b5ef')
build() {
cd ${srcdir}/${pkgname}-${pkgver}