Package Details: spot 2.12.2-1

Git Clone URL: https://aur.archlinux.org/spot.git (read-only, click to copy)
Package Base: spot
Description: A C++17 library for LTL, 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: daizhirui
Last Packager: daizhirui
Votes: 4
Popularity: 0.000000
First Submitted: 2016-04-19 08:23 (UTC)
Last Updated: 2025-01-26 00:31 (UTC)

Required by (3)

Sources (1)

Latest Comments

MasWag commented on 2024-08-07 06:05 (UTC)

Hi. I have quickly updated PKGBUILD for spot 2.12: https://gist.github.com/MasWag/7a5b50514269d533d1c553adcd6ef19c

MasWag commented on 2024-05-16 11:34 (UTC)

Hi, it appears that configure depends on the distutils module of Python, but it is not installed by default, and the compilation failed. In my case, installing python-distutils-extra resolved the issue.

vl.still commented on 2017-11-23 09:31 (UTC)

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 (UTC)

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