Search Criteria
Package Details: spot 2.9.6-1
Git Clone URL: | https://aur.archlinux.org/spot.git (read-only, click to copy) |
---|---|
Package Base: | spot |
Description: | A C++14 library for omega automata manipulation and model checking. |
Upstream URL: | https://spot.lrde.epita.fr/ |
Keywords: | Büchi LTL omega-automata |
Licenses: | |
Submitter: | vl.still |
Maintainer: | vl.still (cdemoulins) |
Last Packager: | cdemoulins |
Votes: | 1 |
Popularity: | 0.000593 |
First Submitted: | 2016-04-19 08:23 |
Last Updated: | 2021-01-19 08:54 |
Latest Comments
vl.still commented on 2017-11-23 09:31
Hi cdemoulins, I gave you co-maintairner status on the package and I can disown it so you can get it if you want. I have also updated the package.
cdemoulins commented on 2017-11-22 09:51
Release 2.4.2 is available.
Eventually, i would like to become a maintainer of this package. I'm working directly with the developer of this library/toolbox.
And, can you fix the name Buschy=>Büschi ?
Thanks