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: 99764 MD5sum: 965832870bf8297efa52913625a2c084 SHA1: bf15d0c706bccaf1b5c3fee580580ba1bcc202c9 SHA256: dce4ed0f384cf63f8b9fcee7e79ff12bf09d150c2063137e65f50f6f04b41ecd 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: 74700 MD5sum: 18ef2be6705ada32d14deade6634353a SHA1: a2b8ba230abe5ce17d61184726b7b6190ad28f89 SHA256: d9c1e01b235168d0a0fa1efcc0d40d1d43fbd97da80eda0392e3c812d0cbd10a 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: 258904 MD5sum: ad14cdcbf7f8e6a2a14bee7cb9db68ea SHA1: e9c2ec25ac2c60bc0e2401d6b6b5872667cd4cdb SHA256: 7da95fc42f0062c9a591779d141992b8ddc375b0f5a26d01051285edba4b316e Section: debug Priority: optional Description: debug symbols for libbddx0 Build-Ids: b7c22ec6860c1e1ba044bdcbca2d7b8901989766 Package: libspot-dev Source: spot Version: 2.15.1.0-1 Architecture: amd64 Maintainer: Alexandre Duret-Lutz Installed-Size: 17937 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: 3413816 MD5sum: 593e5f0449d1d280eeed8e4e41d9e830 SHA1: 9a4321e6f81f8b3be68f0c1f751008ba088dd7f9 SHA256: 8a98cb920c6ecc916d8b81313e8d9f48dffe68d90e9aeb867ab9d197d14bafd7 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: 1860340 MD5sum: 0d42eb326743bf3a34646b15344635d9 SHA1: fd26f25d7d7a8e00353f637f146661467f7da420 SHA256: aff7cd6350db03fb2ab43e478b653a8737ef05b61c8637edc6dfdc74bf75b39a 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: 28172 Depends: libspot0 (= 2.15.1.0-1) Filename: amd64/libspot0-dbgsym_2.15.1.0-1_amd64.deb Size: 27841616 MD5sum: 6f10bd70c2d9b8f52faf953ee5926c75 SHA1: 955808bcfa2055939749a0e56ca79f39dbb3941e SHA256: 50786f564ecf1378e462d6d6f3f868ce012aac497d370e56b38c52e812fed993 Section: debug Priority: optional Description: debug symbols for libspot0 Build-Ids: f8c6089ed616a699584f245dc4de281d5fe78be3 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: 430176 MD5sum: 62aa3ffac59c449e3a7484f7a5ab1d4e SHA1: ae6c7532284c833dec41afa90d66ddfa200a44fe SHA256: 44ad6f1342641032637fef9e53449d91d09dfa12198ec299be97fef93ad10c95 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: 757 Depends: libspotgen0 (= 2.15.1.0-1) Filename: amd64/libspotgen0-dbgsym_2.15.1.0-1_amd64.deb Size: 732800 MD5sum: 7e28037db0f23ada713abb9dde9d8cce SHA1: 28bb5079aeff953ea4446e2ec60305c3bc0a6f9c SHA256: d1a89b6c82f9fe37e19e678109f6af034cba636d3757948aa2a035e1434e87f3 Section: debug Priority: optional Description: debug symbols for libspotgen0 Build-Ids: 7b99d672c23998209d6a0bcb88845fe9b878e152 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: 382796 MD5sum: 5d3a79baa79bc62ef4a045b30055d045 SHA1: 49ae2ba51bee34659c50ef58dbd7f006d428f611 SHA256: ccddd762487759889dab258872aa77037e4dc02f74f6263f964603569831e303 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: 659 Depends: libspotltsmin0 (= 2.15.1.0-1) Filename: amd64/libspotltsmin0-dbgsym_2.15.1.0-1_amd64.deb Size: 640228 MD5sum: 48a1ac6f44249710a083849b04943bf3 SHA1: 454a500889c5f6cfbcccce6447e395ca2719aa4b SHA256: 62a3b76bbe58a3a3a5b68a75298accdc7e6384640119e2ebb8923e7fda05842d Section: debug Priority: optional Description: debug symbols for libspotltsmin0 Build-Ids: 655fc58f5b650beca7e0db72c402ab133d862c88 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: 3685944 MD5sum: 4d5100c97d0ab772cdb61c7ee148a4fb SHA1: a00baf0a58e0640c028d9e756453b153e12c52d9 SHA256: 6aab3a7001831e5b95d6beb37f3ff365afe549db9a639452331b8c76e3d44f6c 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: 20758 Depends: python3-spot (= 2.15.1.0-1) Filename: amd64/python3-spot-dbgsym_2.15.1.0-1_amd64.deb Size: 19589292 MD5sum: 35812b4590602d2e6b1f4215aa320d34 SHA1: fc9020db7261c23e3fa75b22211d4c6633d09c40 SHA256: 266e14f50d74c4c562c1fa92ed11b46ce3cfdb744c5b35cd97dcf0722867952a Section: debug Priority: optional Description: debug symbols for python3-spot Build-Ids: 17199833c309cb74a3e4b6e39c942eee6ca6fc87 3037a58a7375f4e485523602e197941e74c28c83 4c5c8345888a808e8ac519d0cf5d1bfc4a7fd799 8321ffb6fff01e20dc4329906573c26013fe4c56 af66beaeef18d513ba1845c5f9907fee5ed40c49 c08acdddab01da1aad233f71a5b1d790006328e0 c6cb89c5b92f815b8c49faf61754078c00235cb3 fe30e6738e70d352a13b1be12a5025e5e5b1c485 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: 1201944 MD5sum: 7e974ba4575854abb4ae21bf010b2d1a SHA1: 9b45038120bc9d68465422793a9edc593d0cfedc SHA256: 0dfc955a81bb401aa7b8263a0e95c2aa7e96cb930e0f04a86123ffe7ff8ed90c 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: 15337 Depends: spot (= 2.15.1.0-1) Filename: amd64/spot-dbgsym_2.15.1.0-1_amd64.deb Size: 14128128 MD5sum: 6a1a3057a566ad6e15d38e3091546917 SHA1: 128755e03bf1f7634fa8297fa898ccb3e572b1fa SHA256: deabcd00f0fa3e71512fc3a64923bd3a71ad9608def71b8b9b04a60acbc77bc6 Section: debug Priority: optional Description: debug symbols for spot Build-Ids: 08c8e31d802623e78faa7235fea26fe370c1c93c 371690d36d800ef8d4d29c09a44833e2a11b11c2 3ce871b36cd3765d8d064bf1febf32198d6da722 435634a41f8e97443e6b41447806ce9f8d9641b7 545c535e818e61a630ad13c8c0e4309b3f0a9b20 552331eba8c6ffbc21b46ce023cf3117b1adfbea 5867e199976af324a3b9203c7280e1563da467c7 5f6bd00439ba54bb0203d7a9b1e64fc1f11db25e 65e6b6fe2dbf39b006fa40d69aad63a58fcfd1b9 9c966caa4b515b834c9017b6efe5b5bf039b801d b842a32fba910153b1ba3f6f12dadfad7219281f bfbea9200b8b303cf8ee35e402ad67e52df7a403 d98a6bbdd73ee7d1165ebcb0236a8a55cd4ad2a3 f22c6bfc89675d6023d4a1d7e17a478aff6e374d fbaf33cdcc4f08cb20aafff11101665956efc4d7 fc5c90b83d94b749b1a7e0a86939ca291e9b31bc 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.