Package: libbddx-dev Source: spot Version: 2.16.2.0-1 Architecture: armhf Maintainer: Alexandre Duret-Lutz Installed-Size: 350 Depends: libbddx0 (>= 2.16.2.0-1), libbddx0 (<< 2.16.2.0-1.1~) Filename: armhf/libbddx-dev_2.16.2.0-1_armhf.deb Size: 93576 MD5sum: 8124112ebfd821a8cc58d66ccbf4cd43 SHA1: dc2378b59bde5db23a9bb0ec7c16f577a062918e SHA256: e33bec806157d79294f6bd297d6870172b5fa1685bc573eb839d7fa589c87663 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.2.0-1 Architecture: armhf Maintainer: Alexandre Duret-Lutz Installed-Size: 175 Depends: libc6 (>= 2.29), libgcc-s1 (>= 3.5), libstdc++6 (>= 11) Recommends: graphviz Suggests: libbddx-dev Filename: armhf/libbddx0_2.16.2.0-1_armhf.deb Size: 71336 MD5sum: b3890e3f4a1a5a3afb5dc7b24521e114 SHA1: 740ff8eaf4ead77a9319d4f9a2bb36e3ea1307fe SHA256: 946f41625588ba0f3843cceadf4c0f925d10e23c031b58e642174575eb794416 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.2.0-1 Auto-Built-Package: debug-symbols Architecture: armhf Maintainer: Alexandre Duret-Lutz Installed-Size: 401 Depends: libbddx0 (= 2.16.2.0-1) Filename: armhf/libbddx0-dbgsym_2.16.2.0-1_armhf.deb Size: 364564 MD5sum: 2c2e15e69665449c4e9bf2eda122e866 SHA1: 3cd38cc501f58ccfe4982f5ff0fe9d85d8c0511a SHA256: 8d7c7b495649c69eac37635d42d19f2d7c2f0e50aff1cfa64c7d698c642c90be Section: debug Priority: optional Description: debug symbols for libbddx0 Build-Ids: 3e91770962c3d64ce7211899d2ac6ab05b294f00 Package: libspot-dev Source: spot Version: 2.16.2.0-1 Architecture: armhf Maintainer: Alexandre Duret-Lutz Installed-Size: 14946 Depends: libspot0 (>= 2.16.2.0-1), libspot0 (<< 2.16.2.0-1.1~), libspotltsmin0 (>= 2.16.2.0-1), libspotltsmin0 (<< 2.16.2.0-1.1~), libbddx-dev Suggests: spot-doc Filename: armhf/libspot-dev_2.16.2.0-1_armhf.deb Size: 2890052 MD5sum: 24065d65b6d287035ba7939ea48e39f6 SHA1: de56cabdc36322c490bec56cfc767777178f807a SHA256: 7ef424d0660632e84540234da9fff57bf56bf05a753a1505a31d679377b98627 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.2.0-1 Architecture: armhf Maintainer: Alexandre Duret-Lutz Installed-Size: 3787 Depends: libbddx0 (>= 2.16.2.0-1), libc6 (>= 2.33), libgcc-s1 (>= 3.5), libstdc++6 (>= 11), libbddx0 (<< 2.16.2.0-1.1~) Recommends: graphviz Suggests: libspot-dev, spot-doc, python3-spot Filename: armhf/libspot0_2.16.2.0-1_armhf.deb Size: 1623268 MD5sum: bbc9b9b4c3d885bbbd6af5d8b576f5f1 SHA1: 32e097db8c55ecf4bef4bd2c0543e86c3c38a3c2 SHA256: ec110598f45abdbdd1223230678e064428cbd41e12429d2253306c27e4c92739 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.2.0-1 Auto-Built-Package: debug-symbols Architecture: armhf Maintainer: Alexandre Duret-Lutz Installed-Size: 29511 Depends: libspot0 (= 2.16.2.0-1) Filename: armhf/libspot0-dbgsym_2.16.2.0-1_armhf.deb Size: 28904476 MD5sum: e4b35224a2fcc326d0931d5bd690d9dd SHA1: 6cb0d3de9bad9042c3456ea00d53f307f2a28dc6 SHA256: 0b3f7e3780c4fc7536556f519255b20e2c06b3998f45b40e09f0163b8ad3e43e Section: debug Priority: optional Description: debug symbols for libspot0 Build-Ids: 6aa6ccb8e145667d596f30df95dbbb96dc9c33aa Package: libspotgen0 Source: spot Version: 2.16.2.0-1 Architecture: armhf Maintainer: Alexandre Duret-Lutz Installed-Size: 524 Depends: libbddx0 (>= 2.16.2.0), libc6 (>= 2.32), libgcc-s1 (>= 3.5), libspot0 (>= 2.16.2.0-1), libstdc++6 (>= 11), libspot0 (<< 2.16.2.0-1.1~) Suggests: libspot-dev Filename: armhf/libspotgen0_2.16.2.0-1_armhf.deb Size: 426704 MD5sum: 6fc006cd67f7b8a142c7b63c8a3bd750 SHA1: 72c20eb498551ae1300f0d24dc2983925517fd1b SHA256: 442813f21beca01dbad7ea4dcfc133a6d559d7d0a5b70299d06c53a1fcd1cc2b 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.2.0-1 Auto-Built-Package: debug-symbols Architecture: armhf Maintainer: Alexandre Duret-Lutz Installed-Size: 705 Depends: libspotgen0 (= 2.16.2.0-1) Filename: armhf/libspotgen0-dbgsym_2.16.2.0-1_armhf.deb Size: 682368 MD5sum: 10fe876f6c17bdcedeb05b7ee4876bd2 SHA1: e7325e830f1ae0ba0b87da46ac20f944090f28bc SHA256: 292d280defc2f7026a676517d990c5b0073fafa15d76d7b8203f2ec92836a034 Section: debug Priority: optional Description: debug symbols for libspotgen0 Build-Ids: 5aee0f7b75f69e39e821acec6e1332950dd5bc0d Package: libspotltsmin0 Source: spot Version: 2.16.2.0-1 Architecture: armhf Maintainer: Alexandre Duret-Lutz Installed-Size: 440 Depends: libbddx0 (>= 2.16.2.0), libc6 (>= 2.33), libgcc-s1 (>= 3.5), libltdl7 (>= 2.4.7), libspot0 (>= 2.16.2.0-1), libstdc++6 (>= 11), libspot0 (<< 2.16.2.0-1.1~) Suggests: libspot-dev Filename: armhf/libspotltsmin0_2.16.2.0-1_armhf.deb Size: 398104 MD5sum: b65684aa6c1574fc4a735b05cbb6471d SHA1: f04a85f954bcbba195c904a36633722913f8f883 SHA256: 3d8713431cf5f7aa150119ac46d30e2b3b813d3bcf621e159040bd91e0b17e8a 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.2.0-1 Auto-Built-Package: debug-symbols Architecture: armhf Maintainer: Alexandre Duret-Lutz Installed-Size: 681 Depends: libspotltsmin0 (= 2.16.2.0-1) Filename: armhf/libspotltsmin0-dbgsym_2.16.2.0-1_armhf.deb Size: 637008 MD5sum: e34a851ba688bd48aabaa94fd4d1e63c SHA1: 44e7104fcac0972eecc5640c08677ca928d7ea6d SHA256: 081329d0d2b007caecd79e47ca8963b8c4a55dea0acf1103749d760655f0fc99 Section: debug Priority: optional Description: debug symbols for libspotltsmin0 Build-Ids: 631ceb9bd127c98e89362f7bed807791cd82d6a9 Package: python3-spot Source: spot Version: 2.16.2.0-1 Architecture: armhf Maintainer: Alexandre Duret-Lutz Installed-Size: 48985 Depends: libbddx0 (>= 2.16.2.0), libc6 (>= 2.32), libgcc-s1 (>= 3.5), libspot0 (>= 2.16.2.0-1), libspotgen0 (>= 2.16.2.0), libspotltsmin0 (>= 2.16.2.0-1), libstdc++6 (>= 11), python3 (<< 3.12), python3 (>= 3.11~), python3:any, libspot0 (<< 2.16.2.0-1.1~), libspotltsmin0 (<< 2.16.2.0-1.1~) Suggests: ipython3 Filename: armhf/python3-spot_2.16.2.0-1_armhf.deb Size: 2655624 MD5sum: 1b8e844698f7bb86650d67c4e0fa80e4 SHA1: 295e0b846266b2a19dadfaa4d0c587821078301a SHA256: 59a487da5c180c248dc9b46d61860d5d4b274f841762a3075fb54430425ccb1f 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.2.0-1 Auto-Built-Package: debug-symbols Architecture: armhf Maintainer: Alexandre Duret-Lutz Installed-Size: 7986 Depends: python3-spot (= 2.16.2.0-1) Filename: armhf/python3-spot-dbgsym_2.16.2.0-1_armhf.deb Size: 7153088 MD5sum: 898d5137768b487e1aa5959d4218bf82 SHA1: 0f7e3045dcccb352c35dce1c0578aa40a0184810 SHA256: 1846e80eb7b8973d6c5312767e2c1471998f6b470754830cb6c0a330726a4656 Section: debug Priority: optional Description: debug symbols for python3-spot Build-Ids: 797184ec2988b47066bb4e9fae40ea84993412ab bcbfe2069a97d85d7f9842568282b5fd75742453 bf11cb351cca5658af7de4712d5e5f8de9081381 d8c86a3c8d0a2ef5904cd7d0dfd9e6147a9b78f9 Package: spot Version: 2.16.2.0-1 Architecture: armhf Maintainer: Alexandre Duret-Lutz Installed-Size: 3261 Depends: libbddx0 (>= 2.16.2.0), libc6 (>= 2.34), libgcc-s1 (>= 3.5), libspot0 (>= 2.16.2.0-1), libspotgen0 (>= 2.16.2.0-1), libstdc++6 (>= 11), libspot0 (<< 2.16.2.0-1.1~), libspotgen0 (<< 2.16.2.0-1.1~) Recommends: graphviz Suggests: libspot-dev, spot-doc, python3-spot Filename: armhf/spot_2.16.2.0-1_armhf.deb Size: 1068204 MD5sum: 04b67bb61674abab140c4fa85ea58aed SHA1: 183b3f6ee137a1608c75949312f5c86c1bc65cab SHA256: e933aa3d5eaabd9d71e88dbcf90807c8984d47f65fea2a56ce63885f44bb2e5a 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.2.0-1 Auto-Built-Package: debug-symbols Architecture: armhf Maintainer: Alexandre Duret-Lutz Installed-Size: 11123 Depends: spot (= 2.16.2.0-1) Filename: armhf/spot-dbgsym_2.16.2.0-1_armhf.deb Size: 9922224 MD5sum: 85417fa74b4fc634818d603c59bf55c4 SHA1: a2e3e4c5a0a83a2d0cb57023e05e3c90a32cabf9 SHA256: 745b6eeff053f3928513124043c63742ae28cfcd5304e96568291cd8684e8917 Section: debug Priority: optional Description: debug symbols for spot Build-Ids: 07e07295260f7065bbc54d2efbb2499bdc9e541b 09760b8fcb9aa61fbd3109b8dc514a818f3e26bb 20983e0c8283f8c7bc6538a619baac24b8cd8fed 2d2ba346050fb2106ebb5b118303115b35a330aa 3d2cec88793abdd0157d5519159a46c61bf5bdfc 4302a7dae800939ed2221239978cc8e98e44062c 440ffd8c3ff217dc57dacef603b009c05f24bb4b 5c4b6489c4f94f08e0f2a58a37c768a28e95e617 9b46058d9129c343faf9612d3c0dd669364d6cd5 a1c372d310f893a94cf2633c4e62ca44b881a9ea af2bcb7e7cfa4413591fdc2b12214d226198fea3 b83f27aecd9a987b367382ce30850163776f93a3 dcac56515ec6d5020fc5cba294371c3c3a009d00 e1d80ab6aeb786b9cbdb303cc20e0e0ea7ef6db7 e233769046dbf744defef412e3d690f51a258af9 e3f9a0cb04e4bf963a2c9b81361133b1470e7af1 f34b34266547c9fb6ecb34c8b0571f251bc551f6 fa05c9fa18fdb06d2e6094e9f13915d0a6ca9f4a Package: spot-doc Source: spot Version: 2.16.2.0-1 Architecture: all Maintainer: Alexandre Duret-Lutz Installed-Size: 31145 Depends: libjs-mathjax, libjs-jquery, libjs-requirejs Filename: all/spot-doc_2.16.2.0-1_all.deb Size: 2490844 MD5sum: f313fea8da0276e1ce860b8d74cc69a0 SHA1: bf52d0347674eaf41f495663f9bc5a45e6ba59b8 SHA256: 8ed2309410ded038c109e44b09cb710997f2d1a6b2f1aeb0a6d92c5967c5e154 Section: doc Priority: optional Homepage: http://spot.lrde.epita.fr/ Description: documentation for Spot HTML and PDF documentation for Spot.