Package: libbddx-dev Source: spot Version: 2.12.2.0-1 Architecture: amd64 Maintainer: Alexandre Duret-Lutz Installed-Size: 337 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: 84652 MD5sum: eb21bdef970fc1918c4a2f194e10a7eb SHA1: 08d84e5e732200bbab136a5a20e1843f15bad4ed SHA256: 9a9d14167cc6e3473c817707e2dbb581d252d9f4b5c5d25ed8ec2d79aa25efc2 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: 137 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: 58420 MD5sum: 5f5e08f9fee39baaf5c79c3218905515 SHA1: cbe1e74c9d66c9443a0071c6b7fa34880c0d6761 SHA256: a2a57e783cc04b00b75b09415ac546c909f954acec0d1ff3894833b6b9b75fe0 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: 16580 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: 3132076 MD5sum: 856a6fbef32df9aa07d59edf77a0afd9 SHA1: 97fd96997ad6eba29af72d93397b62e43d6a6ee3 SHA256: 3f98c9d371f27e48e7717e05bcf054b0a0d8eeb2d92ea4cc512f847f25c9ea75 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: 3905 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: 1827768 MD5sum: d6f12765d1a370cada09893d295f51d2 SHA1: e125b268c232b63061a61b35544c16c61c201f6d SHA256: f26395cd719e4983d8daf5acda3a964eb1d445d5e8b7314863638ff594401b38 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: 541 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: 405656 MD5sum: 719078456d2ca6146aac8c14862debb8 SHA1: 0f56300c49ebb3e0c8600916684b0dbb3ba944c3 SHA256: 8a69f93d57616865c3e796a92f26e252ab00195b5692e89d4aeb58c23c2e7a1d 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: 409 Depends: libbddx0 (>= 2.12.2.0), libc6 (>= 2.33), libgcc-s1 (>= 3.3.1), libltdl7 (>= 2.4.7), 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: 356732 MD5sum: e7213da59adf209ffd06e1cd6dff058e SHA1: fadae9c71a6b969d2389923345afbe541f534865 SHA256: 1c68f38c295f6839cd0d6f0ec10e1c345ce1c5caf67c96907dae68d95daa4f61 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: 16426 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.12), python3 (>= 3.11~), 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: 1790402 MD5sum: eb8ae6727bb90c51cc8d33f112253c82 SHA1: 2e688a56f84c9bd19fa4ec9152335d7df10174e2 SHA256: fbbfd141b2e425f4b8ba3bfc28dc9a3d6116f9bcacbc21529fcb6768af7efcd7 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: 2905 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: 1047286 MD5sum: 297856ec2a1348118e7912f0cec91230 SHA1: 793b85d3426bebdff5df4e4c4201c474694ca02f SHA256: bec8b07f3db8a8650a00d6af5ccb089e1824bc3810dd1bb269ad0417923638ce 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: 30049 Depends: libjs-mathjax, libjs-jquery, libjs-requirejs Filename: all/spot-doc_2.12.2.0-1_all.deb Size: 2198848 MD5sum: 64dad2ae0e0883183137bf3dce4c0c1f SHA1: dc94b9c131416839b7f4a6bb61d18ec1e671a7e1 SHA256: 7d90705ca882c01c228b7f6757c9a5cb36f46b946115f6ade4c3dec3a7b8932f Section: doc Priority: optional Homepage: http://spot.lrde.epita.fr/ Description: documentation for Spot HTML and PDF documentation for Spot.