summarylogtreecommitdiffstats
diff options
context:
space:
mode:
authorClément Démoulins2018-10-17 14:48:22 +0200
committerClément Démoulins2018-10-17 14:48:22 +0200
commit6444588ddfe2b5df8e1535e2fcd7ac81f39e9174 (patch)
tree586c47b4d8a96b6ad438578edc296e41ebbb144e
parentc197c52cf6bd0e20719bdbe27a0266457922f477 (diff)
downloadaur-6444588ddfe2b5df8e1535e2fcd7ac81f39e9174.tar.gz
Release spot 2.6.3
-rw-r--r--.SRCINFO8
-rw-r--r--PKGBUILD4
2 files changed, 6 insertions, 6 deletions
diff --git a/.SRCINFO b/.SRCINFO
index 44f5c58d565f..c8587bba2864 100644
--- a/.SRCINFO
+++ b/.SRCINFO
@@ -1,8 +1,8 @@
# Generated by mksrcinfo v8
-# Thu Jul 5 13:54:08 UTC 2018
+# Wed Oct 17 12:48:14 UTC 2018
pkgbase = spot
pkgdesc = A C++11 library for omega automata manipulation and model checking.
- pkgver = 2.6
+ pkgver = 2.6.3
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.tar.gz
- sha256sums = 5dc3eb2de3b67706a77e649d8748641129513d9049d741ba22bb3677b5aac47d
+ source = http://www.lrde.epita.fr/dload/spot/spot-2.6.3.tar.gz
+ sha256sums = 2b24dd7f841cbb4cba04c5be106bb2b3140c453ca216cdf444314c2ee4208432
pkgname = spot
diff --git a/PKGBUILD b/PKGBUILD
index 11ac4aeb01a3..db1fd84f01ac 100644
--- a/PKGBUILD
+++ b/PKGBUILD
@@ -3,7 +3,7 @@
# Contributor: Aaron Schaefer <aaron@elasticdog.com>
pkgname=spot
-pkgver=2.6
+pkgver=2.6.3
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=('5dc3eb2de3b67706a77e649d8748641129513d9049d741ba22bb3677b5aac47d')
+sha256sums=('2b24dd7f841cbb4cba04c5be106bb2b3140c453ca216cdf444314c2ee4208432')
build() {
cd ${srcdir}/${pkgname}-${pkgver}