Package: libbddx-dev Source: spot Version: 2.16.0-1 Architecture: armhf Maintainer: Alexandre Duret-Lutz Installed-Size: 1877 Depends: libbddx0 (>= 2.16.0-1), libbddx0 (<< 2.16.0-1.1~) Filename: armhf/libbddx-dev_2.16.0-1_armhf.deb Size: 500944 MD5sum: 3886b9abea7497c7f78125532b14d612 SHA1: bb317443a07ad8eceb6fd5e938a393e0727af721 SHA256: 09f7e0c895e61ee1e1f7474c8f30a897167eb0f42bb24c8a7feae25223728a58 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.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.0-1_armhf.deb Size: 68712 MD5sum: 6ca48487f92da1af5d9e2175995f2d89 SHA1: 07c2a40f11c24d42952fe86fa27f6f78c5472912 SHA256: 0b3340b64adb33d01a952be6f6793e6d02ccf82656077918aa89394bc5d3689c 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.0-1 Auto-Built-Package: debug-symbols Architecture: armhf Maintainer: Alexandre Duret-Lutz Installed-Size: 394 Depends: libbddx0 (= 2.16.0-1) Filename: armhf/libbddx0-dbgsym_2.16.0-1_armhf.deb Size: 357336 MD5sum: bd5cb4fec159c4df82d7ab1a255382d1 SHA1: 77ab7eb9190e7e1facd6520b4453a7ab7e858f9c SHA256: fae523bb0a4ee00bbe253af3b53ec6f726a59f7ea22f36ac4404fd7ec763073d Section: debug Priority: optional Description: debug symbols for libbddx0 Build-Ids: 1c272c0617d3e8752bedde01103f7ae57447a01c Package: libspot-dev Source: spot Version: 2.16.0-1 Architecture: armhf Maintainer: Alexandre Duret-Lutz Installed-Size: 15073 Depends: libspot0 (>= 2.16.0-1), libspot0 (<< 2.16.0-1.1~), libspotltsmin0 (>= 2.16.0-1), libspotltsmin0 (<< 2.16.0-1.1~), libbddx-dev Suggests: spot-doc Filename: armhf/libspot-dev_2.16.0-1_armhf.deb Size: 3026952 MD5sum: 96129c442a14cf2cd8e30b8676db63a2 SHA1: 298218e3ebfd34ce3902bbea903db191b00e92d0 SHA256: b4ce10d577d0a2d91354c12fb8817f85ee382962299a1e29728d686fe8e32599 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.0-1 Architecture: armhf Maintainer: Alexandre Duret-Lutz Installed-Size: 3784 Depends: libbddx0 (>= 2.16.0-1), libc6 (>= 2.38), libgcc-s1 (>= 3.5), libstdc++6 (>= 14), libbddx0 (<< 2.16.0-1.1~) Recommends: graphviz Suggests: libspot-dev, spot-doc, python3-spot Filename: armhf/libspot0_2.16.0-1_armhf.deb Size: 1623260 MD5sum: 1f5201f7c768ff6d1e6068a9addb01be SHA1: 6ac98b19a1916acb63862968fc4a113dde8f86a5 SHA256: 5a354e51486b6ba192b40e610cdf7c4cb50a6421be230d53cdf9da70b2859d87 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.0-1 Auto-Built-Package: debug-symbols Architecture: armhf Maintainer: Alexandre Duret-Lutz Installed-Size: 28822 Depends: libspot0 (= 2.16.0-1) Filename: armhf/libspot0-dbgsym_2.16.0-1_armhf.deb Size: 28267096 MD5sum: 6657757fa2ad727efde7174e20c7f5ca SHA1: dd06cf903edc9330beb72324513f956249d0374f SHA256: 47e76563a70e9e2036ca19c3ec9e8dcc7718eed6bf34b4d173fa1bdc620e0f42 Section: debug Priority: optional Description: debug symbols for libspot0 Build-Ids: fa21b0a2e92662d02e0bc9e2376599f337afa42a Package: libspotgen0 Source: spot Version: 2.16.0-1 Architecture: armhf Maintainer: Alexandre Duret-Lutz Installed-Size: 517 Depends: libbddx0 (>= 2.16.0), libc6 (>= 2.32), libgcc-s1 (>= 3.5), libspot0 (>= 2.16.0-1), libstdc++6 (>= 13.1), libspot0 (<< 2.16.0-1.1~) Suggests: libspot-dev Filename: armhf/libspotgen0_2.16.0-1_armhf.deb Size: 422560 MD5sum: e874a4fafc57adf3b8f113ed2019c286 SHA1: b9099dafbae8e2337e4a95e86bbe67bb7a896c74 SHA256: 4f4a2f0dc8b60e60d20276816eb3cfbb1ac42ce645213ac2e3257f3e6edcec1e 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.0-1 Auto-Built-Package: debug-symbols Architecture: armhf Maintainer: Alexandre Duret-Lutz Installed-Size: 625 Depends: libspotgen0 (= 2.16.0-1) Filename: armhf/libspotgen0-dbgsym_2.16.0-1_armhf.deb Size: 604164 MD5sum: b580ea1f0329cf324d26e4a8c4af3f2e SHA1: 5f2a34c3b9598ec012f3dc89b68bfc995c525ba0 SHA256: 05d694088a498252188eb90b59e670ef1a6c3ac360616ce86685ec6f93dabb14 Section: debug Priority: optional Description: debug symbols for libspotgen0 Build-Ids: 07b3ed3bc9f8ff7ee8afdb402ce3742fed1a883d Package: libspotltsmin0 Source: spot Version: 2.16.0-1 Architecture: armhf Maintainer: Alexandre Duret-Lutz Installed-Size: 453 Depends: libbddx0 (>= 2.16.0), libc6 (>= 2.38), libgcc-s1 (>= 3.5), libltdl7 (>= 2.5.4), libspot0 (>= 2.16.0-1), libstdc++6 (>= 13.1), libspot0 (<< 2.16.0-1.1~) Suggests: libspot-dev Filename: armhf/libspotltsmin0_2.16.0-1_armhf.deb Size: 393968 MD5sum: 4db71aab027ac42ed659fe997d962a72 SHA1: c30d15008b601fb6e6ec9cc62b9fb5c8a20ea9fd SHA256: 049fd4c20237357cc630cec88aabc436c7849f48fb90cd71c772ff40cde820f4 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.0-1 Auto-Built-Package: debug-symbols Architecture: armhf Maintainer: Alexandre Duret-Lutz Installed-Size: 655 Depends: libspotltsmin0 (= 2.16.0-1) Filename: armhf/libspotltsmin0-dbgsym_2.16.0-1_armhf.deb Size: 612636 MD5sum: 30e7eeb54b15b715b89902ca49f07eb9 SHA1: ef11b057b127e4868f1a90ff38c390a5549ed1e0 SHA256: 6f2e19fa7d92dbe56714637e2209abca3c3e7178a909d1378ff3d510142650c3 Section: debug Priority: optional Description: debug symbols for libspotltsmin0 Build-Ids: 494960f6b07d572323d0271e900ae6bd7546da2b Package: python3-spot Source: spot Version: 2.16.0-1 Architecture: armhf Maintainer: Alexandre Duret-Lutz Installed-Size: 39631 Depends: libbddx0 (>= 2.16.0), libc6 (>= 2.32), libgcc-s1 (>= 3.5), libspot0 (>= 2.16.0-1), libspotgen0 (>= 2.16.0), libspotltsmin0 (>= 2.16.0-1), libstdc++6 (>= 13.1), python3 (<< 3.14), python3 (>= 3.13~), python3:any, libspot0 (<< 2.16.0-1.1~), libspotltsmin0 (<< 2.16.0-1.1~) Suggests: ipython3 Filename: armhf/python3-spot_2.16.0-1_armhf.deb Size: 2682920 MD5sum: fead81d703a00f8bab3c4de446f6fc78 SHA1: 06a340fc645129c1a29f85bc340821504ab60b16 SHA256: 57337b00ce5c5a0f5488eb39ab14b29d25a31d35668ea9ccd42bf1754e7dc49e 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.0-1 Auto-Built-Package: debug-symbols Architecture: armhf Maintainer: Alexandre Duret-Lutz Installed-Size: 8000 Depends: python3-spot (= 2.16.0-1) Filename: armhf/python3-spot-dbgsym_2.16.0-1_armhf.deb Size: 7169628 MD5sum: 93a696bb7cb0f7bc79174ab000aed02c SHA1: 5c328a91e3e263ece1c66d2d15955210d80f46c3 SHA256: e4fec090b9de9b2c6bfd5c3c192619340b2870861e3b74b21b9ba7dedf126104 Section: debug Priority: optional Description: debug symbols for python3-spot Build-Ids: 1465c964ccee236577b40dac3117ec8342c0fbe2 46e093648f9abb334b7eaf6e467910188d88332a 65192c5b6ed960ac34c33da42c7aa725c7269ae7 6a6ab85c3c2cc5090d1b8d741cf92a9822137ca7 Package: spot Version: 2.16.0-1 Architecture: armhf Maintainer: Alexandre Duret-Lutz Installed-Size: 3797 Depends: libbddx0 (>= 2.16.0), libc6 (>= 2.38), libgcc-s1 (>= 3.5), libspot0 (>= 2.16.0-1), libspotgen0 (>= 2.16.0-1), libstdc++6 (>= 14), libspot0 (<< 2.16.0-1.1~), libspotgen0 (<< 2.16.0-1.1~) Recommends: graphviz Suggests: libspot-dev, spot-doc, python3-spot Filename: armhf/spot_2.16.0-1_armhf.deb Size: 1062304 MD5sum: 9b4236570a60e64fe85acefc28aceee7 SHA1: 38cb47f62ab647b549a7775a2fcbdf7f05e68d8f SHA256: f110b8bea1fadafca3b8437398d75222dfb7297bdb7a27ed208ff0e63be82a36 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.0-1 Auto-Built-Package: debug-symbols Architecture: armhf Maintainer: Alexandre Duret-Lutz Installed-Size: 13266 Depends: spot (= 2.16.0-1) Filename: armhf/spot-dbgsym_2.16.0-1_armhf.deb Size: 9615056 MD5sum: d5683a2a209c33481b73ff699e860eaf SHA1: 7866af8ff56fdb0961ce45cbfea691c8af43c87a SHA256: 190e75e5c2e17cdb079266d63e5a0b64e8fb7aeb4770d91768841c620f6a13fa Section: debug Priority: optional Description: debug symbols for spot Build-Ids: 0817c884a08812ae6bee575d2d5a12ca49c1a7af 344e2733d51c775aa673005608e0afe73172c225 3a38fc97f2b8a7bdc0ffe266961c9cf06828dd3c 40c17392ad4db25a7c257352e82dd87ca7339fe4 4ba89bff166061f0cd6a6121b7cda90cb398a4f9 7561835ff497d9209f272b5a448481d7d0123f31 91b7d329638ac293ac2fb4643de7d15e17b47e2e a852f19205540137e41d39e257dc8c5cb23a78af b0160d181e606cf9745463db0178439b32c791d6 b38df2c76774dd0f97ecdc569f64419f7409cc11 ba2301b71bd90d3905d951e03339f0c78ee3b64e c0f4aa6b45d8dab8a1e5e1ad35960aa88f82b01c c5628c16bc40e201580f8bb14a8e7c2b880191ab c5b3eea6ac79e7c706df7b884867915dc774ffbe c762cfcf43722ebe6b0a6961adf89211dde38538 c82ae6fbbcf77a37195f6e1fbe02196cd29e6520 cc50a3317011296236d60d6b2b4fe493ccf1a518 f11fb522b1bac9509fb31cf43b737036a17decb8 Package: spot-doc Source: spot Version: 2.16.0-1 Architecture: all Maintainer: Alexandre Duret-Lutz Installed-Size: 33804 Depends: libjs-mathjax, libjs-jquery, libjs-requirejs Filename: all/spot-doc_2.16.0-1_all.deb Size: 2623492 MD5sum: af61a64bac2c0103393eff6d3690e9d0 SHA1: 0e418508732569bb3bda20b7cabd56327cffae97 SHA256: 2dd7c58fb9515d471dac227228496415cbff1fd203789fd5455ee7a49f260705 Section: doc Priority: optional Homepage: http://spot.lrde.epita.fr/ Description: documentation for Spot HTML and PDF documentation for Spot.