Package: libbddx-dev Source: spot Version: 2.16.1.0-1 Architecture: amd64 Maintainer: Alexandre Duret-Lutz Installed-Size: 459 Depends: libbddx0 (>= 2.16.1.0-1), libbddx0 (<< 2.16.1.0-1.1~) Filename: amd64/libbddx-dev_2.16.1.0-1_amd64.deb Size: 120120 MD5sum: 4fff7b69645b94fbc7d74d68fb827680 SHA1: 0b24a76b81305c8c80e1fc1a51df3c54e83a2837 SHA256: 3d53d95f931de58e37561730bac2c75005a70137bc7087210c447588b1547790 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.16.1.0-1 Architecture: amd64 Maintainer: Alexandre Duret-Lutz Installed-Size: 188 Depends: libc6 (>= 2.29), libgcc-s1 (>= 3.3.1), libstdc++6 (>= 13.1) Recommends: graphviz Suggests: libbddx-dev Filename: amd64/libbddx0_2.16.1.0-1_amd64.deb Size: 86486 MD5sum: 0dadeb84a33b4b78ffb8fccad30dd4c3 SHA1: 246dce0b4e754d41dcaaadd4eace1fd3f93a36f3 SHA256: 8eb167a2a5f700683aac559f1f3d921c38a024b54b0e834692b46283cb024fb3 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.16.1.0-1 Architecture: amd64 Maintainer: Alexandre Duret-Lutz Installed-Size: 18921 Depends: libspot0 (>= 2.16.1.0-1), libspot0 (<< 2.16.1.0-1.1~), libspotltsmin0 (>= 2.16.1.0-1), libspotltsmin0 (<< 2.16.1.0-1.1~), libbddx-dev Suggests: spot-doc Filename: amd64/libspot-dev_2.16.1.0-1_amd64.deb Size: 3868734 MD5sum: 933c05c36c12d74c5dde4b68ebc7aebe SHA1: 41f1d5239349baa6fcc35507f7e462a4e016482c SHA256: 1e502516579f45eb703c485b577d733cf46ad6d6804f5ed5bb03b1aa552bd9c8 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.16.1.0-1 Architecture: amd64 Maintainer: Alexandre Duret-Lutz Installed-Size: 4521 Depends: libbddx0 (>= 2.16.1.0-1), libc6 (>= 2.38), libgcc-s1 (>= 3.3.1), libstdc++6 (>= 14), libbddx0 (<< 2.16.1.0-1.1~) Recommends: graphviz Suggests: libspot-dev, spot-doc, python3-spot Filename: amd64/libspot0_2.16.1.0-1_amd64.deb Size: 2124250 MD5sum: 76c7f84953f222a2fa5bfad47948f00c SHA1: 5e16e5c3d2fdd8ee981a942a9fd75836c441e01a SHA256: f720457fdcc854474f9e25abbc424e0e9152b97ec72f79fd1fa292126f8f4c02 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.16.1.0-1 Architecture: amd64 Maintainer: Alexandre Duret-Lutz Installed-Size: 569 Depends: libbddx0 (>= 2.16.1.0), libc6 (>= 2.32), libgcc-s1 (>= 3.3.1), libspot0 (>= 2.16.1.0-1), libstdc++6 (>= 13.1), libspot0 (<< 2.16.1.0-1.1~) Suggests: libspot-dev Filename: amd64/libspotgen0_2.16.1.0-1_amd64.deb Size: 449356 MD5sum: fe488cbbe167c039aed8781b32c099da SHA1: e28466ed1dac50c1a3046e652beab56054659c85 SHA256: 080015a5d05c92379fea99652b3a348ecdf33ce06fe822701dd7129d02efc8ae 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.16.1.0-1 Architecture: amd64 Maintainer: Alexandre Duret-Lutz Installed-Size: 453 Depends: libbddx0 (>= 2.16.1.0), libc6 (>= 2.38), libgcc-s1 (>= 3.3.1), libltdl7 (>= 2.5.4), libspot0 (>= 2.16.1.0-1), libstdc++6 (>= 13.1), libspot0 (<< 2.16.1.0-1.1~) Suggests: libspot-dev Filename: amd64/libspotltsmin0_2.16.1.0-1_amd64.deb Size: 401818 MD5sum: e031d380bc5c2841b67a663ea23f3240 SHA1: 576fdfdc5ef8a42571cc02a6fdd82616810769c0 SHA256: 1697667f3162053fb1d2576f37e73330e413814687ac35d60c4a96e9a4263823 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.16.1.0-1 Architecture: amd64 Maintainer: Alexandre Duret-Lutz Installed-Size: 40515 Depends: libbddx0 (>= 2.16.1.0), libc6 (>= 2.32), libgcc-s1 (>= 3.3.1), libspot0 (>= 2.16.1.0-1), libspotgen0 (>= 2.16.1.0), libspotltsmin0 (>= 2.16.1.0-1), libstdc++6 (>= 13.1), python3 (<< 3.14), python3 (>= 3.13~), python3:any, libspot0 (<< 2.16.1.0-1.1~), libspotltsmin0 (<< 2.16.1.0-1.1~) Suggests: ipython3 Filename: amd64/python3-spot_2.16.1.0-1_amd64.deb Size: 2858818 MD5sum: 41f2d66d8159cc3d5133564d62695b52 SHA1: 263af9a2a1405af4d81ef372fcb2838758cd0949 SHA256: a21451a830f7a0f84c6fdc3086ddedf36424313583b0fac8355a9f97fc896763 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.16.1.0-1 Architecture: amd64 Maintainer: Alexandre Duret-Lutz Installed-Size: 4249 Depends: libbddx0 (>= 2.16.1.0), libc6 (>= 2.38), libgcc-s1 (>= 3.3.1), libspot0 (>= 2.16.1.0-1), libspotgen0 (>= 2.16.1.0-1), libstdc++6 (>= 14), libspot0 (<< 2.16.1.0-1.1~), libspotgen0 (<< 2.16.1.0-1.1~) Recommends: graphviz Suggests: libspot-dev, spot-doc, python3-spot Filename: amd64/spot_2.16.1.0-1_amd64.deb Size: 1373854 MD5sum: 07382ac179878fda41694faa4b20cc11 SHA1: e25122d183e108fb204d6aa4694a08f61d91997e SHA256: da02e9271f57a14291b943f409530997620a5500aed6c31db0cf80befe36fa1c Section: science Priority: optional Homepage: http://spot.lrde.epita.fr/ Description: model checking and omega-automata manipulation tools Tools to manipulate omega-automata as well as linear-time temporal logic (LTL & PSL). Package: spot-doc Source: spot Version: 2.16.1.0-1 Architecture: all Maintainer: Alexandre Duret-Lutz Installed-Size: 33814 Depends: libjs-mathjax, libjs-jquery, libjs-requirejs Filename: all/spot-doc_2.16.1.0-1_all.deb Size: 2511300 MD5sum: 4269d2fa7f2972e637255201722e5184 SHA1: 2dedf67f1640e1c499c7df73278f7c60cc0937be SHA256: ec2b758d5038174a05915c9dc1162ecd7c78cb6ba1b45e424b87836675b8ce5b Section: doc Priority: optional Homepage: http://spot.lrde.epita.fr/ Description: documentation for Spot HTML and PDF documentation for Spot.