Package: libbddx-dev Source: spot Version: 2.12.0-1 Architecture: amd64 Maintainer: Alexandre Duret-Lutz Installed-Size: 337 Depends: libbddx0 (>= 2.12.0-1), libbddx0 (<< 2.12.0-1.1~) Filename: amd64/libbddx-dev_2.12.0-1_amd64.deb Size: 84636 MD5sum: 6b5754d376c4a9caf6737d6c73f528d3 SHA1: 0f656b003fa58c4023ae0f0d6c30e4171d449786 SHA256: f3fc4035b528467b1a65dfc3c6b0e68c204cfa837533e29768cc058d51d49314 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: 137 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: 58462 MD5sum: f1839b045b5587cabc07a4192135ebe5 SHA1: 4b8e8c1d6bd8472a846935306c8d1ecf88ac07e8 SHA256: a0edccbcbf7c561990037b83b8ce13dbf37c6c1caa15491256807a7d7a5415ac 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: 16573 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: 3132312 MD5sum: 3618dd28aef8f92a4f0196894092983c SHA1: 2084fa561ded69188e76ea30fb0c727116cb705e SHA256: ca7777e8aac17c9318d585830c88a77fadff9235a1cb46ff7cc3fad55fadc323 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: 3899 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: 1825832 MD5sum: 91adecbc398e3218f9fed5188d31252a SHA1: c942871f67f505b1483158f9c2062e4f95ee7c13 SHA256: b0037091ae0dfec14e46c8b7d4ac9b54ca4397f250e07a6531134ecd410be10d 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: 539 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: 404212 MD5sum: 35d1f5684de5a57fca520be0b3bbea8e SHA1: 92a4b59258ac709d14fe656f9fc242262865ae15 SHA256: 5121bd6191e1cc0f3e2984f0290d513de0d401d3f027886ff4d0919b8e058115 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: 407 Depends: libbddx0 (>= 2.12.0), libc6 (>= 2.33), libgcc-s1 (>= 3.3.1), libltdl7 (>= 2.4.7), 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: 355224 MD5sum: 81594d90fe49b070ea514645766b806d SHA1: f75667d41237a788ed72f3452354fb8157757f0c SHA256: 5798968176747080c141116dbead5d0db0c81e8751e9e20c97dd716c2514393c 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: 16422 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: 1789862 MD5sum: 1f1940311758be6c61390e352d64baad SHA1: 569240a1e18d42be6079461d7f2d623c7df3ec20 SHA256: e033cfdbda676827fb0cde5edcd093d35436a0ec3191c6175276dd408dce91dd 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: 2901 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: 1045118 MD5sum: fde2849c05f4b28f000a9d3d264c0ad5 SHA1: aeea384fcf15bc0cbe96820cc6fea4fa00197302 SHA256: d554bf66bee3526d6a0685bdb8ac0463b0b1861d7cfa3330d377d09f6f2b5faa 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: 2171806 MD5sum: 3b70e5d05628ddef7bb33561285c1961 SHA1: a737b0ec88ea082fedf2688f11f49c0401364b25 SHA256: 187c98961f2974b7fff6d5dc9be0a3182b3b455aa3dc5593ae01d43e75dcc8f9 Section: doc Priority: optional Homepage: http://spot.lrde.epita.fr/ Description: documentation for Spot HTML and PDF documentation for Spot.