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: 1861060 MD5sum: 3bd9573e7b16a9e622f77dea9273dc50 SHA1: b2e48c7d49d7f9cbaa7d4873ef41833f0caefc39 SHA256: 3c486e506188bec95dc0fdae5bc2f68bdfad71ff22924922d2fbc746ba578124 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: 27781016 MD5sum: 523e70919a287b8e5ed7c72170f35dba SHA1: 557742dbeeb69aeb6633cf2b0830dd7f13a7f344 SHA256: 1e14e387309b4319e83ea97ed2438c8b90f12bc3b00aa4e0ac8f07f769d085bf Section: debug Priority: optional Description: debug symbols for libspot0 Build-Ids: c08c967c1017ee325eba7a5147660346206e3c4f 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: 3692916 MD5sum: a7dde817fd570cfd6cde5c4164be0928 SHA1: d03cff9becd3d5a1c50ffc31cc634f33e165fad2 SHA256: e6161dacbfd017b012151b0bb35511cdea183274ed2b29f4cf2a4ba2ab86622b 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: 19606808 MD5sum: 965d8b384d510905b46216b510d37659 SHA1: dafe6f8406a3bb2590804798314f6227852534a4 SHA256: c205d2217c4c9b933d53426254e8292ee38b89254fb0cf8aedcadd1a0c9cd1fe Section: debug Priority: optional Description: debug symbols for python3-spot Build-Ids: 6ac3e6227cd02f74ae56786b276f0acaf5f70b78 6cc09bdb5a09639e5868523ad2e8b7e97b5f2632 79e4aee36ae81dd1adebbca4ed1d42ccc13df730 7dd2bc749145446516e5253aa483e5b01af00b6b b127139023ce2ee324f20d483f4a077ff9747a88 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.