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: 102786 MD5sum: e8e1a0158fc1246c7aeeace51bbdd565 SHA1: 8135918deab765534d6bf6b7c4a107b0a944b2e9 SHA256: 28df136f2d23d9c5c7e39e4667b40132a5eef23a4cfb272ffcbfd742c0b69f7d 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: 77126 MD5sum: 00fc6e89fdf8a6928cc9f1d65d3bdc6e SHA1: 6193cfe7ce6449b3ddf8e5fb709561c335a13bff SHA256: 38d32f25a921772e3eb82eae6198c20748f810b1163d44b7c6b453ca42a869a0 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: 3390624 MD5sum: f26896d522ff92df669f3a30b680f915 SHA1: c00f5b9d1b315434e8bb315a13832b70de815f3e SHA256: 58fec0f542fecba0b5ae8fd2274fda55f60f047b63dc3abc120c3a51845a95a5 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: 1984694 MD5sum: 39511198edb9ef597b7394e251fd74e8 SHA1: 07b2515527f0afe1fabcbe68ebe0fb1e5ec88870 SHA256: 4df1e384ca28fb92ae72be7622ce44281c60ee93a7465d25a0c7067d55a564e6 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: 439222 MD5sum: 634252b8d4f0e4909683e63f07ef1fd8 SHA1: e653363c53f2f0fc281e587911bb20d297d26507 SHA256: e7c2027efdee1e6e0c3a9011a7199b344b80c55e76cf5cb743dc1eaa0ed73558 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: 374858 MD5sum: 870a469553af03f51f6e5237ffce6648 SHA1: ad18d7d76186e4d40091cee967449e8ef1cc1e1c SHA256: 0863377a587169b78403cc8475e21dd06eb1450cbd325bca427a7b57964f678c 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: 41598 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.12), python3 (>= 3.11~), 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: 2329012 MD5sum: 4d6d5dee5d8ec3f8723cbf3dfd8b22b6 SHA1: 285c33349f19f690582b12893f3d751b10d6a7fe SHA256: e4b825475f90585cf4ed3761cc51927c0618f75040030365dcc2ae8398c58192 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: 1235110 MD5sum: 16292e8fe1107e82f74276caad13a0f3 SHA1: 571ca2f8e7d51e009658f4537686c54ed92ce980 SHA256: 83142e0664f6258c35311e4b7e4d63e4a90424260c586ff5a55e9b1eb8a3dcf9 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: 31876 Depends: libjs-mathjax, libjs-jquery, libjs-requirejs Filename: all/spot-doc_2.14.5.0-1_all.deb Size: 2330760 MD5sum: a58a75dc887a5d9c43e7606920e28087 SHA1: 52509127868e2e4c3df45ba57264ac0624d2d03c SHA256: 010963b54aa743dcd5623def12aa522f6571c6c2432efbf7904988bcdaedb200 Section: doc Priority: optional Homepage: http://spot.lrde.epita.fr/ Description: documentation for Spot HTML and PDF documentation for Spot.