Package: libbddx-dev Source: spot Version: 2.15.1.0-1 Architecture: amd64 Maintainer: Alexandre Duret-Lutz Installed-Size: 418 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: 99896 MD5sum: 5106f2e466672ee8575dca2ffe7b9b9e SHA1: 70d5dc39708df36c3cd1d2bc7e72bff91f727c7f SHA256: e65dc8ea5753f422adef8438c6d74b38685bc61e215b51494b45adfe41c1c6cf 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: 176 Depends: libc6 (>= 2.38), libgcc-s1 (>= 3.3.1), libstdc++6 (>= 13.1) Recommends: graphviz Suggests: libbddx-dev Filename: amd64/libbddx0_2.15.1.0-1_amd64.deb Size: 74696 MD5sum: ae3a84031b5feec75f016e9b6df70b9c SHA1: e05e83ccff36387d25fc4571d6013225170885da SHA256: 477c03b73f75abb3b90d2829ee8c7f2f16006946a70675a3a194c5c1420a60fb 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: libbddx0-dbgsym Source: spot Version: 2.15.1.0-1 Auto-Built-Package: debug-symbols Architecture: amd64 Maintainer: Alexandre Duret-Lutz Installed-Size: 285 Depends: libbddx0 (= 2.15.1.0-1) Filename: amd64/libbddx0-dbgsym_2.15.1.0-1_amd64.deb Size: 258912 MD5sum: d6f30f92b29c4e84468a10867e84de9a SHA1: 11d6f73871516c1437ec9a9ccca6d76c6b93ce8c SHA256: 36b9c5650352f536e6a23845a8d45ac3316b7f6b547530ba89a51a5f9205f4fc Section: debug Priority: optional Description: debug symbols for libbddx0 Build-Ids: c661c17783952ff4d71be524b99ed2afc215a5b8 Package: libspot-dev Source: spot Version: 2.15.1.0-1 Architecture: amd64 Maintainer: Alexandre Duret-Lutz Installed-Size: 17941 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: 3416852 MD5sum: bb3022adda55a0d553a9c258007b6817 SHA1: c282bb9047340491986d245cf4ce4c66ed19eb1e SHA256: a1068420306bce5ef8ddcfa4801a36950a81d693237654791a10a5a6b8636607 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: 4059 Depends: libbddx0 (>= 2.15.1.0-1), libc6 (>= 2.38), libgcc-s1 (>= 3.4), libstdc++6 (>= 14), 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: 1861392 MD5sum: 2c9288fb9fc4daebca4bc8d38badd3c1 SHA1: 9b19e1d3bd714dc90c627d15de9b5d85ad83512a SHA256: e0568a668588317e51516f9c32af87051771b283619fbdb44be43e7c8890241a 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: libspot0-dbgsym Source: spot Version: 2.15.1.0-1 Auto-Built-Package: debug-symbols Architecture: amd64 Maintainer: Alexandre Duret-Lutz Installed-Size: 28112 Depends: libspot0 (= 2.15.1.0-1) Filename: amd64/libspot0-dbgsym_2.15.1.0-1_amd64.deb Size: 27780080 MD5sum: c1e7e62de1fa1c4de4e408919ecd69f7 SHA1: d732b1b97b0384543a257dbb59ce31dd2d1a365f SHA256: 2c5066206c446d338053093b41301c8834d961e5da6ddb4a54f2ed1571cea359 Section: debug Priority: optional Description: debug symbols for libspot0 Build-Ids: 69f4eb38939f5de1aab8811d590841803db7130f Package: libspotgen0 Source: spot Version: 2.15.1.0-1 Architecture: amd64 Maintainer: Alexandre Duret-Lutz Installed-Size: 559 Depends: libbddx0 (>= 2.15.1.0), libc6 (>= 2.32), libgcc-s1 (>= 3.3.1), libspot0 (>= 2.15.1.0-1), libstdc++6 (>= 13.1), libspot0 (<< 2.15.1.0-1.1~) Suggests: libspot-dev Filename: amd64/libspotgen0_2.15.1.0-1_amd64.deb Size: 430132 MD5sum: 0f84f1ba2656b752adde7de8b8e4d688 SHA1: 9f4d27798b9473bfe9181210022fa93a47f61d12 SHA256: a7917a3404dd60f142acd902b80b8bc8de53b30fc62c08e19c8867501deab57e 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: libspotgen0-dbgsym Source: spot Version: 2.15.1.0-1 Auto-Built-Package: debug-symbols Architecture: amd64 Maintainer: Alexandre Duret-Lutz Installed-Size: 756 Depends: libspotgen0 (= 2.15.1.0-1) Filename: amd64/libspotgen0-dbgsym_2.15.1.0-1_amd64.deb Size: 731040 MD5sum: 1d5e87e7d310b1696d142997ecc1ffd9 SHA1: f4b8e248321b4d5ff52cdb9db09c8b8d3977f4d1 SHA256: 89575495664ea5c7989bf648499afe69e24e9f1a0e8da9cadc5e9ca391c39b93 Section: debug Priority: optional Description: debug symbols for libspotgen0 Build-Ids: f3268dd1c8ebcef747652ee057a227c9037b42aa Package: libspotltsmin0 Source: spot Version: 2.15.1.0-1 Architecture: amd64 Maintainer: Alexandre Duret-Lutz Installed-Size: 435 Depends: libbddx0 (>= 2.15.1.0), libc6 (>= 2.38), libgcc-s1 (>= 3.3.1), libltdl7 (>= 2.5.4), libspot0 (>= 2.15.1.0-1), libstdc++6 (>= 13.1), libspot0 (<< 2.15.1.0-1.1~) Suggests: libspot-dev Filename: amd64/libspotltsmin0_2.15.1.0-1_amd64.deb Size: 382780 MD5sum: af605824b6317a573fe0292e892c8af6 SHA1: e3312fbea912d9b3cb86cd66bdccc066ca69210f SHA256: 4afb351e339e8c893049a1740e0b1988ded52b1999797f6df9609b47c9765c27 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: libspotltsmin0-dbgsym Source: spot Version: 2.15.1.0-1 Auto-Built-Package: debug-symbols Architecture: amd64 Maintainer: Alexandre Duret-Lutz Installed-Size: 658 Depends: libspotltsmin0 (= 2.15.1.0-1) Filename: amd64/libspotltsmin0-dbgsym_2.15.1.0-1_amd64.deb Size: 639456 MD5sum: 2a371fb2b37a07256721a2619dddf82d SHA1: f4dd21e7bfbebb50ed763c933d95b062f5f40860 SHA256: eefd80dcfa38efaa01ec9a7e8c954b64c3dffefb8268e75f4c392da14afcbe9a Section: debug Priority: optional Description: debug symbols for libspotltsmin0 Build-Ids: c0184b9673057202df01e24888d3ac3c0e347a0f Package: python3-spot Source: spot Version: 2.15.1.0-1 Architecture: amd64 Maintainer: Alexandre Duret-Lutz Installed-Size: 43858 Depends: libbddx0 (>= 2.15.1.0), libc6 (>= 2.38), libgcc-s1 (>= 3.4), libspot0 (>= 2.15.1.0-1), libspotgen0 (>= 2.15.1.0), libspotltsmin0 (>= 2.15.1.0-1), libstdc++6 (>= 14), python3 (<< 3.15), python3 (>= 3.13~), 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: 3684692 MD5sum: 446213e929fd2db8701c7a6e5af26431 SHA1: f4700227c4dee44445e509b8091890448554347d SHA256: 7d338ef9c60a6a7bc660d152328a23f964c7c8e4da8013d108bddd4f04740512 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: python3-spot-dbgsym Source: spot Version: 2.15.1.0-1 Auto-Built-Package: debug-symbols Architecture: amd64 Maintainer: Alexandre Duret-Lutz Installed-Size: 20754 Depends: python3-spot (= 2.15.1.0-1) Filename: amd64/python3-spot-dbgsym_2.15.1.0-1_amd64.deb Size: 19584080 MD5sum: 2e1ac0bd7df58fd2902d696f5a003b58 SHA1: 253050291142a33147150d492df030e9cc41bb4c SHA256: 13235515cb13a39fc40c74a15f680ae69cff6a1ca956d0186b07e09975ed2d8e Section: debug Priority: optional Description: debug symbols for python3-spot Build-Ids: 49717a16f1ad2680f426baa7f64115e92d958462 6ac3e6227cd02f74ae56786b276f0acaf5f70b78 6cc09bdb5a09639e5868523ad2e8b7e97b5f2632 79e4aee36ae81dd1adebbca4ed1d42ccc13df730 c36a895166b2c063e6144876f7a1d081e9dafcd8 d79f80450e7348c858aa8437ef0da502fd379d21 e4df8a55796e3d78b25320471fed82e7599ee96d fd89f59808a0036c49aa8c07518eeb7f5d2bdad1 Package: spot Version: 2.15.1.0-1 Architecture: amd64 Maintainer: Alexandre Duret-Lutz Installed-Size: 3627 Depends: libbddx0 (>= 2.15.1.0), libc6 (>= 2.38), libgcc-s1 (>= 3.3.1), libspot0 (>= 2.15.1.0-1), libspotgen0 (>= 2.15.1.0-1), libstdc++6 (>= 14), 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: 1202480 MD5sum: eab92cb319220fd40c83939652f01f9f SHA1: cb0123f01508af6455212614710fb97781bfbe15 SHA256: e4bbeabf24201e3cad19a355bb4e8478b6c7d5bc071cbff26e6d1235c56a8391 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-dbgsym Source: spot Version: 2.15.1.0-1 Auto-Built-Package: debug-symbols Architecture: amd64 Maintainer: Alexandre Duret-Lutz Installed-Size: 15331 Depends: spot (= 2.15.1.0-1) Filename: amd64/spot-dbgsym_2.15.1.0-1_amd64.deb Size: 14122600 MD5sum: 455247bfc92104e87aacd2cf0d727407 SHA1: 57c06c88c6cb50ba683a7e041a50e0cd4d0132eb SHA256: bf86a5c57526b48b6238b73e9cbbb7c27dfd992d399f98809edbbf5a62e687d8 Section: debug Priority: optional Description: debug symbols for spot Build-Ids: 0f2fd57f455ce875ce76993e70593cbd2b4142a6 0febf8f69b8902328e0a9856fd5eeebb352c9956 1626198a88305430e732bd2768e5f7edaa237652 20724ac9504e680736d414d69989533c1b586117 2e0b7515a2cf6ea5e0a2631df6cd96b7825ee2ed 31f3785e3795cc39afc151bd29957be01e831b32 47e45c8080c59a1148e078efd9440037ed741323 4935da881219bc1dd6da8de9e6e5ee392839e221 4c11382326e6190da4031f263608693eefdec5b7 4e6b2a35cf53bc9e104fd9b22f692274e0cc46a9 681ff56a3d6fbfa02f232524b4fb59a00795f5d4 7a29a3fd109ba7e8ed5cfa5a09551634cbaf680c 925fb00e2172560b3a96337f262625d9394e2419 9a39b5c41e385496d7d912e76bd2b540f9af417d ce17e1ae5940b054368555b4511b9c405f292688 ea3993713295b558e70e1f8935bd20682c259e0f Package: spot-doc Source: spot Version: 2.15.1.0-1 Architecture: all Maintainer: Alexandre Duret-Lutz Installed-Size: 30971 Depends: libjs-mathjax, libjs-jquery, libjs-requirejs Filename: all/spot-doc_2.15.1.0-1_all.deb Size: 2342080 MD5sum: a63af6db763a018cdca3d56d6177661c SHA1: 5694077435810870549ad4e291cd31ef58ff0fcb SHA256: f200c5e2b11f0e53171fae4e02b65872e26fc48ecd7f42ab648cc77b32c8a54d Section: doc Priority: optional Homepage: http://spot.lrde.epita.fr/ Description: documentation for Spot HTML and PDF documentation for Spot.