Package: libbddx-dev Source: spot Version: 2.12.2.0-1 Architecture: amd64 Maintainer: Alexandre Duret-Lutz Installed-Size: 332 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: 83916 MD5sum: 134f76dbddbe4e0fe753c597d73847df SHA1: ef3afb13d48921d691a5932d01d9a2c8c29a972c SHA256: 1102edc2fd58405a1d90cc84d151f6fefd3629b4aeebf5502126fa3f7c39e0c8 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: 133 Depends: libc6 (>= 2.29), libgcc-s1 (>= 3.0), libstdc++6 (>= 13.1) Recommends: graphviz Suggests: libbddx-dev Filename: amd64/libbddx0_2.12.2.0-1_amd64.deb Size: 56216 MD5sum: 4036b0b1d983a4c5664480575c7226b5 SHA1: de77d7827a9d73af60cb24cc3afa2b3b9324f049 SHA256: 383c9711ba900b83bfc03de505e3cc1ea40c2bae670505b6cff6f4dfb7e88a3b 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: 16706 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: 3182758 MD5sum: a8683d72bf17f25794993ed8b19bb7b2 SHA1: c49d7715ffa580bbf822fcfb79663c04ea0ef550 SHA256: a96f4aab037bc822892df5a85b617dabb5bb48fb6b20930e28967ba0d6a95add 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: 3833 Depends: libbddx0 (>= 2.12.2.0-1), libc6 (>= 2.38), libgcc-s1 (>= 3.4), libstdc++6 (>= 13.1), 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: 1808284 MD5sum: 5f6ff962fcfbe6e0902a73f73a29772a SHA1: ee179790e82b4ca61c7f579014cb20a2e229b50e SHA256: 0c52caa050d5887a2175e690aed115ffc4a759f28346df21c85a7fa230cfa5bf 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: 533 Depends: libbddx0 (>= 2.12.2.0), libc6 (>= 2.32), libgcc-s1 (>= 3.3.1), libspot0 (>= 2.12.2.0-1), libstdc++6 (>= 13.1), libspot0 (<< 2.12.2.0-1.1~) Suggests: libspot-dev Filename: amd64/libspotgen0_2.12.2.0-1_amd64.deb Size: 402020 MD5sum: a28d32f0f6dfcdd8cac018b8de946cdb SHA1: cc2fa93762aa3fae7b636fdc7321af4c5a3cb49e SHA256: 469b3f7f4bd8ac8ede8f0e85f11f062159da42e4ff49886916aa144460b59979 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.38), libgcc-s1 (>= 3.3.1), libltdl7 (>= 2.4.7), libspot0 (>= 2.12.2.0-1), libstdc++6 (>= 13.1), libspot0 (<< 2.12.2.0-1.1~) Suggests: libspot-dev Filename: amd64/libspotltsmin0_2.12.2.0-1_amd64.deb Size: 356108 MD5sum: a69e7a494f428c094295ef15b0919dc7 SHA1: bd719862916140bd5794719ef2dee2d28906e5ee SHA256: 272e5b325cdb316bf5f76b9f7f7ceeb0cbc67b2f001208eef9cb2f576f922a10 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: 16422 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 (>= 13.1), python3 (<< 3.13), python3 (>= 3.12~), 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: 1782466 MD5sum: d63d54bd111dd1301c83ce8bfc855866 SHA1: bc222509b9a73d3fa55dd7252bf7271bfccd4a76 SHA256: e44a7795bb37068d292622c699ca49bc43d6a62216a7271d9fe903c30c27e936 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.38), libgcc-s1 (>= 3.3.1), libspot0 (>= 2.12.2.0-1), libspotgen0 (>= 2.12.2.0-1), libstdc++6 (>= 13.1), 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: 1040902 MD5sum: 28fddbc9479c631b6f8e7c8723a40c50 SHA1: 49adbd05b202d07b1c909deb9d89ff45269bd6cc SHA256: f7478742f5c51f6de82254f90162c0f528848a001cae485205a209054325220c 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: 33696 Depends: libjs-mathjax, libjs-jquery, libjs-requirejs Filename: all/spot-doc_2.12.2.0-1_all.deb Size: 2322522 MD5sum: b6908c4a44aebaa04c1750fc9e8d48ae SHA1: dbd8c7311267aae6f41ade7c4045edafc8c4fad9 SHA256: 4cc8f3ab978e625056916d04d5be5bcaee9dfe4b447f332582214dfdc5ed4a05 Section: doc Priority: optional Homepage: http://spot.lrde.epita.fr/ Description: documentation for Spot HTML and PDF documentation for Spot.