Package: libbddx-dev Source: spot Version: 2.14.5.0-1 Architecture: amd64 Maintainer: Alexandre Duret-Lutz Installed-Size: 382 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: 99248 MD5sum: c970234a2b9c1d40d1286f4493106f4d SHA1: bc2b4967e81ea92cabf9a9f34fdc8a9ace0bef52 SHA256: 18cfc0f49ad7f89a557e8e7731fe9d1feec8fc2478bccaf7828561b3218ce689 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: 159 Depends: libc6 (>= 2.29), libgcc-s1 (>= 3.3.1), libstdc++6 (>= 13.1) Recommends: graphviz Suggests: libbddx-dev Filename: amd64/libbddx0_2.14.5.0-1_amd64.deb Size: 71536 MD5sum: 4c844f181114be59fe818e00cef218f0 SHA1: a722955d2a07ca392cbef07eb61dc72db7720ddb SHA256: 875fe33ae3153873cc1e2c1d17a8e9a4d557ba4b214bc3fbb76eea4aa6af162a 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: 18047 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: 3545490 MD5sum: 27cdbec5d305c9ae9bf0670c4ef76370 SHA1: dd781332f73e9231038204886aafd9d4e6d33032 SHA256: 9aab8670125eaa5c2283e36f9cc9be8c6b7ca6b1eba6533b28a09f45036d6a33 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: 4275 Depends: libbddx0 (>= 2.14.5.0-1), libc6 (>= 2.38), libgcc-s1 (>= 3.3.1), libstdc++6 (>= 14), 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: 1996836 MD5sum: 27ed8f41709b884d9e2787b1190aea26 SHA1: 7d1e2fa55d60e10268cdc0ce185691f51d15c54d SHA256: 458d1f678a88c0373d33fb4bf77ffd5172c37f680d55ce3b3271bdd2e9f1fc68 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: 587 Depends: libbddx0 (>= 2.14.5.0), libc6 (>= 2.32), libgcc-s1 (>= 3.3.1), libspot0 (>= 2.14.5.0-1), libstdc++6 (>= 13.1), libspot0 (<< 2.14.5.0-1.1~) Suggests: libspot-dev Filename: amd64/libspotgen0_2.14.5.0-1_amd64.deb Size: 436294 MD5sum: 4c8414214df6a3cddd3f70446c0c7506 SHA1: 78f8688b485d27ed01655f828e161fcbfe39f9d7 SHA256: ff668c2fc749b1edb712ee0fad2c7db11f4ed56c3e645be9ea3bd0883db7e9bf 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.38), libgcc-s1 (>= 3.3.1), libltdl7 (>= 2.4.7), libspot0 (>= 2.14.5.0-1), libstdc++6 (>= 13.1), libspot0 (<< 2.14.5.0-1.1~) Suggests: libspot-dev Filename: amd64/libspotltsmin0_2.14.5.0-1_amd64.deb Size: 374162 MD5sum: 7741b46b02fd3b1495ae8262a083eeca SHA1: 0bc2d48a6f7ebd462bd778f2696eb8218a74f9dc SHA256: f0f2661d62882feb71eaceff8d972331dab76f0bf2c9c14a5a53927e3de4982e 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: 41939 Depends: libbddx0 (>= 2.14.5.0), libc6 (>= 2.32), libgcc-s1 (>= 3.3.1), libspot0 (>= 2.14.5.0-1), libspotgen0 (>= 2.14.5.0), libspotltsmin0 (>= 2.14.5.0-1), libstdc++6 (>= 13.1), python3 (<< 3.13), python3 (>= 3.12~), 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: 2331412 MD5sum: a8cb3c6cfa647e9eda5fbd54ad0e5cb2 SHA1: 258efe79189a300e6cf54d6f239f73c5ccaee5c0 SHA256: 9e5301424bc3a0fed16fbb148260b597c86c37b84fd804e4cf4e3f054b73a466 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: 3810 Depends: libbddx0 (>= 2.14.5.0), libc6 (>= 2.38), libgcc-s1 (>= 3.3.1), libspot0 (>= 2.14.5.0-1), libspotgen0 (>= 2.14.5.0-1), libstdc++6 (>= 14), 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: 1238908 MD5sum: 85dacbd3edfdac4f1fc13d01e162cea0 SHA1: 6f5db4b24652c14745caafb3647ffbd24451b8b8 SHA256: 1b17b6d5b35806b00cd46d092caf7937b65dafa1abb6e4739c263632f453dbf6 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: 35689 Depends: libjs-mathjax, libjs-jquery, libjs-requirejs Filename: all/spot-doc_2.14.5.0-1_all.deb Size: 2455646 MD5sum: 7fe77bbe51a971741fc582429491017b SHA1: 7eda9a42bdb8ecbae39be332a9167dc764e0b1ae SHA256: 35e23806ad471bc6a5706d4bdb146807d015438f9e94c46a4c71ace735cbabe4 Section: doc Priority: optional Homepage: http://spot.lrde.epita.fr/ Description: documentation for Spot HTML and PDF documentation for Spot.