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: 1cb55c610aa9e63f06032db0fd062ade SHA1: dad7f960f1d8ea4de2ee71b7709dd6c92d69ae23 SHA256: a90eab6d1ddc0a292259fad0c11dba7ecabc3ff2e8f8f6ded85e6bf1bcbc4483 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: 1860560 MD5sum: 40f7a87b584f2e2785f66590011a53ea SHA1: a6b80002d5c450e9edf4686519aed4cb54749eec SHA256: e7e5796f9a9f1c3e3e85a28598b704ef99a983decf7e2b98ed3587d71a6291b0 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: 27779952 MD5sum: 38903b5d8e33c3bb791a6051c1413ede SHA1: 16e78aa457d55774a0dfb943779253113a770771 SHA256: a7ffbbfc97e9b7fa82ff64beb70f35e68c45095543ce97ead1cc504475d9f506 Section: debug Priority: optional Description: debug symbols for libspot0 Build-Ids: 6baf48017b2fe9db462f174870426bc044142bbb 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: 57ce24ea15d221b5382fbfcf5b0fb8c4 SHA1: 243644b155b217a9760ca8315e4e54ee68a7e0c8 SHA256: fdf7fdcfbef0230a081fbd7641c21bbdd3478af214395915a286d35c4168ba67 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: 5dbb34239ffc8c750f893666f94490c2 SHA1: 42b58821945dd7a2a3e62be0a5a1d2d34d9cf3fb SHA256: 7dbd1efb1d2a6007763740bf7dca1e7cbea80a4a3b360811dd5fab37184509ca 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: 3693772 MD5sum: a4afe2f4c7f379984778dbcf1976cb2f SHA1: a7076945a835fa275c8be7386b08cdf9ca04d8ed SHA256: d4d6bbae08af9cc30da0c140c0fe3055da323d6796257e903d949a5c7082ca7a 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: 20763 Depends: python3-spot (= 2.15.1.0-1) Filename: amd64/python3-spot-dbgsym_2.15.1.0-1_amd64.deb Size: 19611720 MD5sum: 5c3a20d459732464ae0a19348ab829b5 SHA1: 71c31e2f88fc2e22da0bcdabf28ea2b171d473e7 SHA256: df6c329897f6763a893991f6c4e09f21abeac6344efb96ee1df09d5c22b63015 Section: debug Priority: optional Description: debug symbols for python3-spot Build-Ids: 6ac3e6227cd02f74ae56786b276f0acaf5f70b78 6cc09bdb5a09639e5868523ad2e8b7e97b5f2632 79e4aee36ae81dd1adebbca4ed1d42ccc13df730 aed5ce3f09d9257142c1bd7a11489aa18dc4e0b2 c36a895166b2c063e6144876f7a1d081e9dafcd8 d79f80450e7348c858aa8437ef0da502fd379d21 e11167172cf53dfb2c0fa4a9440be3a846a22ba6 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.