Package: libbddx-dev Source: spot Version: 2.14.2.0-1 Architecture: amd64 Maintainer: Alexandre Duret-Lutz Installed-Size: 382 Depends: libbddx0 (>= 2.14.2.0-1), libbddx0 (<< 2.14.2.0-1.1~) Filename: amd64/libbddx-dev_2.14.2.0-1_amd64.deb Size: 98912 MD5sum: c181627cf485b8652a9bee4118177767 SHA1: e34c4e56373148fe3cca3dd309ff05392ae9638d SHA256: 823be8809da60adc48c7421ee31447ef026d9b8c9405e2a0bd632b83986d69d2 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.2.0-1 Architecture: amd64 Maintainer: Alexandre Duret-Lutz Installed-Size: 159 Depends: libc6 (>= 2.29), libgcc-s1 (>= 3.3.1), libstdc++6 (>= 13.1) Recommends: graphviz Suggests: libbddx-dev Filename: amd64/libbddx0_2.14.2.0-1_amd64.deb Size: 71164 MD5sum: f5dcd8c276f56654fa90878c87772812 SHA1: 58c20d182022ff7c930f01cd09a8002bee412cc4 SHA256: c862b77238ba2a6dec76a170fb3a41412f9ca175ecb57b9021d7842a67495563 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.2.0-1 Architecture: amd64 Maintainer: Alexandre Duret-Lutz Installed-Size: 18043 Depends: libspot0 (>= 2.14.2.0-1), libspot0 (<< 2.14.2.0-1.1~), libspotltsmin0 (>= 2.14.2.0-1), libspotltsmin0 (<< 2.14.2.0-1.1~), libbddx-dev Suggests: spot-doc Filename: amd64/libspot-dev_2.14.2.0-1_amd64.deb Size: 3544858 MD5sum: 16254121b6104e2692d11c580c621abf SHA1: a8dcfbb9a81e59ecd7d9dd7746ddaa7bf9aa6b61 SHA256: aa64f0e7e678cac96b55f6d7aeb42e37b6a20bdd6dc53f1b2321cba12806730b 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.2.0-1 Architecture: amd64 Maintainer: Alexandre Duret-Lutz Installed-Size: 4272 Depends: libbddx0 (>= 2.14.2.0-1), libc6 (>= 2.38), libgcc-s1 (>= 3.3.1), libstdc++6 (>= 14), libbddx0 (<< 2.14.2.0-1.1~) Recommends: graphviz Suggests: libspot-dev, spot-doc, python3-spot Filename: amd64/libspot0_2.14.2.0-1_amd64.deb Size: 1992394 MD5sum: ffb5b0dbb1217d0838132c6a0d36696b SHA1: a78bca4535a2e426674ae8ad4adcf3189bb6a594 SHA256: 0050a91b56483ef67f464488339d0e13efe08b474a6e0dc32c5e54d661b6f9f2 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.2.0-1 Architecture: amd64 Maintainer: Alexandre Duret-Lutz Installed-Size: 584 Depends: libbddx0 (>= 2.14.2.0), libc6 (>= 2.32), libgcc-s1 (>= 3.3.1), libspot0 (>= 2.14.2.0-1), libstdc++6 (>= 13.1), libspot0 (<< 2.14.2.0-1.1~) Suggests: libspot-dev Filename: amd64/libspotgen0_2.14.2.0-1_amd64.deb Size: 433988 MD5sum: 3f027ba3d932c876cd7d4c6be7b24030 SHA1: 782fee2bc6f03a77dc60eba830078b985fd7d571 SHA256: dd2296911a0ae38eea4b74933965e1443ccc06bc8a3f799216004de645e75b8a 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.2.0-1 Architecture: amd64 Maintainer: Alexandre Duret-Lutz Installed-Size: 424 Depends: libbddx0 (>= 2.14.2.0), libc6 (>= 2.38), libgcc-s1 (>= 3.3.1), libltdl7 (>= 2.4.7), libspot0 (>= 2.14.2.0-1), libstdc++6 (>= 13.1), libspot0 (<< 2.14.2.0-1.1~) Suggests: libspot-dev Filename: amd64/libspotltsmin0_2.14.2.0-1_amd64.deb Size: 371808 MD5sum: 5763007fb43d3bdc9ca0b6eb5475c315 SHA1: 34ebc0dd0132ebc261aebff2561ec54098d3545d SHA256: eae1b5c51a102c1260a1ae98dcd354d7ee941cb73f36c767786efaab371fce22 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.2.0-1 Architecture: amd64 Maintainer: Alexandre Duret-Lutz Installed-Size: 41845 Depends: libbddx0 (>= 2.14.2.0), libc6 (>= 2.32), libgcc-s1 (>= 3.3.1), libspot0 (>= 2.14.2.0-1), libspotgen0 (>= 2.14.2.0), libspotltsmin0 (>= 2.14.2.0-1), libstdc++6 (>= 13.1), python3 (<< 3.13), python3 (>= 3.12~), python3:any, libspot0 (<< 2.14.2.0-1.1~), libspotltsmin0 (<< 2.14.2.0-1.1~) Suggests: ipython3 Filename: amd64/python3-spot_2.14.2.0-1_amd64.deb Size: 2323736 MD5sum: 0ecff9cf50476326d487f4a91fe22b13 SHA1: 908266ccabfa29358aa5936fc255cb96d746889d SHA256: 889f65a1e15abdb1945467bd2a90b9483aadf4ac44139caaa554fa1fbb13ad26 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.2.0-1 Architecture: amd64 Maintainer: Alexandre Duret-Lutz Installed-Size: 3802 Depends: libbddx0 (>= 2.14.2.0), libc6 (>= 2.38), libgcc-s1 (>= 3.3.1), libspot0 (>= 2.14.2.0-1), libspotgen0 (>= 2.14.2.0-1), libstdc++6 (>= 14), libspot0 (<< 2.14.2.0-1.1~), libspotgen0 (<< 2.14.2.0-1.1~) Recommends: graphviz Suggests: libspot-dev, spot-doc, python3-spot Filename: amd64/spot_2.14.2.0-1_amd64.deb Size: 1236578 MD5sum: b2824a8a1ccbcc55ab3aa2f268ab3cda SHA1: 31e5f05aacc7158964b08281f4a7b10d75541d5f SHA256: fe523cd0f895c2548724934fb0caf73625d159f12cf62c2d1b26710fb73b79ae 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.2.0-1 Architecture: all Maintainer: Alexandre Duret-Lutz Installed-Size: 35310 Depends: libjs-mathjax, libjs-jquery, libjs-requirejs Filename: all/spot-doc_2.14.2.0-1_all.deb Size: 2443502 MD5sum: 4c1248983fef7e8fc9d0ac02f0d265b4 SHA1: b7b6f8784bf95df2dabd871e15642370acbe2ff9 SHA256: 519ee822da3e4613fa7177dee24e0ed8e64245dbf0dcf3b8fa8f7e0e2aa634d5 Section: doc Priority: optional Homepage: http://spot.lrde.epita.fr/ Description: documentation for Spot HTML and PDF documentation for Spot.