Package: libbddx-dev Source: spot Version: 2.12.1.0-1 Architecture: amd64 Maintainer: Alexandre Duret-Lutz Installed-Size: 330 Depends: libbddx0 (>= 2.12.1.0-1), libbddx0 (<< 2.12.1.0-1.1~) Filename: amd64/libbddx-dev_2.12.1.0-1_amd64.deb Size: 83936 MD5sum: 9e90cc22f50fa09f4bf6a0038733c6f9 SHA1: bbf1c710b934871ca18dd7531c9a66b590cfd134 SHA256: 5452e35cb206bdc15258c6160aa017cc15c043fe74819218aa6e071bf648690e Section: libdevel Priority: optional Homepage: http://spot.lrde.epita.fr/ Description: headers for the BuDDy library C++ headers for the Buddy library. Package: libbddx0 Source: spot Version: 2.12.1.0-1 Architecture: amd64 Maintainer: Alexandre Duret-Lutz Installed-Size: 141 Depends: libc6 (>= 2.29), libgcc-s1 (>= 3.0), libstdc++6 (>= 4.3) Recommends: graphviz Suggests: libbddx-dev Filename: amd64/libbddx0_2.12.1.0-1_amd64.deb Size: 64494 MD5sum: 4806a48dddeacb022fcafb17d58f6aca SHA1: 5aba623d1e994ae2bcba10be04181d81057cfb8c SHA256: aba754822846500dbdbfc3baf0d21cae6c5c0aa1c87a64b7204eeb97d7f1f2a7 Section: science Priority: optional Homepage: http://spot.lrde.epita.fr/ Description: alternate version of BuDDy An alternate version of BuDDy with slightly different data structures and additional functions. Package: libspot-dev Source: spot Version: 2.12.1.0-1 Architecture: amd64 Maintainer: Alexandre Duret-Lutz Installed-Size: 16370 Depends: libspot0 (>= 2.12.1.0-1), libspot0 (<< 2.12.1.0-1.1~), libspotltsmin0 (>= 2.12.1.0-1), libspotltsmin0 (<< 2.12.1.0-1.1~), libbddx-dev Suggests: spot-doc Filename: amd64/libspot-dev_2.12.1.0-1_amd64.deb Size: 3107334 MD5sum: 99fee97cf3fc88ed6d3c168f1608f174 SHA1: 3c5589dd71184fc15042e0622e3acd4ffd9dacb1 SHA256: 8db6058a5fd426c54f6b5c4ca2c930e3d855571a37fd8d7d688aa7699bd3e65b Section: libdevel Priority: optional Homepage: http://spot.lrde.epita.fr/ Description: headers for the Spot model checking library C++ headers for the Spot library. Package: libspot0 Source: spot Version: 2.12.1.0-1 Architecture: amd64 Maintainer: Alexandre Duret-Lutz Installed-Size: 4428 Depends: libbddx0 (>= 2.12.1.0-1), libc6 (>= 2.33), libgcc-s1 (>= 3.4), libstdc++6 (>= 11), libbddx0 (<< 2.12.1.0-1.1~) Recommends: graphviz Suggests: libspot-dev, spot-doc, python3-spot Filename: amd64/libspot0_2.12.1.0-1_amd64.deb Size: 2213844 MD5sum: 46faa5b8c484a08734b6cfd4cee70cab SHA1: 447987f898ee93210ef1761e5a5a0628811a7681 SHA256: 2871beccd482641f7ca80ba16316ecacf398982345e67ccaac87479b8f1fa409 Section: science Priority: optional Homepage: http://spot.lrde.epita.fr/ Description: model checking and omega-automata manipulation library Library to manipulate omega-automata as well as linear-time temporal logic (LTL & PSL). Package: libspotgen0 Source: spot Version: 2.12.1.0-1 Architecture: amd64 Maintainer: Alexandre Duret-Lutz Installed-Size: 536 Depends: libbddx0 (>= 2.12.1.0), libc6 (>= 2.32), libgcc-s1 (>= 3.3.1), libspot0 (>= 2.12.1.0-1), libstdc++6 (>= 11), libspot0 (<< 2.12.1.0-1.1~) Suggests: libspot-dev Filename: amd64/libspotgen0_2.12.1.0-1_amd64.deb Size: 409822 MD5sum: 52a7c830d7e969421890997e125b88ad SHA1: 8cb714676214013b4075a04f13dba8765d7e8280 SHA256: b7f1e02b13858fef386c895f581febbde4d6cfbe10437f3c2363557b2ef1c16c Section: science Priority: optional Homepage: http://spot.lrde.epita.fr/ Description: functions for generating formulas and automata in Spot Library for generating families of formulas and automata taken from the literature. Package: libspotltsmin0 Source: spot Version: 2.12.1.0-1 Architecture: amd64 Maintainer: Alexandre Duret-Lutz Installed-Size: 412 Depends: libbddx0 (>= 2.12.1.0), libc6 (>= 2.33), libgcc-s1 (>= 3.3.1), libltdl7 (>= 2.4.6), libspot0 (>= 2.12.1.0-1), libstdc++6 (>= 11), libspot0 (<< 2.12.1.0-1.1~) Suggests: libspot-dev Filename: amd64/libspotltsmin0_2.12.1.0-1_amd64.deb Size: 358746 MD5sum: b90672856acee38d23323bdcf6cb7003 SHA1: 79d0348a06a7a025c4b7bc8bbe4707fc193b7b90 SHA256: 902555b1135d4af6de39497a878075cf7b07353ac73c6ed6e301d2c3e857b907 Section: science Priority: optional Homepage: http://spot.lrde.epita.fr/ Description: interface between Spot and LTSmin models Library for loading LTSmin models as Spot automata. Package: python3-spot Source: spot Version: 2.12.1.0-1 Architecture: amd64 Maintainer: Alexandre Duret-Lutz Installed-Size: 23985 Depends: libbddx0 (>= 2.12.1.0), libc6 (>= 2.32), libgcc-s1 (>= 3.4), libspot0 (>= 2.12.1.0-1), libspotgen0 (>= 2.12.1.0), libspotltsmin0 (>= 2.12.1.0-1), libstdc++6 (>= 11), python3 (<< 3.11), python3 (>= 3.10~), python3:any, libspot0 (<< 2.12.1.0-1.1~), libspotltsmin0 (<< 2.12.1.0-1.1~) Suggests: ipython3 Filename: amd64/python3-spot_2.12.1.0-1_amd64.deb Size: 1896738 MD5sum: 1468b31b6ac439fc3e3724dda6f0f787 SHA1: 1764d45b0585998e7dd0018a883243424ebcc228 SHA256: 4914ac5ba0da88dbba2f278d2d4f9e00385904c3a985d178dc72421d2222cb9b Section: python Priority: optional Homepage: http://spot.lrde.epita.fr/ Description: python3 binding for spot Spot allows manipulation of omega-automata as well as linear-time temporal logic (LTL & PSL). Package: spot Version: 2.12.1.0-1 Architecture: amd64 Maintainer: Alexandre Duret-Lutz Installed-Size: 2930 Depends: libbddx0 (>= 2.12.1.0), libc6 (>= 2.34), libgcc-s1 (>= 3.3.1), libspot0 (>= 2.12.1.0-1), libspotgen0 (>= 2.12.1.0-1), libstdc++6 (>= 11), libspot0 (<< 2.12.1.0-1.1~), libspotgen0 (<< 2.12.1.0-1.1~) Recommends: graphviz Suggests: libspot-dev, spot-doc, python3-spot Filename: amd64/spot_2.12.1.0-1_amd64.deb Size: 1099960 MD5sum: 7ecc50667e8df7926b2a663512b8090b SHA1: c3548940acfa346ceba46796987c0f18254ef3c0 SHA256: f91971203aa4d67fc7e57fe8bce1ca9d6feb7cb5ea9bd6e174cc2c409f82e1bb Section: science Priority: optional Homepage: http://spot.lrde.epita.fr/ Description: model checking and omega-automata manipulation library Tools to manipulate omega-automata as well as linear-time temporal logic (LTL & PSL). Package: spot-doc Source: spot Version: 2.12.1.0-1 Architecture: all Maintainer: Alexandre Duret-Lutz Installed-Size: 29443 Depends: libjs-mathjax, libjs-jquery, libjs-requirejs Filename: all/spot-doc_2.12.1.0-1_all.deb Size: 2177414 MD5sum: d98b47ead25e5199d58057ed75939007 SHA1: 1fb84e189f388281cce7babe7b40dad0cef28ad7 SHA256: abc9f1ae0cf7c368b05275237fb43abe9a425ec9bcc2f7f27c6028458792ebba Section: doc Priority: optional Homepage: http://spot.lrde.epita.fr/ Description: documentation for Spot HTML and PDF documentation for Spot.