diff options
author | Clément Démoulins | 2020-03-26 12:33:37 +0100 |
---|---|---|
committer | Clément Démoulins | 2020-03-26 12:33:37 +0100 |
commit | 7deeb82e486676c2eed1107236d2048c82d95299 (patch) | |
tree | 094f64479948a5409812384a6b81483292c4e0a5 | |
parent | a809a779d4923180e7bdad611fd9e737b62ac801 (diff) | |
download | aur-7deeb82e486676c2eed1107236d2048c82d95299.tar.gz |
Update description
-rw-r--r-- | .SRCINFO | 4 | ||||
-rw-r--r-- | PKGBUILD | 4 |
2 files changed, 4 insertions, 4 deletions
@@ -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 @@ -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') |