Package: libbddx-dev Source: spot Version: 2.14.2.0-1 Architecture: amd64 Maintainer: Alexandre Duret-Lutz Installed-Size: 401 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: 102460 MD5sum: 277f9c52398b0d29dfdbb7761763b52a SHA1: bc7165de2ab5f7878120ecea27ba432b54c7738c SHA256: 38e8f32cf8fdad054e063095ccd6731ae057ed73280e2e8be7be48e98f1b5a8f 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: 179 Depends: libc6 (>= 2.29), libgcc-s1 (>= 3.3.1), libstdc++6 (>= 5) Recommends: graphviz Suggests: libbddx-dev Filename: amd64/libbddx0_2.14.2.0-1_amd64.deb Size: 76784 MD5sum: 022a67038adc102c5b4e67559e866dd1 SHA1: b9012e62f344458026196b984679be18e47b3359 SHA256: 0727d78f50f77802a87d02b7ef279ef065692045ff57a3cbbc8ec1627f221239 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: 17892 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: 3387242 MD5sum: 056de89d00fda25ec5aec1054fb2c68c SHA1: 62f2b3658f337b80f843b82d05e5fa9c70b62069 SHA256: 46f0dd1b28c929296b343bc5f1aac567c56d936f3b1846c32ef41f37a66a04f5 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: 4248 Depends: libbddx0 (>= 2.14.2.0-1), libc6 (>= 2.33), libgcc-s1 (>= 3.4), libstdc++6 (>= 11), 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: 1980796 MD5sum: 0f44f9836724490ae62a5cb00ab78db2 SHA1: 05c647ff7c9df68e4c74940c9fecd37ad50ea754 SHA256: 166a9fc976caaf624bce080d7a13bd52d1dead3b3e2bb8186a66de8fc8d9fd03 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: 596 Depends: libbddx0 (>= 2.14.2.0), libc6 (>= 2.32), libgcc-s1 (>= 3.3.1), libspot0 (>= 2.14.2.0-1), libstdc++6 (>= 11), libspot0 (<< 2.14.2.0-1.1~) Suggests: libspot-dev Filename: amd64/libspotgen0_2.14.2.0-1_amd64.deb Size: 436932 MD5sum: ecaf6516b2d24ca19c90a860b85a506c SHA1: 64658514591aedf623eb44f7af2421e06f8294ba SHA256: d8e4e25e5d97d0e6212ec47817b04f9dd8735b129ee8a4bcfee9ded22fa4b320 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.33), libgcc-s1 (>= 3.3.1), libltdl7 (>= 2.4.7), libspot0 (>= 2.14.2.0-1), libstdc++6 (>= 11), libspot0 (<< 2.14.2.0-1.1~) Suggests: libspot-dev Filename: amd64/libspotltsmin0_2.14.2.0-1_amd64.deb Size: 372532 MD5sum: ee75a952ccdbabe5c7f070ecb1a75974 SHA1: 705ef00b6ebe4fd4db1798cf3d0e2523c6c32509 SHA256: 24ab8e76ee90661780a9f9b458f6562718940871b4ad5bd16abc7d8684f48c27 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: 41501 Depends: libbddx0 (>= 2.14.2.0), libc6 (>= 2.32), libgcc-s1 (>= 3.4), libspot0 (>= 2.14.2.0-1), libspotgen0 (>= 2.14.2.0), libspotltsmin0 (>= 2.14.2.0-1), libstdc++6 (>= 11), python3 (<< 3.12), python3 (>= 3.11~), 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: 2320626 MD5sum: 55bc5e1a54b7cc9de3b532bd43ca2a51 SHA1: e9f9fe7cab31ec0f3b64904860b7c1814309fe64 SHA256: a14ef5e8c7be699a72488c2dd3c8c8e7151140efd037ccb867882bc2a37c3fcc 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: 3778 Depends: libbddx0 (>= 2.14.2.0), libc6 (>= 2.34), libgcc-s1 (>= 3.3.1), libspot0 (>= 2.14.2.0-1), libspotgen0 (>= 2.14.2.0-1), libstdc++6 (>= 11), 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: 1231040 MD5sum: 9e1e4e36369acbf9a9cac577e5290f51 SHA1: a7c98e581ee88906bbce0f0c141913a06f2820a7 SHA256: 1716f041c8896e319eed53b60131d427976ebf3220db04880f28019a5429e8ae 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: 31544 Depends: libjs-mathjax, libjs-jquery, libjs-requirejs Filename: all/spot-doc_2.14.2.0-1_all.deb Size: 2319342 MD5sum: 89f09800ec0d66a0e4d9410ab2893b66 SHA1: 94ce4cf6915b06ee1015c3fc619f5f104163ea97 SHA256: 665cffabb5495bfd8b0181288d0cd9873a8b4f4ddb84a77b4beb2f3d7d4aec09 Section: doc Priority: optional Homepage: http://spot.lrde.epita.fr/ Description: documentation for Spot HTML and PDF documentation for Spot.