Package: libbddx-dev Source: spot Version: 2.12.1.0-1 Architecture: amd64 Maintainer: Alexandre Duret-Lutz Installed-Size: 337 Depends: libbddx0 (>= 2.12.1.0-1), libbddx0 (<< 2.12.1.0-1.1~) Filename: amd64/libbddx-dev_2.12.1.0-1_amd64.deb Size: 84642 MD5sum: 0f99e7ab06e6ff9f69c1acb05a820e60 SHA1: 87e07f7d7171fa97503560e78cecf528a376a8b1 SHA256: aff2eb648516df4b06ef1b7288ca853b675b82a3be0bf83dc7914184f12cd849 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.1.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.1.0-1_amd64.deb Size: 58468 MD5sum: 6007a0ac9263809ddb3e24991bda73c5 SHA1: 040bf29ba95bd3c9db104e9898c47714265ab7fc SHA256: 339ca64b0e9c073a85a6dcfa8aa462a7c0b033fc75fa5e29e5594cd08eae56c3 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.1.0-1 Architecture: amd64 Maintainer: Alexandre Duret-Lutz Installed-Size: 16576 Depends: libspot0 (>= 2.12.1.0-1), libspot0 (<< 2.12.1.0-1.1~), libspotltsmin0 (>= 2.12.1.0-1), libspotltsmin0 (<< 2.12.1.0-1.1~), libbddx-dev Suggests: spot-doc Filename: amd64/libspot-dev_2.12.1.0-1_amd64.deb Size: 3134810 MD5sum: 1d61d1daad6637849a9cb879c1ea5d55 SHA1: d05ed0e9e52062d4726cabf9618da9f390500f2a SHA256: 29ef3abd970cd38c10fc62bb877c4779208ade53922285fce24eae4941e6ef9a 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.1.0-1 Architecture: amd64 Maintainer: Alexandre Duret-Lutz Installed-Size: 3904 Depends: libbddx0 (>= 2.12.1.0-1), libc6 (>= 2.33), libgcc-s1 (>= 3.4), libstdc++6 (>= 11), libbddx0 (<< 2.12.1.0-1.1~) Recommends: graphviz Suggests: libspot-dev, spot-doc, python3-spot Filename: amd64/libspot0_2.12.1.0-1_amd64.deb Size: 1827458 MD5sum: 43577a303d497d5888006c6f869ca0f5 SHA1: 7775216b92dcd79aee4fcd2bc6224a510017222d SHA256: 50647db55b804dd5ac2d2ad168c710b5156fe2c26c7c751680764cf16bdc2ca5 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.1.0-1 Architecture: amd64 Maintainer: Alexandre Duret-Lutz Installed-Size: 540 Depends: libbddx0 (>= 2.12.1.0), libc6 (>= 2.32), libgcc-s1 (>= 3.3.1), libspot0 (>= 2.12.1.0-1), libstdc++6 (>= 11), libspot0 (<< 2.12.1.0-1.1~) Suggests: libspot-dev Filename: amd64/libspotgen0_2.12.1.0-1_amd64.deb Size: 405316 MD5sum: c814fee5ffdb9d1c3209fc6a4864364b SHA1: c4acadd85c891d36f455dba8332ed1681683e57e SHA256: 700335cd772b529c10dab9ed24a7132805e4c06bdd23c497d481ebcb1d3feba4 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.1.0-1 Architecture: amd64 Maintainer: Alexandre Duret-Lutz Installed-Size: 408 Depends: libbddx0 (>= 2.12.1.0), libc6 (>= 2.33), libgcc-s1 (>= 3.3.1), libltdl7 (>= 2.4.7), libspot0 (>= 2.12.1.0-1), libstdc++6 (>= 11), libspot0 (<< 2.12.1.0-1.1~) Suggests: libspot-dev Filename: amd64/libspotltsmin0_2.12.1.0-1_amd64.deb Size: 356344 MD5sum: f0949481ed66ce7ff2722074eea023b6 SHA1: 8e5108daca276bed4c735522555c3a086a9605c3 SHA256: fa06ebc2a6246eb559c6497df6991ee7ed3072190bff3d025987afb9888f759e 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.1.0-1 Architecture: amd64 Maintainer: Alexandre Duret-Lutz Installed-Size: 16423 Depends: libbddx0 (>= 2.12.1.0), libc6 (>= 2.32), libgcc-s1 (>= 3.4), libspot0 (>= 2.12.1.0-1), libspotgen0 (>= 2.12.1.0), libspotltsmin0 (>= 2.12.1.0-1), libstdc++6 (>= 11), python3 (<< 3.11), python3 (>= 3.10~), python3:any, libspot0 (<< 2.12.1.0-1.1~), libspotltsmin0 (<< 2.12.1.0-1.1~) Suggests: ipython3 Filename: amd64/python3-spot_2.12.1.0-1_amd64.deb Size: 1789982 MD5sum: e0cb045a5c9b7e11b9fd42cf6b38d1b4 SHA1: 15f5d48ab9267769b2c01cc44d5dab1407413cb5 SHA256: 58c9c2ef60ee9ccd31f3810598c382e5b8e76fe73d0d1134009530e731862ffe 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.1.0-1 Architecture: amd64 Maintainer: Alexandre Duret-Lutz Installed-Size: 2902 Depends: libbddx0 (>= 2.12.1.0), libc6 (>= 2.34), libgcc-s1 (>= 3.3.1), libspot0 (>= 2.12.1.0-1), libspotgen0 (>= 2.12.1.0-1), libstdc++6 (>= 11), libspot0 (<< 2.12.1.0-1.1~), libspotgen0 (<< 2.12.1.0-1.1~) Recommends: graphviz Suggests: libspot-dev, spot-doc, python3-spot Filename: amd64/spot_2.12.1.0-1_amd64.deb Size: 1046918 MD5sum: fb24d3a776044b96415c55ddcd4c596a SHA1: bd9b74ec07194e52e258a373201f951e178178ff SHA256: 1b2bf773c8fe5171647d99eefa54233aa82460645c3eccfc7385587619c5635c 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.1.0-1 Architecture: all Maintainer: Alexandre Duret-Lutz Installed-Size: 29443 Depends: libjs-mathjax, libjs-jquery, libjs-requirejs Filename: all/spot-doc_2.12.1.0-1_all.deb Size: 2172530 MD5sum: 5c5213a0c8526ba8921511f918e78555 SHA1: e9d70348ce52417ec0d3b4662bc9f63332ca7d88 SHA256: 587eff1ec11ad759068d40f029395f87ef8be1f39e77b62e8594c88d9b9a664e Section: doc Priority: optional Homepage: http://spot.lrde.epita.fr/ Description: documentation for Spot HTML and PDF documentation for Spot.