Package Details: spot 2.9.7-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: GPL3
Submitter: vl.still
Maintainer: vl.still (cdemoulins)
Last Packager: cdemoulins
Votes: 1
Popularity: 0.000002
First Submitted: 2016-04-19 08:23
Last Updated: 2021-05-25 12:55

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