summarylogtreecommitdiffstats
diff options
context:
space:
mode:
authorClément Démoulins2020-01-06 17:42:35 +0100
committerClément Démoulins2020-01-06 17:42:35 +0100
commit46c91693b2799ffafcc82e05c9f1703c34b30bb5 (patch)
treedd38a0af9d49e42e9127021711d94ac9efc8b2e9
parentc7d5e0d7f5a45fef17d49ccc0ee673ed5934313f (diff)
downloadaur-46c91693b2799ffafcc82e05c9f1703c34b30bb5.tar.gz
Spot 2.8.5
-rw-r--r--.SRCINFO7
-rw-r--r--PKGBUILD6
2 files changed, 7 insertions, 6 deletions
diff --git a/.SRCINFO b/.SRCINFO
index a125f4774278..188300a5afa1 100644
--- a/.SRCINFO
+++ b/.SRCINFO
@@ -1,6 +1,6 @@
pkgbase = spot
pkgdesc = A C++11 library for omega automata manipulation and model checking.
- pkgver = 2.8.4
+ pkgver = 2.8.5
pkgrel = 1
url = https://spot.lrde.epita.fr/
arch = i686
@@ -9,8 +9,9 @@ pkgbase = spot
depends = glibc
depends = sh
depends = python
- source = http://www.lrde.epita.fr/dload/spot/spot-2.8.4.tar.gz
- sha256sums = 3f71df2874a3dbc92983c5bf060fba0eb0ed13acaadc9af3542ab793a0de50f9
+ depends = libtool
+ source = http://www.lrde.epita.fr/dload/spot/spot-2.8.5.tar.gz
+ sha256sums = 4d244f4ece34a7398970ab05b96bd79ff662a077bd219628703e6a7125424939
pkgname = spot
diff --git a/PKGBUILD b/PKGBUILD
index fc207d0a8146..d5b05ee69f08 100644
--- a/PKGBUILD
+++ b/PKGBUILD
@@ -3,15 +3,15 @@
# Contributor: Aaron Schaefer <aaron@elasticdog.com>
pkgname=spot
-pkgver=2.8.4
+pkgver=2.8.5
pkgrel=1
pkgdesc="A C++11 library for omega automata manipulation and model checking."
arch=('i686' 'x86_64')
url="https://spot.lrde.epita.fr/"
license=('GPL3')
-depends=('glibc' 'sh' 'python')
+depends=('glibc' 'sh' 'python' 'libtool')
source=(http://www.lrde.epita.fr/dload/${pkgname}/${pkgname}-${pkgver}.tar.gz)
-sha256sums=('3f71df2874a3dbc92983c5bf060fba0eb0ed13acaadc9af3542ab793a0de50f9')
+sha256sums=('4d244f4ece34a7398970ab05b96bd79ff662a077bd219628703e6a7125424939')
build() {
cd ${srcdir}/${pkgname}-${pkgver}