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: 71380 MD5sum: 097e10f83be058fbd0d7a544c3eff533 SHA1: fbc58d94e94369c6ec2c72439b19730128f86803 SHA256: e53abdda5bf50f7688d9cd7a7c88608ebb7629c7fbb5288be8233237ebed4dd0 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: 364476 MD5sum: bbfeb87dafbfb6c797d5c678fd8ba964 SHA1: f5141bc6731ec747c9734dd95d2e475d2fabdc46 SHA256: 46e3d57229c3498a9f9c18fe947f54cc28c7d429003c89c8abb14ed1ee3714d8 Section: debug Priority: optional Description: debug symbols for libbddx0 Build-Ids: be051282d85f773285918b489cbf1ad918a69259 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: 1618788 MD5sum: 6f239faaf85c34e39f4968e39f951336 SHA1: 57e56e5ba5b6e18df15b72f70c7c5523b5b44b1e SHA256: e087c626228b925e5a2a301230dfed38cb9576d35722713435b8233366fa3262 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: 29487 Depends: libspot0 (= 2.16.2.0-1) Filename: armhf/libspot0-dbgsym_2.16.2.0-1_armhf.deb Size: 28880480 MD5sum: 2bf9dcce20b020933d117051da23cedb SHA1: 8410007a84cff525e3ee0e1c16bd5e098f28135b SHA256: c9342888f3b2ccc2afa4450f6601ddbba65d25e210396121c92c1cfd54278400 Section: debug Priority: optional Description: debug symbols for libspot0 Build-Ids: 8ae1ddf8ce91b3e69485cb71274d8c6b702238d7 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: 2655892 MD5sum: 28973d993cb37a09d0655ed9eb93ba90 SHA1: f3574247a638b1a7f84ee7484e5f6df2120ea1f9 SHA256: 29db33edadab7e88a7f103f24edd8e4d1cd4e80752b6f24079e1d2f20ccdcfb1 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: 8014 Depends: python3-spot (= 2.16.2.0-1) Filename: armhf/python3-spot-dbgsym_2.16.2.0-1_armhf.deb Size: 7183860 MD5sum: a07568d605e6d6ebd1e55f3092798ee5 SHA1: 28b74aa94d0ccd639864daf2bea8355daf5a8705 SHA256: cbbacf1e4e82eb5b5cf7963286895ff8a6734fbcd2e992b251b9d3ef09a85db1 Section: debug Priority: optional Description: debug symbols for python3-spot Build-Ids: 797184ec2988b47066bb4e9fae40ea84993412ab 9a8bf5a88fb521c71a5e185f3eeacd8a8984878c b5d85c0284c043dd4762419c315f820bbce894f7 bf11cb351cca5658af7de4712d5e5f8de9081381 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: 1067788 MD5sum: ee28f11439d8f9eafc2d25eaa4cec9b6 SHA1: 789b89d78da3406a89c78384c367773e6ea270f3 SHA256: 1a9112992956d898de6c5f72ede56504b1ae9bff223fb130650e0ff0f8d6dfd9 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: 11125 Depends: spot (= 2.16.2.0-1) Filename: armhf/spot-dbgsym_2.16.2.0-1_armhf.deb Size: 9923792 MD5sum: d753f4c02314262be5180e0d4a8196b9 SHA1: 7db71c094e1ddbb4378ad8cb4c0d2d512a644bcd SHA256: 29739151c1b4395d514602d0d3bfc55829c1f5b2a89de394bdfc896c36a43981 Section: debug Priority: optional Description: debug symbols for spot Build-Ids: 05b666e1eae2aaf00e6dc340979df5e690dcc112 07e07295260f7065bbc54d2efbb2499bdc9e541b 09760b8fcb9aa61fbd3109b8dc514a818f3e26bb 1b8eabccdc078c90bfeb2b687a7c59cd443d94ec 1e5dcb27ab71359d22ec119471b0b3cacf3fbd56 1e8c4cc0410d84a527b683cf60ac80b0daf0c166 1f0c59a7f5ffd5ff406b14748f3e9d7de3324393 250ef4e9158d1763355619ba9a1c5a192ae0ba47 4302a7dae800939ed2221239978cc8e98e44062c 628dc84cc3272f9e38ba6790858fd12ff09a5847 7c0c75c55347b58b3ea8ffa29229f5913cb4f55a 81c95bdf0a58303bfc706b23457f7d5074120b91 822cb639ba9c923b0e4c7f2a667e7f6dc1edc59d b00bef88e37d0170bb0ec12f5e89e7246fdda743 cdf026aae311e532d33dd8ed4ee911875fd4b339 cf49b058ae7a84f574f9c301291c66bd40a604b7 d98813b9f02ece4d8ab44d95fb08c6f8de801e8d d9d46127d81f5b2bc770933c8a460140ff0b5bc7 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.