summarylogtreecommitdiffstats
diff options
context:
space:
mode:
authorClément Démoulins2021-11-30 08:45:23 +0100
committerClément Démoulins2021-11-30 08:45:23 +0100
commit6e0dd1c71050882f246be7fb48bb9a35f1b63e73 (patch)
treee537c2a2f471035facd14cb43eaa4172cebe3c3a
parentd13a64cd21839872d08072985d2045107cf5765f (diff)
downloadaur-6e0dd1c71050882f246be7fb48bb9a35f1b63e73.tar.gz
Update description
Diffstat
-rw-r--r--.SRCINFO2
-rw-r--r--PKGBUILD2
2 files changed, 2 insertions, 2 deletions
diff --git a/.SRCINFO b/.SRCINFO
index bf842948cdf9..738e483da747 100644
--- a/.SRCINFO
+++ b/.SRCINFO
@@ -1,5 +1,5 @@
pkgbase = spot
- pkgdesc = A C++14 library for omega automata manipulation and model checking.
+ pkgdesc = A C++17 library for LTL, omega automata manipulation and model checking.
pkgver = 2.10.1
pkgrel = 1
url = https://spot.lrde.epita.fr/
diff --git a/PKGBUILD b/PKGBUILD
index f203f00f42a2..8d54b50fbb4d 100644
--- a/PKGBUILD
+++ b/PKGBUILD
@@ -5,7 +5,7 @@
pkgname=spot
pkgver=2.10.1
pkgrel=1
-pkgdesc="A C++14 library for omega automata manipulation and model checking."
+pkgdesc="A C++17 library for LTL, omega automata manipulation and model checking."
arch=('i686' 'x86_64')
url="https://spot.lrde.epita.fr/"
license=('GPL3')