Arch Linux User Repository

Search Criteria

Enter search criteria

Search by

Keywords

Out of Date

Sort by

Sort order

Per page

Package Details: spot 2.11.6-1

Package Actions

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:	cdemoulins
Last Packager:	cdemoulins
Votes:	4
Popularity:	0.000845
First Submitted:	2016-04-19 08:23 (UTC)
Last Updated:	2023-08-21 09:21 (UTC)

Dependencies (4)

glibc (glibc-git^AUR, glibc-linux4^AUR, glibc-eac^AUR)
libtool (libtool-git^AUR)
python (python32^AUR, python37^AUR, python310^AUR)
sh (dashbinsh^AUR, bash-devel-static-git^AUR, bash-git^AUR, zshbinsh^AUR, bash-devel-git^AUR, busybox-coreutils^AUR, bash)

Required by (4)

ompl (optional)
ompl-git (optional)
omplapp (optional)
stormchecker (optional)

Sources (1)

http://www.lrde.epita.fr/dload/spot/spot-2.11.6.tar.gz

Latest Comments

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