Package: libbddx-dev Source: spot Version: 2.12.2.0-1 Architecture: amd64 Maintainer: Alexandre Duret-Lutz Installed-Size: 330 Depends: libbddx0 (>= 2.12.2.0-1), libbddx0 (<< 2.12.2.0-1.1~) Filename: amd64/libbddx-dev_2.12.2.0-1_amd64.deb Size: 83936 MD5sum: 00b52e3d9c7f36e6a82398816e117d61 SHA1: f00a8e5381b90ea0a63d1544a97d42046d98c002 SHA256: 8a90e422ff2f7c8e3eb2fc10df6cccd31395963852f74363712fd3133789a431 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.2.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.2.0-1_amd64.deb Size: 64496 MD5sum: 1bae1cb86dc41b1393e53f8e5ef293d6 SHA1: 4c37d336c57483bd363b2da4c71b53a0d704bf09 SHA256: 4c1ba2ac23e6f3fbedc22260357782f799beef1a1b94a37e6d2dfaa88f2a7a46 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.2.0-1 Architecture: amd64 Maintainer: Alexandre Duret-Lutz Installed-Size: 16374 Depends: libspot0 (>= 2.12.2.0-1), libspot0 (<< 2.12.2.0-1.1~), libspotltsmin0 (>= 2.12.2.0-1), libspotltsmin0 (<< 2.12.2.0-1.1~), libbddx-dev Suggests: spot-doc Filename: amd64/libspot-dev_2.12.2.0-1_amd64.deb Size: 3108348 MD5sum: 1e0a92bb03b5a07bc9c9c7f4637d0ecb SHA1: 67d42d9785b794d24dedfdaf4efb568452f9e9cf SHA256: d0c179fafb7647a23dba09d68f14d0fda083314bb31804c03a839f3f41b9e619 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.2.0-1 Architecture: amd64 Maintainer: Alexandre Duret-Lutz Installed-Size: 4429 Depends: libbddx0 (>= 2.12.2.0-1), libc6 (>= 2.33), libgcc-s1 (>= 3.4), libstdc++6 (>= 11), libbddx0 (<< 2.12.2.0-1.1~) Recommends: graphviz Suggests: libspot-dev, spot-doc, python3-spot Filename: amd64/libspot0_2.12.2.0-1_amd64.deb Size: 2214546 MD5sum: 5df443327622f738df0eaf0d4b69fc2d SHA1: cf319a847324b2894dcdf3663b257e213751f456 SHA256: 9a639168aa426e1b77d05928b22f335e676dd07d0e8c407f84367575bbdf3524 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.2.0-1 Architecture: amd64 Maintainer: Alexandre Duret-Lutz Installed-Size: 537 Depends: libbddx0 (>= 2.12.2.0), libc6 (>= 2.32), libgcc-s1 (>= 3.3.1), libspot0 (>= 2.12.2.0-1), libstdc++6 (>= 11), libspot0 (<< 2.12.2.0-1.1~) Suggests: libspot-dev Filename: amd64/libspotgen0_2.12.2.0-1_amd64.deb Size: 410274 MD5sum: c46e43099316519334ee0787461b58e3 SHA1: f9293d1286eed89ca0d603654dc1fbed6bbdc9a4 SHA256: 9dc0c86358106c5a969bb6e94e80088e07aab8853b3f68e8fef1b2c41191da12 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.2.0-1 Architecture: amd64 Maintainer: Alexandre Duret-Lutz Installed-Size: 413 Depends: libbddx0 (>= 2.12.2.0), libc6 (>= 2.33), libgcc-s1 (>= 3.3.1), libltdl7 (>= 2.4.6), libspot0 (>= 2.12.2.0-1), libstdc++6 (>= 11), libspot0 (<< 2.12.2.0-1.1~) Suggests: libspot-dev Filename: amd64/libspotltsmin0_2.12.2.0-1_amd64.deb Size: 359172 MD5sum: 81e8f68308ef804830a976cde8ec1ba9 SHA1: eee32747e6732d3f8de6539095fd5dd1a2127f8d SHA256: 582bd73d12524df8e9bd9061bb73f423ea1dce63b9e6b0bccc7705c920fc6e40 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.2.0-1 Architecture: amd64 Maintainer: Alexandre Duret-Lutz Installed-Size: 23986 Depends: libbddx0 (>= 2.12.2.0), libc6 (>= 2.32), libgcc-s1 (>= 3.4), libspot0 (>= 2.12.2.0-1), libspotgen0 (>= 2.12.2.0), libspotltsmin0 (>= 2.12.2.0-1), libstdc++6 (>= 11), python3 (<< 3.11), python3 (>= 3.10~), python3:any, libspot0 (<< 2.12.2.0-1.1~), libspotltsmin0 (<< 2.12.2.0-1.1~) Suggests: ipython3 Filename: amd64/python3-spot_2.12.2.0-1_amd64.deb Size: 1901222 MD5sum: 5ca2a34c5c978301d11843726f5f4aa9 SHA1: 3ddb4a26b32adc39adb9702aa33c917a4e434fdb SHA256: 69780b44deb675a4e89c1beec9922917857de909180c282f98585fd7782aba94 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.2.0-1 Architecture: amd64 Maintainer: Alexandre Duret-Lutz Installed-Size: 2933 Depends: libbddx0 (>= 2.12.2.0), libc6 (>= 2.34), libgcc-s1 (>= 3.3.1), libspot0 (>= 2.12.2.0-1), libspotgen0 (>= 2.12.2.0-1), libstdc++6 (>= 11), libspot0 (<< 2.12.2.0-1.1~), libspotgen0 (<< 2.12.2.0-1.1~) Recommends: graphviz Suggests: libspot-dev, spot-doc, python3-spot Filename: amd64/spot_2.12.2.0-1_amd64.deb Size: 1098176 MD5sum: 1f9f5828b4d4ca50c86426df893b804f SHA1: f1c98881df59a940b77d5f517a88a299b6f1d958 SHA256: c771fa12d0fa84c31d177fa2cec78b3efbf278ce1bc624954c9cfc7109c4ae80 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.2.0-1 Architecture: all Maintainer: Alexandre Duret-Lutz Installed-Size: 29444 Depends: libjs-mathjax, libjs-jquery, libjs-requirejs Filename: all/spot-doc_2.12.2.0-1_all.deb Size: 2177370 MD5sum: 78f26e0c818afc094e4537ec4eed270b SHA1: a8235203498a8efffc67b9b40138cc573ec18232 SHA256: 53119948672a070b1bd508992824b363b4bcc319029d057b2df018c142e80008 Section: doc Priority: optional Homepage: http://spot.lrde.epita.fr/ Description: documentation for Spot HTML and PDF documentation for Spot.