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: 1623276 MD5sum: fd35f37c9135de3d0e9bcbba61831c50 SHA1: d6512205a4a1cb1ad1dfbc486c7ee008e9b70848 SHA256: 221cc45d3b9e7b78d7f4e5aac7a7324a703c59271a9f68c2e39c96cdf7a7d639 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: 28273900 MD5sum: 19067a2023ca0321c398ee6316e27700 SHA1: 045064c1799394aa1a665dfb89e90925b7e812e2 SHA256: b5b7f5fdf4305cc068b80bb05043038cbb651202571b448a1a8601da18161720 Section: debug Priority: optional Description: debug symbols for libspot0 Build-Ids: 9a43ef5bbae26585c64e8cbec689ebab44269574 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: 2683884 MD5sum: 9c21d891a37d6f1dc82fce63b1a2a1b0 SHA1: 69628e2ca5f45295bd4f6e42702eb13fec4bd372 SHA256: 909bfaaaa8372027db33d6f86d208f95cd5ee94d5be79a9f2c06022068792934 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: 7171280 MD5sum: 1c4a1e0313b1da809b30cb4ddf5978a3 SHA1: a058a7f44bf1a3fa26bc42b62ec227e1ba6d5aca SHA256: 8790f474140fcd80f6da735237a3bdd6bd6c58039554f466be6d5830af0e7926 Section: debug Priority: optional Description: debug symbols for python3-spot Build-Ids: 210398fc75475822876ecb6fa8b383e16d2b6ba7 65192c5b6ed960ac34c33da42c7aa725c7269ae7 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.