Package: libbddx-dev Source: spot Version: 2.14.5.0-1 Architecture: amd64 Maintainer: Alexandre Duret-Lutz Installed-Size: 401 Depends: libbddx0 (>= 2.14.5.0-1), libbddx0 (<< 2.14.5.0-1.1~) Filename: amd64/libbddx-dev_2.14.5.0-1_amd64.deb Size: 102802 MD5sum: d54941b0090b1b5ba1977e778d29cb7e SHA1: a42b3caea11e379ab9eef41f39158e60c829cdb3 SHA256: 46a8821023dd39a8ba18257973a7ca85634c8b7b51f04f12a192dac337a0a3a5 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.14.5.0-1 Architecture: amd64 Maintainer: Alexandre Duret-Lutz Installed-Size: 179 Depends: libc6 (>= 2.29), libgcc-s1 (>= 3.3.1), libstdc++6 (>= 5) Recommends: graphviz Suggests: libbddx-dev Filename: amd64/libbddx0_2.14.5.0-1_amd64.deb Size: 77152 MD5sum: fc3c61ce7b662b643047fa8cab16e31c SHA1: b8575cdafab3d174c4a1f225e1c2b1b8dbd4a064 SHA256: 319371d228210913c27857569b17f655610f994c2dcb0471d50a69b988f42dd2 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.14.5.0-1 Architecture: amd64 Maintainer: Alexandre Duret-Lutz Installed-Size: 17896 Depends: libspot0 (>= 2.14.5.0-1), libspot0 (<< 2.14.5.0-1.1~), libspotltsmin0 (>= 2.14.5.0-1), libspotltsmin0 (<< 2.14.5.0-1.1~), libbddx-dev Suggests: spot-doc Filename: amd64/libspot-dev_2.14.5.0-1_amd64.deb Size: 3391598 MD5sum: 76aaf5f7f2c5229c99b134a3b78af833 SHA1: 87ab9b9f8116d30cb7c82b924413962221e454fe SHA256: 3763919501863ced93525f3878fce59d96a81ae58ede772b56edcda7d738489d 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.14.5.0-1 Architecture: amd64 Maintainer: Alexandre Duret-Lutz Installed-Size: 4255 Depends: libbddx0 (>= 2.14.5.0-1), libc6 (>= 2.33), libgcc-s1 (>= 3.4), libstdc++6 (>= 11), libbddx0 (<< 2.14.5.0-1.1~) Recommends: graphviz Suggests: libspot-dev, spot-doc, python3-spot Filename: amd64/libspot0_2.14.5.0-1_amd64.deb Size: 1984964 MD5sum: af4af7f2f97ad3ce843ce7a9f6b57400 SHA1: 0811c82fd260769490915872e9c0f2a81c758f9f SHA256: cb50ca655a02d28b696ce520ef0aefad4f5a9fdb238ca2596cdd52021e63bbc6 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.14.5.0-1 Architecture: amd64 Maintainer: Alexandre Duret-Lutz Installed-Size: 599 Depends: libbddx0 (>= 2.14.5.0), libc6 (>= 2.32), libgcc-s1 (>= 3.3.1), libspot0 (>= 2.14.5.0-1), libstdc++6 (>= 11), libspot0 (<< 2.14.5.0-1.1~) Suggests: libspot-dev Filename: amd64/libspotgen0_2.14.5.0-1_amd64.deb Size: 439280 MD5sum: b2f1423b819bd541798d42ea7b26c12f SHA1: 0e6ca2efa2872b97e6a9098f064223fa29594170 SHA256: fdd8bffa5f01dd941032fb56cbc841ff41efab1576b3e3dfee2a571fa42b2bba 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.14.5.0-1 Architecture: amd64 Maintainer: Alexandre Duret-Lutz Installed-Size: 427 Depends: libbddx0 (>= 2.14.5.0), libc6 (>= 2.33), libgcc-s1 (>= 3.3.1), libltdl7 (>= 2.4.7), libspot0 (>= 2.14.5.0-1), libstdc++6 (>= 11), libspot0 (<< 2.14.5.0-1.1~) Suggests: libspot-dev Filename: amd64/libspotltsmin0_2.14.5.0-1_amd64.deb Size: 374900 MD5sum: 2634387ae44e11a91df6be99712c98c6 SHA1: 4f14fc99e6c17098287d4c13bffcc633f8e906e5 SHA256: 498f723c1081472283379ab7c258b89a5780cea1e76812eb77370952c1342006 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.14.5.0-1 Architecture: amd64 Maintainer: Alexandre Duret-Lutz Installed-Size: 41587 Depends: libbddx0 (>= 2.14.5.0), libc6 (>= 2.32), libgcc-s1 (>= 3.4), libspot0 (>= 2.14.5.0-1), libspotgen0 (>= 2.14.5.0), libspotltsmin0 (>= 2.14.5.0-1), libstdc++6 (>= 11), python3 (<< 3.11), python3 (>= 3.10~), python3:any, libspot0 (<< 2.14.5.0-1.1~), libspotltsmin0 (<< 2.14.5.0-1.1~) Suggests: ipython3 Filename: amd64/python3-spot_2.14.5.0-1_amd64.deb Size: 2316556 MD5sum: 09cc2dd9ddea2fbf007c7f06d1e5165c SHA1: 3f8c2a7136a652ee687842260ff4bbc3ff28717e SHA256: 11f1f90a450c1f6cd3820663bd980653edc7738b77f265a6f3c0d1120b112679 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.14.5.0-1 Architecture: amd64 Maintainer: Alexandre Duret-Lutz Installed-Size: 3782 Depends: libbddx0 (>= 2.14.5.0), libc6 (>= 2.34), libgcc-s1 (>= 3.3.1), libspot0 (>= 2.14.5.0-1), libspotgen0 (>= 2.14.5.0-1), libstdc++6 (>= 11), libspot0 (<< 2.14.5.0-1.1~), libspotgen0 (<< 2.14.5.0-1.1~) Recommends: graphviz Suggests: libspot-dev, spot-doc, python3-spot Filename: amd64/spot_2.14.5.0-1_amd64.deb Size: 1235970 MD5sum: 372053d4f0c59b53eb9c1755743b1373 SHA1: 405ef7712ba9fa886760a9f53f76638d9fed2e17 SHA256: f23b737b1fb287b3baabff83a40b03241bc9e1edb5f8b48f0269ceccc298214f 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.14.5.0-1 Architecture: all Maintainer: Alexandre Duret-Lutz Installed-Size: 31248 Depends: libjs-mathjax, libjs-jquery, libjs-requirejs Filename: all/spot-doc_2.14.5.0-1_all.deb Size: 2302026 MD5sum: 152d477db7fdfbe34173f04788cbc51f SHA1: 4d9a901ecf18b5d636ab750b877a3d449ca1efd3 SHA256: c81a55cc6309084e79a9439c46ea9ee126798324e47bc13df68f2d1d5d0a6ce6 Section: doc Priority: optional Homepage: http://spot.lrde.epita.fr/ Description: documentation for Spot HTML and PDF documentation for Spot.