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: 1860448 MD5sum: f1e84b225b9a5711472beef4155c12cc SHA1: 4bb61c9f65396ca54bd0f6c8e711810eabeadde2 SHA256: 0fd39c535a14ad272342a786c962af4b9db30a7da8da3f20dbc95b7c47314a54 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: 27841204 MD5sum: dafa09754e64d639a7e7969e3940b95c SHA1: da1da6144165fd7dacaf0dbcbb322ab77a40a23c SHA256: edeb5e6505af74c65f6f4449ea4429c3429e2489871bb0ddd58b5bed7f70191e Section: debug Priority: optional Description: debug symbols for libspot0 Build-Ids: f9251143e7c31eb5b3188f83650917b9a630bbcb 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: 3702448 MD5sum: 6af7618fddad4b07e3c41609e2c6d8bf SHA1: cc3efa0f715870fd99cb2ffc2d90a163183ff5a2 SHA256: 24c4b868ab8fe1f1367c44f4c69b46ffe4ba7de816250eea8e3405337abb3f00 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: 20768 Depends: python3-spot (= 2.15.1.0-1) Filename: amd64/python3-spot-dbgsym_2.15.1.0-1_amd64.deb Size: 19598816 MD5sum: 1d36c59465cb0e7263d2cd7543c8e9d4 SHA1: 3d365e4c09ada95c9f4a6d6d451e6587b738b031 SHA256: 8002ab2659b09bb5bc8df3d5fea9d3e617372b5569b65995365a64434dd3f864 Section: debug Priority: optional Description: debug symbols for python3-spot Build-Ids: 17199833c309cb74a3e4b6e39c942eee6ca6fc87 3037a58a7375f4e485523602e197941e74c28c83 461a052571d85a215f0966f9f6dcd792d3182561 4c5c8345888a808e8ac519d0cf5d1bfc4a7fd799 af66beaeef18d513ba1845c5f9907fee5ed40c49 c08acdddab01da1aad233f71a5b1d790006328e0 ec7893a2d681135ce25dacf0907b6fad4cfc1912 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: 1201720 MD5sum: e2a2458e567a12e72dca14e72e685e23 SHA1: f545151ba7244585e0d80e2cf4c54200570ae7f0 SHA256: 6ed05e8aa1337114b8dd80a1695381f0efb6c0d2ff380a73f9214b2025c88738 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: 15333 Depends: spot (= 2.15.1.0-1) Filename: amd64/spot-dbgsym_2.15.1.0-1_amd64.deb Size: 14124584 MD5sum: 5b21886871d1cdeffae188aa946e96fe SHA1: b2226f81f13c8f6c5b62bd12fd24a71984fbbf1a SHA256: a1ef9ad7cd9b9f0a4a431f019429e8da6204081ce7534d818cca19c4f78d2ec7 Section: debug Priority: optional Description: debug symbols for spot Build-Ids: 010bf8cbbb8227be41e7eab6d8a55ac6a0b4c49b 015b0983aaf0a92bf206dd12c8b38a7db27c8a99 08c8e31d802623e78faa7235fea26fe370c1c93c 1d269521caaa35f06d7823bdf2519a4d2f3c46da 361c201a54cb0e6e26429fdd28499fb116409a02 3ce871b36cd3765d8d064bf1febf32198d6da722 435634a41f8e97443e6b41447806ce9f8d9641b7 43ef4f6dfc8043fcb4e552ac7f18389a58b123d2 5f55dbc70222b124c1b6263dba01e7565f719a09 8f9bbcf54dcbc9cb40850f025774fd85ccffd834 bfbea9200b8b303cf8ee35e402ad67e52df7a403 e901a5b36d2711571b492eb417895cd982d7e6b6 ee5ef06e63714e6f02f24d4f9105e8d8fd028339 f22c6bfc89675d6023d4a1d7e17a478aff6e374d fbaf33cdcc4f08cb20aafff11101665956efc4d7 fee1c6284d8517b5540f9a90fc5283c3fabfd3ae 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.