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: 1860568 MD5sum: 4388bd37c8d7a961583230627f84e838 SHA1: ab077721f48bcd2766a903ed44a91900600e5b7e SHA256: e2dfb9e01bddeadf798700da7443e0ba38fcdc9df00e5ec7c80dd4bd61231603 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: 28114 Depends: libspot0 (= 2.15.1.0-1) Filename: amd64/libspot0-dbgsym_2.15.1.0-1_amd64.deb Size: 27781292 MD5sum: 1dd9972cd2be49041e62cc02cb9df3e5 SHA1: b6b16dd81b77ec7e7ba09c9a1258b14a0c5440bd SHA256: 02f886659c4da656bdbab1cf953070e5241c2807c5bc78bc4bc8d0c28cdd8ab6 Section: debug Priority: optional Description: debug symbols for libspot0 Build-Ids: fc5195f4f82e7efd89b32fe584998a839b93d409 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: 3687072 MD5sum: 50ac8f2770b3bf25732dca3679f49f77 SHA1: e447b28b122789ee4ca585d6712d815802f5d6e1 SHA256: f81121e3ceeaacec67c265bfa9fc5d01934ff277b34b7363fbe2e86a25f79fbf 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: 20760 Depends: python3-spot (= 2.15.1.0-1) Filename: amd64/python3-spot-dbgsym_2.15.1.0-1_amd64.deb Size: 19608004 MD5sum: ba7b1237d430b1ecc22705371c873b03 SHA1: 4e2fad1d1f6d363bf7f5600287061f57f5dd3031 SHA256: 57e03cf22ea997aa5e977e96cd939b572d7de122d14308ffaa653d7b11d7fa22 Section: debug Priority: optional Description: debug symbols for python3-spot Build-Ids: 4c2d8673fc3cd70bc0b0e1de49eca762b630f5f9 6ac3e6227cd02f74ae56786b276f0acaf5f70b78 6cc09bdb5a09639e5868523ad2e8b7e97b5f2632 79e4aee36ae81dd1adebbca4ed1d42ccc13df730 7dd2bc749145446516e5253aa483e5b01af00b6b c36a895166b2c063e6144876f7a1d081e9dafcd8 d79f80450e7348c858aa8437ef0da502fd379d21 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: 1202264 MD5sum: 5648a9ba240705b85eaef2e9fe432967 SHA1: df5b7ff3625e1d70b7b4b5bf293b1e4c9b55ff94 SHA256: e7e90ab643cb0b2456f1fde336a1c9f8581de55327a4136310ac06d7f9ce85ea 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: 15327 Depends: spot (= 2.15.1.0-1) Filename: amd64/spot-dbgsym_2.15.1.0-1_amd64.deb Size: 14117488 MD5sum: c9e96fc93dc75136e2ed9ecae40e68a5 SHA1: 48aa954b9556e9c45e1d11f25e356d03c62a22ef SHA256: fcf852b31cd7c63261efcde5e2817a810770b3ed0adb54fcdaee78eca7aee89b Section: debug Priority: optional Description: debug symbols for spot Build-Ids: 1626198a88305430e732bd2768e5f7edaa237652 20724ac9504e680736d414d69989533c1b586117 31f3785e3795cc39afc151bd29957be01e831b32 44049d6c46357a39e8476cd9ca9efc9c69e5daf2 4935da881219bc1dd6da8de9e6e5ee392839e221 4e6b2a35cf53bc9e104fd9b22f692274e0cc46a9 681ff56a3d6fbfa02f232524b4fb59a00795f5d4 81a74ad045f228e2c07eed15b0eddd180c23dc3d bd641d0eb38229bcbadad08e04d042e7c91e1203 d272b28ffafe82ddcd9bc1916bbac6417da96fe1 e148d8f07daf9a4f3ce97b23394477549690be59 e46728342c5fe193cc5fc347243e867bc72030c0 edc852da00228488e463fa74b1f88b7722046679 f56429fcee9d64502c91d5ee8f8f8350a3661a81 f71b62c76fcb69f0cae431469bc96bec1259b039 ff2fcba75e09a9504029622387d1b425e22830e0 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.