Package: libbddx-dev Source: spot Version: 2.16.1.0-1 Architecture: armhf Maintainer: Alexandre Duret-Lutz Installed-Size: 1877 Depends: libbddx0 (>= 2.16.1.0-1), libbddx0 (<< 2.16.1.0-1.1~) Filename: armhf/libbddx-dev_2.16.1.0-1_armhf.deb Size: 500944 MD5sum: bd5ee19ac60a13ab45328d6ea3f8aa82 SHA1: 21488c707f24aea9a550bfb3ee9f06a56d294337 SHA256: 4af7dd02d1d7e0f57e0ac49b2613a3bcbd4bacb2afcf1ffea61452ea3c4c825a 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.16.1.0-1 Architecture: armhf Maintainer: Alexandre Duret-Lutz Installed-Size: 163 Depends: libc6 (>= 2.29), libgcc-s1 (>= 3.5), libstdc++6 (>= 13.1) Recommends: graphviz Suggests: libbddx-dev Filename: armhf/libbddx0_2.16.1.0-1_armhf.deb Size: 68684 MD5sum: 7284b95200eb4970d3c61d584b6a53b5 SHA1: 48eb2ecf773811356f3709c4e422d4a978c17477 SHA256: 50c3758d1b3843ecbfeaf8c216d8b5007238d5235f83c009d69d2e78356330a2 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.16.1.0-1 Auto-Built-Package: debug-symbols Architecture: armhf Maintainer: Alexandre Duret-Lutz Installed-Size: 394 Depends: libbddx0 (= 2.16.1.0-1) Filename: armhf/libbddx0-dbgsym_2.16.1.0-1_armhf.deb Size: 357256 MD5sum: 7e9b5cfdf6a6ba35f702d48766241125 SHA1: aa0fbaa977b4c90d327ed235959ba6ea067cde1d SHA256: 4d71c81ac301731ae3c775bec7219a440e6e45508811a98af10e9d522496bed3 Section: debug Priority: optional Description: debug symbols for libbddx0 Build-Ids: 0449e69d679789e63a02d1c82dd0629349002296 Package: libspot-dev Source: spot Version: 2.16.1.0-1 Architecture: armhf Maintainer: Alexandre Duret-Lutz Installed-Size: 15062 Depends: libspot0 (>= 2.16.1.0-1), libspot0 (<< 2.16.1.0-1.1~), libspotltsmin0 (>= 2.16.1.0-1), libspotltsmin0 (<< 2.16.1.0-1.1~), libbddx-dev Suggests: spot-doc Filename: armhf/libspot-dev_2.16.1.0-1_armhf.deb Size: 3026724 MD5sum: 70273178ca86cd15343ea68f58f11f9b SHA1: 565451ea41a7e78ef18ef8c3cf923ccf45b36a36 SHA256: 42545dfa4e475b20a210b9ede2ad942c0f8679870c0fa0bc45413f488d80f098 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.16.1.0-1 Architecture: armhf Maintainer: Alexandre Duret-Lutz Installed-Size: 3787 Depends: libbddx0 (>= 2.16.1.0-1), libc6 (>= 2.38), libgcc-s1 (>= 3.5), libstdc++6 (>= 14), libbddx0 (<< 2.16.1.0-1.1~) Recommends: graphviz Suggests: libspot-dev, spot-doc, python3-spot Filename: armhf/libspot0_2.16.1.0-1_armhf.deb Size: 1625520 MD5sum: 4245831d10e31d1d30d91a03d3b35f05 SHA1: b4c6deb41e5c65d9f8fe2ca44d0f810937550d77 SHA256: 7d9ff89f1c70d0c4b286f922f528cceff3fae2772490bbaa09319f6e7d01676e 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.16.1.0-1 Auto-Built-Package: debug-symbols Architecture: armhf Maintainer: Alexandre Duret-Lutz Installed-Size: 28826 Depends: libspot0 (= 2.16.1.0-1) Filename: armhf/libspot0-dbgsym_2.16.1.0-1_armhf.deb Size: 28270312 MD5sum: d523c3bd068cffb1e213e51a68f3c217 SHA1: 20102dc285c46eaec2bf4cd3b0a06d1f6218390d SHA256: 45af4404503b30468f9dcc1f084fa9ca9d56055bf183a2026e4271046646f9f7 Section: debug Priority: optional Description: debug symbols for libspot0 Build-Ids: 12a7b5d4656b0d3efb49271881e40a018e84eb3c Package: libspotgen0 Source: spot Version: 2.16.1.0-1 Architecture: armhf Maintainer: Alexandre Duret-Lutz Installed-Size: 520 Depends: libbddx0 (>= 2.16.1.0), libc6 (>= 2.32), libgcc-s1 (>= 3.5), libspot0 (>= 2.16.1.0-1), libstdc++6 (>= 13.1), libspot0 (<< 2.16.1.0-1.1~) Suggests: libspot-dev Filename: armhf/libspotgen0_2.16.1.0-1_armhf.deb Size: 425608 MD5sum: dd85e7a42741371124ffc627a3d8c6ed SHA1: 2ef8227ebe7197ade11e22d6ce66cd71d2a70829 SHA256: e91f708c6466b24c7b489a0a21844f1e68f58398cc569440571eb5c0a010a5e1 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.16.1.0-1 Auto-Built-Package: debug-symbols Architecture: armhf Maintainer: Alexandre Duret-Lutz Installed-Size: 625 Depends: libspotgen0 (= 2.16.1.0-1) Filename: armhf/libspotgen0-dbgsym_2.16.1.0-1_armhf.deb Size: 603896 MD5sum: a6699809189972f3e2c600e52961d0e6 SHA1: 4e39f4c1383410ffb0a67c25145c1b81cf9d332e SHA256: 1f3954e745dc355bd7e57ab38248817f6daf13a32868a5effecf05cd8cb84dc2 Section: debug Priority: optional Description: debug symbols for libspotgen0 Build-Ids: 7f1b559d92dfd2f889089183914fef1d63e26a25 Package: libspotltsmin0 Source: spot Version: 2.16.1.0-1 Architecture: armhf Maintainer: Alexandre Duret-Lutz Installed-Size: 456 Depends: libbddx0 (>= 2.16.1.0), libc6 (>= 2.38), libgcc-s1 (>= 3.5), libltdl7 (>= 2.5.4), libspot0 (>= 2.16.1.0-1), libstdc++6 (>= 13.1), libspot0 (<< 2.16.1.0-1.1~) Suggests: libspot-dev Filename: armhf/libspotltsmin0_2.16.1.0-1_armhf.deb Size: 397016 MD5sum: 24ec5865853fe68577477c5fc74874ad SHA1: f75ed3dd9544c013e2e9e4e702cb6e251e23dd89 SHA256: abd39f99e7233f8962478dcb9cd8d8998a38a949d353ba6e0c377135ff957005 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.16.1.0-1 Auto-Built-Package: debug-symbols Architecture: armhf Maintainer: Alexandre Duret-Lutz Installed-Size: 650 Depends: libspotltsmin0 (= 2.16.1.0-1) Filename: armhf/libspotltsmin0-dbgsym_2.16.1.0-1_armhf.deb Size: 608040 MD5sum: 2bd1c3e17616e7f4cb56e16f3d199b72 SHA1: 30414cf2e892f7ebc86401130467df6447be757b SHA256: 0855c548bccf72d3ee6c3985bfa4be4f33d5ce9de56e2a97981a40030c848ded Section: debug Priority: optional Description: debug symbols for libspotltsmin0 Build-Ids: f34336eb4f94aedb74790153d1d63feb31960633 Package: python3-spot Source: spot Version: 2.16.1.0-1 Architecture: armhf Maintainer: Alexandre Duret-Lutz Installed-Size: 39634 Depends: libbddx0 (>= 2.16.1.0), libc6 (>= 2.32), libgcc-s1 (>= 3.5), libspot0 (>= 2.16.1.0-1), libspotgen0 (>= 2.16.1.0), libspotltsmin0 (>= 2.16.1.0-1), libstdc++6 (>= 13.1), python3 (<< 3.14), python3 (>= 3.13~), python3:any, libspot0 (<< 2.16.1.0-1.1~), libspotltsmin0 (<< 2.16.1.0-1.1~) Suggests: ipython3 Filename: armhf/python3-spot_2.16.1.0-1_armhf.deb Size: 2686856 MD5sum: 3c155d609758898572dda6084142a071 SHA1: e0ac04864ae83a334989b24c587f6757d87395d5 SHA256: c514c12bafb1409b2d0aaa501ff4a753773295eee7b8944583b56b2251511327 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.16.1.0-1 Auto-Built-Package: debug-symbols Architecture: armhf Maintainer: Alexandre Duret-Lutz Installed-Size: 7953 Depends: python3-spot (= 2.16.1.0-1) Filename: armhf/python3-spot-dbgsym_2.16.1.0-1_armhf.deb Size: 7125644 MD5sum: ca5edb7dde260ca7370abad749c9938b SHA1: 6d1d68fcfbd805ac6d3260354c7110c0b23b869e SHA256: 5dac3aaf3ded03facdb6be45f830141db33541d64168ff4dda956aab4e0da98b Section: debug Priority: optional Description: debug symbols for python3-spot Build-Ids: 87a6e5acbe40294164d29f7a6a31491d7540451f 8c7a419fc3e7289c259fa9b9836e03f99ea33bbc 9659b7920a2cc167c2d6145a6f3e9d0003afc334 d5f4bf878be7b91630ee006c9a038ea6169e5446 Package: spot Version: 2.16.1.0-1 Architecture: armhf Maintainer: Alexandre Duret-Lutz Installed-Size: 3801 Depends: libbddx0 (>= 2.16.1.0), libc6 (>= 2.38), libgcc-s1 (>= 3.5), libspot0 (>= 2.16.1.0-1), libspotgen0 (>= 2.16.1.0-1), libstdc++6 (>= 14), libspot0 (<< 2.16.1.0-1.1~), libspotgen0 (<< 2.16.1.0-1.1~) Recommends: graphviz Suggests: libspot-dev, spot-doc, python3-spot Filename: armhf/spot_2.16.1.0-1_armhf.deb Size: 1067036 MD5sum: 6be8365422d9096c3b2928c098d7de19 SHA1: 9aa8a641511e1cbd1b0cfc7d1982bafeb23ebc7e SHA256: 3a20c1b41a337760be8bad2ddd089ef80e092fbf65da1665ec354055a91e918d Section: science Priority: optional Homepage: http://spot.lrde.epita.fr/ Description: model checking and omega-automata manipulation tools Tools to manipulate omega-automata as well as linear-time temporal logic (LTL & PSL). Package: spot-dbgsym Source: spot Version: 2.16.1.0-1 Auto-Built-Package: debug-symbols Architecture: armhf Maintainer: Alexandre Duret-Lutz Installed-Size: 13271 Depends: spot (= 2.16.1.0-1) Filename: armhf/spot-dbgsym_2.16.1.0-1_armhf.deb Size: 9615192 MD5sum: 3723813dd390b3be4b1f6a1f8e6a5365 SHA1: 9d7843aa34d60b8127b40fa569da289b7a9384b9 SHA256: 4f8eac82a0cb976933f105755ddb6fb411c011209dfc52a36cf5d2ca10661fc3 Section: debug Priority: optional Description: debug symbols for spot Build-Ids: 0206917038f318ac8f6ff7ac89300b2134a4207a 14d6647179ea0a71e7471797e750a2feb5c9a93c 29ea3a41a0c6d25ed46454ae36b0dc3cb65b2910 36dc3da564ca236c62b70e57b0632069b71f5e42 3c1fa3b2480242ca701b47e9e982f182c80732c3 49d3bfa21f0b39b59728b3776021b665ca377ea8 62ceb376cd14a5e1cccb85267798a13dccc2c58c 7f5bc8c52a26f9ad8e777a6e9e5f564039fa7603 9c4e9b6aa4a3354b12c960c5803bb9cbf26e020b afe01b96031eed3796c5ede832f22b032fb76119 b2ee822820e7b2ecdc40a575bf0387ebff934839 b53a094dbcc6a259f90148defd6201593943aab9 b803cb7b1cd6c4bf76b99c3627630217cbe89389 b911d520e034d99e336bd4a602ffc2ff20ffb4a6 c2f32a293d2abeba1c09d624bff3615c273eddaa d34eb2d02a0a41905f7d1b5c6c79b907cb185a87 df5ffc0fad91955f3fdca026057d43d1dd96172c fb18192b7d6d6f796e10d38fb7fb173abffc3c4b Package: spot-doc Source: spot Version: 2.16.1.0-1 Architecture: all Maintainer: Alexandre Duret-Lutz Installed-Size: 33814 Depends: libjs-mathjax, libjs-jquery, libjs-requirejs Filename: all/spot-doc_2.16.1.0-1_all.deb Size: 2629820 MD5sum: ab86032331ecead556afca1ce0b1dc77 SHA1: af308c2e543d208909acd4a85a11f7711009a0d8 SHA256: a86d4e862553ad14afe0ebd22e3fab5a434dfc05642a7dc59686d10828e39302 Section: doc Priority: optional Homepage: http://spot.lrde.epita.fr/ Description: documentation for Spot HTML and PDF documentation for Spot.