summarylogtreecommitdiffstats
diff options
context:
space:
mode:
authorClément Démoulins2020-03-26 12:33:37 +0100
committerClément Démoulins2020-03-26 12:33:37 +0100
commit7deeb82e486676c2eed1107236d2048c82d95299 (patch)
tree094f64479948a5409812384a6b81483292c4e0a5
parenta809a779d4923180e7bdad611fd9e737b62ac801 (diff)
downloadaur-7deeb82e486676c2eed1107236d2048c82d95299.tar.gz
Update description
Diffstat
-rw-r--r--.SRCINFO4
-rw-r--r--PKGBUILD4
2 files changed, 4 insertions, 4 deletions
diff --git a/.SRCINFO b/.SRCINFO
index ccb3113bbb81..a66a77a447fe 100644
--- a/.SRCINFO
+++ b/.SRCINFO
@@ -1,7 +1,7 @@
pkgbase = spot
- pkgdesc = A C++11 library for omega automata manipulation and model checking.
+ pkgdesc = A C++14 library for omega automata manipulation and model checking.
pkgver = 2.8.7
- pkgrel = 1
+ pkgrel = 2
url = https://spot.lrde.epita.fr/
arch = i686
arch = x86_64
diff --git a/PKGBUILD b/PKGBUILD
index d5d18f297338..10eefbe75127 100644
--- a/PKGBUILD
+++ b/PKGBUILD
@@ -4,8 +4,8 @@
pkgname=spot
pkgver=2.8.7
-pkgrel=1
-pkgdesc="A C++11 library for omega automata manipulation and model checking."
+pkgrel=2
+pkgdesc="A C++14 library for omega automata manipulation and model checking."
arch=('i686' 'x86_64')
url="https://spot.lrde.epita.fr/"
license=('GPL3')