Package: libbddx-dev Source: spot Version: 2.16.1.0-1 Architecture: amd64 Maintainer: Alexandre Duret-Lutz Installed-Size: 460 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: 121168 MD5sum: 2ba4be9170ce0598f37953d0618b8ef2 SHA1: 8544f74beab47d670e9d0a0032fe976d8f20eb44 SHA256: 8ddca7a97b564ea15e04ce814a33ebdf4f1c1327cc8e0df2d9f98508851bb2f5 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: 192 Depends: libc6 (>= 2.38), 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: 87736 MD5sum: f587e0871f1d2438726e9f8a5a6a70be SHA1: ad1e737db7212a55cb26273974f7caab45a1a512 SHA256: 02990595d3f4d50127292d187c72545b9863322d25729b469f9233e9f6dcd23f 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: 18669 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: 3814512 MD5sum: 4c98cb9ebd41bb0c3ac2495c11c8f007 SHA1: 886a7a46b1b905c1ee76a08c8e2c323bca3653c4 SHA256: 5609106910b745e6c751476d738c9b0ad13d8ca1fb5d446c4303f2fe862ead7c 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: 4601 Depends: libbddx0 (>= 2.16.1.0-1), libc6 (>= 2.38), libgcc-s1 (>= 3.4), 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: 2157820 MD5sum: 9607443aa45a1232683f07e88da10199 SHA1: 8c7316112a6cc2e708d3b645fd4dd9956ed182f8 SHA256: 757f2269c1d7418b57dc8fdc16b5e03bb32ebccc73c388bc055007bcb06d26d5 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: 581 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: 450788 MD5sum: 990179903a53b2088056aa0bde862800 SHA1: 41d388bb83c7de67f24939b4b71f23b37d5ec020 SHA256: 6d23757e1050821acc70d6939fe3267ec4650c31f9e1b58994e53a434b1fac3a 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: 457 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: 402254 MD5sum: fe1ec4495e7b16f25b0a0a0a500fc222 SHA1: 7cdb0be430cbc13cd9c4ba67d24e254f8b312147 SHA256: e73812c7ecce0055d910028396954e4373d1eab82c80908c209b0f8ed8ad448a 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: 40527 Depends: libbddx0 (>= 2.16.1.0), libc6 (>= 2.32), libgcc-s1 (>= 3.4), 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: 2841340 MD5sum: 4a21b27ec1b8d902883afe4f8b47d0aa SHA1: b482926b09b2e8ca5b2e671ab751dc5255f115c7 SHA256: 9d105020800e2e18dd859c78542d81a11491783b44e67ec771b6357cf1bd92a5 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: 4277 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: 1379172 MD5sum: 79b6c720152b32944a7d43a874704e3f SHA1: de9141b0894769b4c37def6764fdbbcb089c7c66 SHA256: 07733236d621148a187c43bd4f208201e7352b7e9dd1ab424b2ede328b75512f 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: 2511576 MD5sum: 563460ebdc2c872bed45b85628eb1427 SHA1: 37b1e5fc72fb2d4625e46b0f3a0a66916bf2f4f2 SHA256: f888a99bf10b2a7f5a99f047c40573697d17b89ac9b6831ad4f78c503ecd357a Section: doc Priority: optional Homepage: http://spot.lrde.epita.fr/ Description: documentation for Spot HTML and PDF documentation for Spot.