Package: libbddx-dev Source: spot Version: 2.14.1.0-1 Architecture: armhf Maintainer: Alexandre Duret-Lutz Installed-Size: 286 Depends: libbddx0 (>= 2.14.1.0-1), libbddx0 (<< 2.14.1.0-1.1~) Filename: armhf/libbddx-dev_2.14.1.0-1_armhf.deb Size: 77524 MD5sum: b1f39dd5f4134d67cfa358e948cec643 SHA1: 00a2098fc1a20ab3db39bea94ccd4d4c420578ec SHA256: 60e779eb38a813d944053163d3ac91c8292190c1208abae3381cb051a3f90360 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.14.1.0-1 Architecture: armhf Maintainer: Alexandre Duret-Lutz Installed-Size: 154 Depends: libc6 (>= 2.29), libgcc-s1 (>= 3.5), libstdc++6 (>= 5) Recommends: graphviz Suggests: libbddx-dev Filename: armhf/libbddx0_2.14.1.0-1_armhf.deb Size: 61008 MD5sum: 1642505d21da2b487a4a85a950af2537 SHA1: ddcf61ff2dcb2f0b16e89bb769931d7b8254cd99 SHA256: a1331fbde3891c1486c80c68a339d2d5f007c3a24b72326cb9d0025fe22e6ff0 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.14.1.0-1 Auto-Built-Package: debug-symbols Architecture: armhf Maintainer: Alexandre Duret-Lutz Installed-Size: 223 Depends: libbddx0 (= 2.14.1.0-1) Filename: armhf/libbddx0-dbgsym_2.14.1.0-1_armhf.deb Size: 190632 MD5sum: 72a47bff0660f49787f71717ba2063ed SHA1: 0846ec5a3d3ed38cebe97cbe229bc6803c8601d0 SHA256: a966f20b54767bcec343c1b1e5f8ef1a379e97eac8730632ed70be4289533826 Section: debug Priority: optional Description: debug symbols for libbddx0 Build-Ids: df18d6a1b0a20afe028f4fbb65fac99c527d3d08 Package: libspot-dev Source: spot Version: 2.14.1.0-1 Architecture: armhf Maintainer: Alexandre Duret-Lutz Installed-Size: 14870 Depends: libspot0 (>= 2.14.1.0-1), libspot0 (<< 2.14.1.0-1.1~), libspotltsmin0 (>= 2.14.1.0-1), libspotltsmin0 (<< 2.14.1.0-1.1~), libbddx-dev Suggests: spot-doc Filename: armhf/libspot-dev_2.14.1.0-1_armhf.deb Size: 2734804 MD5sum: 809a3ca4bd8935863935843014c744f4 SHA1: e6a4d356bba3068a01739b35d1a6a488f01c4309 SHA256: ef42e1d8fc7431a7656e8c334bd0012e8d356171b2fe27eb3d37e6ac0b0b99b4 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.14.1.0-1 Architecture: armhf Maintainer: Alexandre Duret-Lutz Installed-Size: 3509 Depends: libbddx0 (>= 2.14.1.0-1), libc6 (>= 2.33), libgcc-s1 (>= 3.5), libstdc++6 (>= 11), libbddx0 (<< 2.14.1.0-1.1~) Recommends: graphviz Suggests: libspot-dev, spot-doc, python3-spot Filename: armhf/libspot0_2.14.1.0-1_armhf.deb Size: 1499072 MD5sum: 52390ef4b9e22e237ef9e818c822dee3 SHA1: 37dc7e70e798138b04a9e8b853f6be271483a097 SHA256: d2286cab62ff04bdbf550a83a43c89ef355302e303a2579cd07c155e869832de 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.14.1.0-1 Auto-Built-Package: debug-symbols Architecture: armhf Maintainer: Alexandre Duret-Lutz Installed-Size: 28408 Depends: libspot0 (= 2.14.1.0-1) Filename: armhf/libspot0-dbgsym_2.14.1.0-1_armhf.deb Size: 27859604 MD5sum: f3494475da06bf11b3d387c42b1ad236 SHA1: 89711858cf01f813c8124045a0c480ce47bb29a0 SHA256: 1cfa0f87fb1234d6146051d49769ee75879aa297079a840e1ec03c5c8aa5c50a Section: debug Priority: optional Description: debug symbols for libspot0 Build-Ids: 9e321213f665d4d569b7f01161f8dc73e918e70e Package: libspotgen0 Source: spot Version: 2.14.1.0-1 Architecture: armhf Maintainer: Alexandre Duret-Lutz Installed-Size: 538 Depends: libbddx0 (>= 2.14.1.0), libc6 (>= 2.32), libgcc-s1 (>= 3.5), libspot0 (>= 2.14.1.0-1), libstdc++6 (>= 11), libspot0 (<< 2.14.1.0-1.1~) Suggests: libspot-dev Filename: armhf/libspotgen0_2.14.1.0-1_armhf.deb Size: 406960 MD5sum: cd2ae95b13e227c48d262d0e366a466d SHA1: dee944bc841d1e62ff234ee2768e4f78763c72c8 SHA256: 24535b866f5568dd41ac59134f1f1085389700ad728e2e89cb37559a753536b9 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.14.1.0-1 Auto-Built-Package: debug-symbols Architecture: armhf Maintainer: Alexandre Duret-Lutz Installed-Size: 703 Depends: libspotgen0 (= 2.14.1.0-1) Filename: armhf/libspotgen0-dbgsym_2.14.1.0-1_armhf.deb Size: 682800 MD5sum: 915c730fdce62869978779f8ee947068 SHA1: ba1a06c15f7afc1a43066f63f2443d760b0dfed9 SHA256: 78e65d798929e480e3e4500836a3e9e440cc7960bfb361d3bbef6f2e7424480c Section: debug Priority: optional Description: debug symbols for libspotgen0 Build-Ids: 48d15d50a69d7862237f4786f6538a734a67ab46 Package: libspotltsmin0 Source: spot Version: 2.14.1.0-1 Architecture: armhf Maintainer: Alexandre Duret-Lutz Installed-Size: 410 Depends: libbddx0 (>= 2.14.1.0), libc6 (>= 2.33), libgcc-s1 (>= 3.5), libltdl7 (>= 2.4.7), libspot0 (>= 2.14.1.0-1), libstdc++6 (>= 11), libspot0 (<< 2.14.1.0-1.1~) Suggests: libspot-dev Filename: armhf/libspotltsmin0_2.14.1.0-1_armhf.deb Size: 367096 MD5sum: 35fdd2b6ec6f36a3fba9963d114cafa4 SHA1: 8778a7758be60c7b609f99179e06362b66795b52 SHA256: dc84968ee2020933859290b5c23107f6f1445ee399921df95888009ed459f0c5 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.14.1.0-1 Auto-Built-Package: debug-symbols Architecture: armhf Maintainer: Alexandre Duret-Lutz Installed-Size: 657 Depends: libspotltsmin0 (= 2.14.1.0-1) Filename: armhf/libspotltsmin0-dbgsym_2.14.1.0-1_armhf.deb Size: 613316 MD5sum: af39f39a191e51ddeaa020a1bdf4918f SHA1: f205baecad51dbc22e4302094c1648413eb21f15 SHA256: e7dce9043ecb7fda0b470123f2d7cf568b67946d2cbbd7698e41833016e8ae87 Section: debug Priority: optional Description: debug symbols for libspotltsmin0 Build-Ids: 14f93a99928d4a1b787567bfcfd3af69093c2cb3 Package: python3-spot Source: spot Version: 2.14.1.0-1 Architecture: armhf Maintainer: Alexandre Duret-Lutz Installed-Size: 40666 Depends: libbddx0 (>= 2.14.1.0), libc6 (>= 2.32), libgcc-s1 (>= 3.5), libspot0 (>= 2.14.1.0-1), libspotgen0 (>= 2.14.1.0), libspotltsmin0 (>= 2.14.1.0-1), libstdc++6 (>= 11), python3 (<< 3.12), python3 (>= 3.11~), python3:any, libspot0 (<< 2.14.1.0-1.1~), libspotltsmin0 (<< 2.14.1.0-1.1~) Suggests: ipython3 Filename: armhf/python3-spot_2.14.1.0-1_armhf.deb Size: 2109580 MD5sum: cc469bade16cbddf984516da523a12b2 SHA1: 92ca384a11a3c70c87a4ab8227f58b31d35e2695 SHA256: 9f9d67a376917a979fcca5cefa85bb9e159b2b1b2250ca946d7fed5ce3d43e78 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.14.1.0-1 Auto-Built-Package: debug-symbols Architecture: armhf Maintainer: Alexandre Duret-Lutz Installed-Size: 7303 Depends: python3-spot (= 2.14.1.0-1) Filename: armhf/python3-spot-dbgsym_2.14.1.0-1_armhf.deb Size: 6541628 MD5sum: 293f88cd6076e345c0d2c7eb3ee27e26 SHA1: c4f7a19d458ef8303f09af1efdf3aaa4b5224b31 SHA256: 6960c0e0411813e991b156cf6d0188558e340b8c87c2e7766cd914762672ce98 Section: debug Priority: optional Description: debug symbols for python3-spot Build-Ids: 0c0dc11c9f672c89beb28ec155980b5f0a80ec0f 969e1bc9cb1a97e7e0c53053dc8d5436bd333568 9b8e55288b3cd40f2a628def9d39495967de61be e5f847d96336bb7bdd4708f3a49ec09a56bb82e4 Package: spot Version: 2.14.1.0-1 Architecture: armhf Maintainer: Alexandre Duret-Lutz Installed-Size: 2944 Depends: libbddx0 (>= 2.14.1.0), libc6 (>= 2.34), libgcc-s1 (>= 3.5), libspot0 (>= 2.14.1.0-1), libspotgen0 (>= 2.14.1.0-1), libstdc++6 (>= 11), libspot0 (<< 2.14.1.0-1.1~), libspotgen0 (<< 2.14.1.0-1.1~) Recommends: graphviz Suggests: libspot-dev, spot-doc, python3-spot Filename: armhf/spot_2.14.1.0-1_armhf.deb Size: 978976 MD5sum: 2e59055d4916756dd91ad9b681c23ed9 SHA1: 8928e14a8b7b454b22fa6a78d3594bfeaf54fe7d SHA256: a3d2ebbe9349f0062ac39e0b00f0438c9b4c5e4660ffad015304769496f6c2bc 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.14.1.0-1 Auto-Built-Package: debug-symbols Architecture: armhf Maintainer: Alexandre Duret-Lutz Installed-Size: 9881 Depends: spot (= 2.14.1.0-1) Filename: armhf/spot-dbgsym_2.14.1.0-1_armhf.deb Size: 8793104 MD5sum: c5c8ff068d7d3ddd5cb6361c550b17a7 SHA1: a37da73e1d565046f9e085711c71affa6970035c SHA256: 1681f9ff4fcebf05d50fda194c45e3f0619179991430eb6d00ff7b884bc1e42d Section: debug Priority: optional Description: debug symbols for spot Build-Ids: 05ed384a1946f74fb5e7de4bc4245dcb29763ef3 1da77ae2b0537f0e3c80be8838a7fecbade35e74 2b1c09ace746ef9577c5b6cd74a6eb1f962e3dce 36267f0daafb98e2fb588773eab349963b8aabd5 4d8dd8994ee5884562b477161474135cf0ce606f 4e42a35d528f14ee55e6e42fb7d89fb773fc76af 53fbe85926baaa7e8f4e71ff66287ce3e5316000 543006a9cf6ad8b1ff935c842c96e0cdfb3cd5f2 55888977637e0f85ac842a27c6dbc0267851e0b1 574b108ec4fb0de9c8f1d9815ae3398c4c2bb25a 5b3628233bd29cede50dda78afc231bb68e8c91a 68790c79bdbedc9f459d7eeb122c01136b5f0812 8dcbcdcbb859b4fc1a9696a31bab1dfe1e424b08 9a05c6442cbba6e4b3962a8fa499bec62104f4d3 af1e9ddef63e21419a8925b1327fcb73a947c2e7 b32abdf6b71cf7733db9129bc0103355ee39f360 ca0133a99036db1303b5e1d41203d17e43c1b8a6 Package: spot-doc Source: spot Version: 2.14.1.0-1 Architecture: all Maintainer: Alexandre Duret-Lutz Installed-Size: 31423 Depends: libjs-mathjax, libjs-jquery, libjs-requirejs Filename: all/spot-doc_2.14.1.0-1_all.deb Size: 2359288 MD5sum: b4094998410ab9ee60aada3852cd72e3 SHA1: afa89ba801eb228e2fb45f71b963de4c0ac4a474 SHA256: a20fbd51396e3eea0f7b4b8e26c1fdb860585d80e2a0343a80cb3d71c54a9f82 Section: doc Priority: optional Homepage: http://spot.lrde.epita.fr/ Description: documentation for Spot HTML and PDF documentation for Spot.