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: 3416328 MD5sum: febfc11eaf7568f0828fa6d80a64a045 SHA1: c5c6ec53ec5b690900bf3a2a44d693172cecbc91 SHA256: de2903e233c693d7de6659a2c9cbfc4b7d5faaa7d44be644df48d8005ef42d6e 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: 1860428 MD5sum: b1ce3ba992938c9b18333335c858252c SHA1: 3c95d45a9d849a3e4da6568c816919c787d85701 SHA256: 1d3cae5b4e6a5958fb995b49a9c5a31e809d2af082ff94bf1795872653157ae2 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: 28108 Depends: libspot0 (= 2.15.1.0-1) Filename: amd64/libspot0-dbgsym_2.15.1.0-1_amd64.deb Size: 27775256 MD5sum: d57610aecf6b70633348b45d370162c2 SHA1: a27869e45462e2d10382b3105adc091da219f0e3 SHA256: 10724acefae4584d4ba8883e293a8f93b8cc635a04901d71cd022c1f6d28ff64 Section: debug Priority: optional Description: debug symbols for libspot0 Build-Ids: dc73de41e18022a22fb3491d301ba7d064611383 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: 43862 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: 3704604 MD5sum: 740e62365ffa7cc50ca4ccb28cd04737 SHA1: aaad736142aaf97f5866f1a3e961a3e16445a4d7 SHA256: 05c45f0e066e66aa79b6cd27c44e63746943ca6e06dcd576d23f74ca5039386b 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: 19591116 MD5sum: ce8e98afeaa352cfd41de648f9991fd6 SHA1: 70c9e5d0d1d1e0ccf2211bde94847ab1d623fac3 SHA256: a1a16c2671cb28e315d79a178a519a337d4524190a0916942db9e25d72ada6ff Section: debug Priority: optional Description: debug symbols for python3-spot Build-Ids: 6ac3e6227cd02f74ae56786b276f0acaf5f70b78 6cc09bdb5a09639e5868523ad2e8b7e97b5f2632 79e4aee36ae81dd1adebbca4ed1d42ccc13df730 9124d2894636578f850e0311e1e73c8f7d02f80e c36a895166b2c063e6144876f7a1d081e9dafcd8 d79f80450e7348c858aa8437ef0da502fd379d21 fa6b23abf5957152b1981c83f723d9af5b39bea8 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: 1201752 MD5sum: ea6b743f28bda7a3f621524592879b25 SHA1: 76770f2e63e861e048b1d3e80eca5dec5aab9795 SHA256: 4b8f337865a264036c1e12007c1066a9f21b77005ee9e5c597c29a5ff225a591 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: 15329 Depends: spot (= 2.15.1.0-1) Filename: amd64/spot-dbgsym_2.15.1.0-1_amd64.deb Size: 14118940 MD5sum: aa81df28aa68e60ed697c2e6f3e9e3d1 SHA1: 54a6bfddcdb572071005eb2f77660e36368aad82 SHA256: 32acfcce64cf2123bff46bc2bc2531a77ad094344b34fc59d529e490b9f2a0ab Section: debug Priority: optional Description: debug symbols for spot Build-Ids: 1728ae4f5f4a79811c49cab206ddb8dd885568cb 1c9f3a104e57fb17679e37facb693674a0e76c79 20724ac9504e680736d414d69989533c1b586117 4935da881219bc1dd6da8de9e6e5ee392839e221 4e6b2a35cf53bc9e104fd9b22f692274e0cc46a9 58c5d4346f8c468f662f3815536f09d28511c0e5 6cbe748ce8192e44922daa6b081422345c4c7a85 716aa589c939cee6a2c054630a66beb218de36c6 84f67f6a2203674af14d5b8b342fdc49106f808a 9c863d73e7b2976e7d43fca43773b431f44868bc b0679d9f9ca4985927f0642b6b242f43d296e135 ce17e1ae5940b054368555b4511b9c405f292688 d37985d1f41ce8063b5ba21fc52e14a7ba8a587a e1c40bbee67479ad57d370c807cfa3308b82e47a ea3993713295b558e70e1f8935bd20682c259e0f f56429fcee9d64502c91d5ee8f8f8350a3661a81 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.