Package: libbddx-dev Source: spot Version: 2.12.0-1 Architecture: amd64 Maintainer: Alexandre Duret-Lutz Installed-Size: 330 Depends: libbddx0 (>= 2.12.0-1), libbddx0 (<< 2.12.0-1.1~) Filename: amd64/libbddx-dev_2.12.0-1_amd64.deb Size: 83930 MD5sum: f45118884a96f41dd4664fdbbca4a2bc SHA1: 4918cecfa8fa9ab16275e5537e8bf76c29148ba7 SHA256: 84a3888f0cf4563cdfca17bcc1e966fcb93aca0e7a44d06829c898a24d8ecdac 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.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.0-1_amd64.deb Size: 64500 MD5sum: 6d56441341e3ecbafe46041c9a40095c SHA1: 07d53c5e1f0a8150eceb4abc5d006f5e927063f2 SHA256: 12929a43f495e32ae26ae1d176e309269b4aac82f8dad91edfa154df9de26a92 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.0-1 Architecture: amd64 Maintainer: Alexandre Duret-Lutz Installed-Size: 16368 Depends: libspot0 (>= 2.12.0-1), libspot0 (<< 2.12.0-1.1~), libspotltsmin0 (>= 2.12.0-1), libspotltsmin0 (<< 2.12.0-1.1~), libbddx-dev Suggests: spot-doc Filename: amd64/libspot-dev_2.12.0-1_amd64.deb Size: 3105326 MD5sum: ee63462fe529210a2623bc26f906f4c7 SHA1: 9c527e4234f294f285295564088f8153325a99e0 SHA256: b41b6351e8f60fda6ae689607e3040cf54194e9f87158422a01cee3fc469dfff 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.0-1 Architecture: amd64 Maintainer: Alexandre Duret-Lutz Installed-Size: 4427 Depends: libbddx0 (>= 2.12.0-1), libc6 (>= 2.33), libgcc-s1 (>= 3.4), libstdc++6 (>= 11), libbddx0 (<< 2.12.0-1.1~) Recommends: graphviz Suggests: libspot-dev, spot-doc, python3-spot Filename: amd64/libspot0_2.12.0-1_amd64.deb Size: 2213180 MD5sum: 6823d2a30819c26aaf975dc6112a0e3f SHA1: 06ba404e138c7f86b4116763ffa492313b335572 SHA256: edccb84c480f5ae27800feaba6551f94306e04d8830f039e566ededa9e0c2fa8 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.0-1 Architecture: amd64 Maintainer: Alexandre Duret-Lutz Installed-Size: 535 Depends: libbddx0 (>= 2.12.0), libc6 (>= 2.32), libgcc-s1 (>= 3.3.1), libspot0 (>= 2.12.0-1), libstdc++6 (>= 11), libspot0 (<< 2.12.0-1.1~) Suggests: libspot-dev Filename: amd64/libspotgen0_2.12.0-1_amd64.deb Size: 408700 MD5sum: 4bf1fd1ee5573d16bf1a820e0b35dbc4 SHA1: bcff668dd3a26df1e785ce9bc7d16541bc3287bd SHA256: bc0b29938b09a2b5987f59184283c6e25eaee2838457d790d3f229f329b5748f 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.0-1 Architecture: amd64 Maintainer: Alexandre Duret-Lutz Installed-Size: 411 Depends: libbddx0 (>= 2.12.0), libc6 (>= 2.33), libgcc-s1 (>= 3.3.1), libltdl7 (>= 2.4.6), libspot0 (>= 2.12.0-1), libstdc++6 (>= 11), libspot0 (<< 2.12.0-1.1~) Suggests: libspot-dev Filename: amd64/libspotltsmin0_2.12.0-1_amd64.deb Size: 357632 MD5sum: 3ce9bd34ee88ac0547d07101f556ad7f SHA1: 9577ade7007b3623bbc887facbd3fef1e7aefe16 SHA256: eb6b689970fe81dcd078bef8c5fcefa2ce1f7613fd8f3e7595f5000bc72dd740 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.0-1 Architecture: amd64 Maintainer: Alexandre Duret-Lutz Installed-Size: 23984 Depends: libbddx0 (>= 2.12.0), libc6 (>= 2.32), libgcc-s1 (>= 3.4), libspot0 (>= 2.12.0-1), libspotgen0 (>= 2.12.0), libspotltsmin0 (>= 2.12.0-1), libstdc++6 (>= 11), python3 (<< 3.11), python3 (>= 3.10~), python3:any, libspot0 (<< 2.12.0-1.1~), libspotltsmin0 (<< 2.12.0-1.1~) Suggests: ipython3 Filename: amd64/python3-spot_2.12.0-1_amd64.deb Size: 1901938 MD5sum: 93e81df1f794db948562c2d47e8c4469 SHA1: 99010fc31849e71ff0b5613558939f7303bf4782 SHA256: 42227ec8e0b49b73f8907acc04db2088eee3dffc47b24ccb59065d59e718fa46 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.0-1 Architecture: amd64 Maintainer: Alexandre Duret-Lutz Installed-Size: 2929 Depends: libbddx0 (>= 2.12.0), libc6 (>= 2.34), libgcc-s1 (>= 3.3.1), libspot0 (>= 2.12.0-1), libspotgen0 (>= 2.12.0-1), libstdc++6 (>= 11), libspot0 (<< 2.12.0-1.1~), libspotgen0 (<< 2.12.0-1.1~) Recommends: graphviz Suggests: libspot-dev, spot-doc, python3-spot Filename: amd64/spot_2.12.0-1_amd64.deb Size: 1097884 MD5sum: aed95571c1f686ed05e8250039c27d31 SHA1: 46c8e36bf128e81ffd1de4fcf390d56916fc0f09 SHA256: c79b1fe1e47c4b49aca0f00ad45ef184c882232d1c61091351f971147c67730d 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.0-1 Architecture: all Maintainer: Alexandre Duret-Lutz Installed-Size: 29426 Depends: libjs-mathjax, libjs-jquery, libjs-requirejs Filename: all/spot-doc_2.12.0-1_all.deb Size: 2176360 MD5sum: f78b98f0273127fefcf03062e3777741 SHA1: 85d4e1c740b35bdf3eba9b670126d235ff39ddb3 SHA256: 9a53e3e5276ceefeacf58df35c765f4dd0287512b4e169d47ae645f15962d764 Section: doc Priority: optional Homepage: http://spot.lrde.epita.fr/ Description: documentation for Spot HTML and PDF documentation for Spot.