Package: libbddx-dev Source: spot Version: 2.15.1.0-1 Architecture: amd64 Maintainer: Alexandre Duret-Lutz Installed-Size: 431 Depends: libbddx0 (>= 2.15.1.0-1), libbddx0 (<< 2.15.1.0-1.1~) Filename: amd64/libbddx-dev_2.15.1.0-1_amd64.deb Size: 110098 MD5sum: f6e475fb6a1dbafb68ac9ca4d4c783d4 SHA1: 0d692fbbdd06bb1517efa03811f0b6c7b720827c SHA256: d6e3dd2751a1b2f6d39ebfdc9f7eb4db2abd4b563dcbc9b1865117f537f49dec 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.15.1.0-1 Architecture: amd64 Maintainer: Alexandre Duret-Lutz Installed-Size: 188 Depends: libc6 (>= 2.29), libgcc-s1 (>= 3.3.1), libstdc++6 (>= 11) Recommends: graphviz Suggests: libbddx-dev Filename: amd64/libbddx0_2.15.1.0-1_amd64.deb Size: 81576 MD5sum: 3686c8dfc8a30c9fd4f7f08254b9f327 SHA1: 3372115296321a6235b3f29915dde72fcc4a66d0 SHA256: d60e3e4c74075240e9c3240376d4489ef4bd9a7e4b4e8e787a108a3ea8facf97 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.15.1.0-1 Architecture: amd64 Maintainer: Alexandre Duret-Lutz Installed-Size: 17625 Depends: libspot0 (>= 2.15.1.0-1), libspot0 (<< 2.15.1.0-1.1~), libspotltsmin0 (>= 2.15.1.0-1), libspotltsmin0 (<< 2.15.1.0-1.1~), libbddx-dev Suggests: spot-doc Filename: amd64/libspot-dev_2.15.1.0-1_amd64.deb Size: 3464328 MD5sum: 6e139d199e89fcb010e6aebbc8886946 SHA1: 13be42c5b6ac150704b5db7e549eaf4b321a43e3 SHA256: a8d04b9d1cac3b89ffc70880fa2c405dd7ccbb900f04f2aaea7407207a9a9a8c 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.15.1.0-1 Architecture: amd64 Maintainer: Alexandre Duret-Lutz Installed-Size: 4207 Depends: libbddx0 (>= 2.15.1.0-1), libc6 (>= 2.33), libgcc-s1 (>= 3.4), libstdc++6 (>= 11), libbddx0 (<< 2.15.1.0-1.1~) Recommends: graphviz Suggests: libspot-dev, spot-doc, python3-spot Filename: amd64/libspot0_2.15.1.0-1_amd64.deb Size: 1979704 MD5sum: 8a1871d179da115d3749e9de0ee5ab1a SHA1: c63dd11e69ccadd4c79291e7b484ac8e8a8e5ebb SHA256: dffd394764ab1d564721128544838337b7435b5c2645fb93329fdb781b1d3bab 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.15.1.0-1 Architecture: amd64 Maintainer: Alexandre Duret-Lutz Installed-Size: 567 Depends: libbddx0 (>= 2.15.1.0), libc6 (>= 2.32), libgcc-s1 (>= 3.3.1), libspot0 (>= 2.15.1.0-1), libstdc++6 (>= 11), libspot0 (<< 2.15.1.0-1.1~) Suggests: libspot-dev Filename: amd64/libspotgen0_2.15.1.0-1_amd64.deb Size: 436824 MD5sum: 788d6e36c62190bea6cb2d6490a4a5f4 SHA1: fdd8dceeac747bc9f4bd44f27e5b0dc228b449c2 SHA256: 3892a7cf6feb6dd5622257eae5a2e91b5dd248a7759a8c50d962aa2b053c9f5c 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.15.1.0-1 Architecture: amd64 Maintainer: Alexandre Duret-Lutz Installed-Size: 439 Depends: libbddx0 (>= 2.15.1.0), libc6 (>= 2.33), libgcc-s1 (>= 3.3.1), libltdl7 (>= 2.4.7), libspot0 (>= 2.15.1.0-1), libstdc++6 (>= 11), libspot0 (<< 2.15.1.0-1.1~) Suggests: libspot-dev Filename: amd64/libspotltsmin0_2.15.1.0-1_amd64.deb Size: 385226 MD5sum: f3dffca35224847944f5ce7a0176a8fa SHA1: b90c8fa543a85f9dc96cc5226347f0a2b26fc6f6 SHA256: 1d60105d2b08e8b738e83b39efd302ae4129d947c2040f3c91b5e4e365bdffe1 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.15.1.0-1 Architecture: amd64 Maintainer: Alexandre Duret-Lutz Installed-Size: 47782 Depends: libbddx0 (>= 2.15.1.0), libc6 (>= 2.32), libgcc-s1 (>= 3.4), libspot0 (>= 2.15.1.0-1), libspotgen0 (>= 2.15.1.0), libspotltsmin0 (>= 2.15.1.0-1), libstdc++6 (>= 11), python3 (<< 3.12), python3 (>= 3.11~), python3:any, libspot0 (<< 2.15.1.0-1.1~), libspotltsmin0 (<< 2.15.1.0-1.1~) Suggests: ipython3 Filename: amd64/python3-spot_2.15.1.0-1_amd64.deb Size: 2618288 MD5sum: 042d704d287e11a5a740c2c7735606f1 SHA1: c41cabe4af105ff166bc4c3ff4583ec88151d72f SHA256: 89998ad530abdb00a2ab186c6b3635c9fb90f0c4e769a5c388fa0f46261c8869 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.15.1.0-1 Architecture: amd64 Maintainer: Alexandre Duret-Lutz Installed-Size: 3747 Depends: libbddx0 (>= 2.15.1.0), libc6 (>= 2.34), libgcc-s1 (>= 3.3.1), libspot0 (>= 2.15.1.0-1), libspotgen0 (>= 2.15.1.0-1), libstdc++6 (>= 11), libspot0 (<< 2.15.1.0-1.1~), libspotgen0 (<< 2.15.1.0-1.1~) Recommends: graphviz Suggests: libspot-dev, spot-doc, python3-spot Filename: amd64/spot_2.15.1.0-1_amd64.deb Size: 1259448 MD5sum: 8f1239c4c398816c4caf4d603e4fb029 SHA1: 2a73af43570911c7133a6a69ddef83b9f4cb6c2a SHA256: 44824f215a1f870be586bfe819e05e2d02a71d0fb30be714363c5eec45f0492d 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.15.1.0-1 Architecture: all Maintainer: Alexandre Duret-Lutz Installed-Size: 26968 Depends: libjs-mathjax, libjs-jquery, libjs-requirejs Filename: all/spot-doc_2.15.1.0-1_all.deb Size: 2167518 MD5sum: 7b56c6ede3f1fccb0d9238f122f8b936 SHA1: 63ecae1af0ff94eba02b5040cad16d011a59801c SHA256: 0afa797b2d64a14b0e603edd2f1cfab1163f0deafb67ec2d1b0ae763d9ccbef8 Section: doc Priority: optional Homepage: http://spot.lrde.epita.fr/ Description: documentation for Spot HTML and PDF documentation for Spot.