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: 1623380 MD5sum: 0526f236e057f3d6bf62ca90e8449208 SHA1: 3b86477192c5bd87000c12e0c39400f064e1ae5c SHA256: ed89a1d3f50c332753f62d55f822983336daceffa3b0451fcf0aa787775482f3 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: 28830 Depends: libspot0 (= 2.16.0-1) Filename: armhf/libspot0-dbgsym_2.16.0-1_armhf.deb Size: 28273560 MD5sum: f49228ea3056f3285c08402dcc78c877 SHA1: afff7d9b14ea281551611fb64b67df399da98c89 SHA256: ea9b73d9d987e2a57261b733f46f3502fd5902c352ce310c5da690b82efabddd Section: debug Priority: optional Description: debug symbols for libspot0 Build-Ids: 31a8976b4e62ce8dea1050375e1cd40eea9a5160 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: 422584 MD5sum: e4827516a61b773db6e38d2656426faf SHA1: ff5e3c9db415d1beb1a4480c78dbffc387a49090 SHA256: 92436271b2a92235beb3fd54ed2804ef3fa877c21c9e46bf2d8bf8f96342a97d 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: 603892 MD5sum: 4c653fc03babcf91798918fd5d54ad85 SHA1: 3c7569116b763a729af0a67b3346f780fb0cadd2 SHA256: 7245e3078ec1881ebcdbcc6837e6679cff810122311ffd58db507befaae4f3d7 Section: debug Priority: optional Description: debug symbols for libspotgen0 Build-Ids: 7f1b559d92dfd2f889089183914fef1d63e26a25 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: 2683540 MD5sum: 451de4f9db628a1ba30a073678744ba8 SHA1: 5b5a6bc950b380c2a691058ba796b2df3598332e SHA256: 6c5cca748b9492102904b2ed499c534eefd42e1c6d6d1898c1e8ebe3af783aea 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: 8001 Depends: python3-spot (= 2.16.0-1) Filename: armhf/python3-spot-dbgsym_2.16.0-1_armhf.deb Size: 7172380 MD5sum: 552df11e79ea4e3d7c3edbbd963f7eea SHA1: ede990c1bb641dd82f13992475c192fbd4901b8b SHA256: ca62cc2fe97c1b8ea9c0ae9f9b8ff7cdf6b195fb751b45f89ba3db98db223742 Section: debug Priority: optional Description: debug symbols for python3-spot Build-Ids: 65192c5b6ed960ac34c33da42c7aa725c7269ae7 72acf6a740e7816ec89569a494f688b53c2135a7 87a6e5acbe40294164d29f7a6a31491d7540451f d5f4bf878be7b91630ee006c9a038ea6169e5446 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: 1062144 MD5sum: 38fc155353f835b7537ef74f10942843 SHA1: 0b9cdbf9b6368d6f7b1e8150aeb48dcb94e727ca SHA256: 50fe46b7318a30914fcae0da56b1bf4bbde154f001911717b7f19bbaf79b7eca 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: 9615036 MD5sum: 3b0f45699cf8a2a1284d701a5c1dade8 SHA1: e7789ee81824fd71b9d5ec5d8e5382e32bc2929b SHA256: 2410a448cff80d08caa544054a59d8ab9dd98c5b99a2637c1e235bd93e0cedff Section: debug Priority: optional Description: debug symbols for spot Build-Ids: 0817c884a08812ae6bee575d2d5a12ca49c1a7af 239c6129bdc1f51b444b5bfd55686adc519e1587 37876564d17a448873abb10138256d6ed183bb40 3a38fc97f2b8a7bdc0ffe266961c9cf06828dd3c 3c219d1752084767213b4a6c46028fe4cead42c1 40c17392ad4db25a7c257352e82dd87ca7339fe4 6974c17e5ee05bc0d3c6ed1eb5cd2b21dce379ee 6ab73e25784272b08737f60378b5d5fbb0275e39 71a2654d487a6a738d5b506bd7d6779e3a2e6524 91b7d329638ac293ac2fb4643de7d15e17b47e2e 981363c8e8a84f55d56ae301cfa3f61d35c76b82 b4f7eb0a9ebee22db9ddae2b591bc0db1c09123f b8a8ccd2d0eac40f077a4d37841f333862ea8a2b c0f4aa6b45d8dab8a1e5e1ad35960aa88f82b01c c5b3eea6ac79e7c706df7b884867915dc774ffbe cc50a3317011296236d60d6b2b4fe493ccf1a518 d83d280d10297bfb4a8391d9bf46f645ab3f42e1 e2f3428463daabb7afceb06e8b71f85fd2f1108a 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.