Package: libbddx-dev Source: spot Version: 2.16.1.0-1 Architecture: armhf Maintainer: Alexandre Duret-Lutz Installed-Size: 350 Depends: libbddx0 (>= 2.16.1.0-1), libbddx0 (<< 2.16.1.0-1.1~) Filename: armhf/libbddx-dev_2.16.1.0-1_armhf.deb Size: 93572 MD5sum: c09ff1cd88cdff36f8bf4ce9cf02ba86 SHA1: f997cbb4fab08994ed8e4f14d6573903ae1af19b SHA256: 4aa6281b39d688695fa5f86a05466f1049826e6647db61609cb9c256927e7695 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.1.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.1.0-1_armhf.deb Size: 71336 MD5sum: 29a4f0776d449b53456620e43bea22ba SHA1: 6601dc7e48d7eff0776c2430301d1b33e3ea8cbb SHA256: 275bc76790e8d4a180a7561545b68990829763ce8245b438847fbad4ed806c98 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.1.0-1 Auto-Built-Package: debug-symbols Architecture: armhf Maintainer: Alexandre Duret-Lutz Installed-Size: 401 Depends: libbddx0 (= 2.16.1.0-1) Filename: armhf/libbddx0-dbgsym_2.16.1.0-1_armhf.deb Size: 364568 MD5sum: 91b733611d79737b01c7d04aeef27814 SHA1: 81d5e9ac0eb3e11aac26bbf54f5b4a5b7ae9e4a8 SHA256: bf2156a176752fa38ec907984ac9c41bdf46a52ae74d6010fc7d631173b184a5 Section: debug Priority: optional Description: debug symbols for libbddx0 Build-Ids: 3e91770962c3d64ce7211899d2ac6ab05b294f00 Package: libspot-dev Source: spot Version: 2.16.1.0-1 Architecture: armhf Maintainer: Alexandre Duret-Lutz Installed-Size: 14946 Depends: libspot0 (>= 2.16.1.0-1), libspot0 (<< 2.16.1.0-1.1~), libspotltsmin0 (>= 2.16.1.0-1), libspotltsmin0 (<< 2.16.1.0-1.1~), libbddx-dev Suggests: spot-doc Filename: armhf/libspot-dev_2.16.1.0-1_armhf.deb Size: 2890124 MD5sum: ee6044c97d4b9658ce793b3b642523cd SHA1: 3aa2a428d6f6f54990155746fa2b124a56117586 SHA256: 7d32701f03a9b9b62bed5fb49d70538037a6990dac71670c07fadad980110c8b 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.1.0-1 Architecture: armhf Maintainer: Alexandre Duret-Lutz Installed-Size: 3795 Depends: libbddx0 (>= 2.16.1.0-1), libc6 (>= 2.33), libgcc-s1 (>= 3.5), libstdc++6 (>= 11), libbddx0 (<< 2.16.1.0-1.1~) Recommends: graphviz Suggests: libspot-dev, spot-doc, python3-spot Filename: armhf/libspot0_2.16.1.0-1_armhf.deb Size: 1626192 MD5sum: 0ece1c01d0480c14b6ce066c6aaad0c4 SHA1: 71334e160bcd767a8ffde551194203a2871ef8d0 SHA256: cf33ee6131ba29daa6e01afa6c09b9f279c066c81d3837df70b2ac41dc758376 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.1.0-1 Auto-Built-Package: debug-symbols Architecture: armhf Maintainer: Alexandre Duret-Lutz Installed-Size: 29528 Depends: libspot0 (= 2.16.1.0-1) Filename: armhf/libspot0-dbgsym_2.16.1.0-1_armhf.deb Size: 28922732 MD5sum: 6eb3dacee28008abc38218baf4ff178c SHA1: fb7e4aa6bcf6156e64e93c5f4c52bc241cdf70cb SHA256: 8ee811520c3ae05d4ba42db73731f9b057b3d9c3daddabe0d1810a4002a15291 Section: debug Priority: optional Description: debug symbols for libspot0 Build-Ids: 4c881ecd03bf6e66132a0c7d0bc4ee8513e0064a Package: libspotgen0 Source: spot Version: 2.16.1.0-1 Architecture: armhf Maintainer: Alexandre Duret-Lutz Installed-Size: 524 Depends: libbddx0 (>= 2.16.1.0), libc6 (>= 2.32), libgcc-s1 (>= 3.5), libspot0 (>= 2.16.1.0-1), libstdc++6 (>= 11), libspot0 (<< 2.16.1.0-1.1~) Suggests: libspot-dev Filename: armhf/libspotgen0_2.16.1.0-1_armhf.deb Size: 426280 MD5sum: 530795b97bc564abebbbce97eaa07b0d SHA1: de1f3079a2756ffdaf50d0da3b6b9f18e8d29b1a SHA256: ffb6b512097368235ece9705e189e53486550fb06e4c7cd0a9e5a3c0aadf4785 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.1.0-1 Auto-Built-Package: debug-symbols Architecture: armhf Maintainer: Alexandre Duret-Lutz Installed-Size: 705 Depends: libspotgen0 (= 2.16.1.0-1) Filename: armhf/libspotgen0-dbgsym_2.16.1.0-1_armhf.deb Size: 682268 MD5sum: 91a725622e73b19f3649975902230ede SHA1: 584a3c49a7cb5bb53b2f58f13a4db1c60fbaf137 SHA256: bb61c60c1c398786ce06e6329423e69d654e689ded4e204dc6088c355870d73c Section: debug Priority: optional Description: debug symbols for libspotgen0 Build-Ids: 44207f931949ad6d58b41a2a330e686e4ea1d38a Package: libspotltsmin0 Source: spot Version: 2.16.1.0-1 Architecture: armhf Maintainer: Alexandre Duret-Lutz Installed-Size: 440 Depends: libbddx0 (>= 2.16.1.0), libc6 (>= 2.33), libgcc-s1 (>= 3.5), libltdl7 (>= 2.4.7), libspot0 (>= 2.16.1.0-1), libstdc++6 (>= 11), libspot0 (<< 2.16.1.0-1.1~) Suggests: libspot-dev Filename: armhf/libspotltsmin0_2.16.1.0-1_armhf.deb Size: 397532 MD5sum: 794bd91f97781136db75f9c0a98cfffd SHA1: 16aecedcf1211d1aa0d25c2de420fb43e81ffc02 SHA256: a1af58f9901db57444b0f638ac2ad0d58d33803f9bdb7c14656b99b16ef17441 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.1.0-1 Auto-Built-Package: debug-symbols Architecture: armhf Maintainer: Alexandre Duret-Lutz Installed-Size: 681 Depends: libspotltsmin0 (= 2.16.1.0-1) Filename: armhf/libspotltsmin0-dbgsym_2.16.1.0-1_armhf.deb Size: 637008 MD5sum: 50fcfabab4e7e92684e2a8ed9644cc15 SHA1: cde76efce3f2a7f1220fc9530ce9308df9be2658 SHA256: 9c81a212ab0af958176b1fd39570ad2ae40a079a8c783941a88566016b345c9b Section: debug Priority: optional Description: debug symbols for libspotltsmin0 Build-Ids: 631ceb9bd127c98e89362f7bed807791cd82d6a9 Package: python3-spot Source: spot Version: 2.16.1.0-1 Architecture: armhf Maintainer: Alexandre Duret-Lutz Installed-Size: 48984 Depends: libbddx0 (>= 2.16.1.0), libc6 (>= 2.32), libgcc-s1 (>= 3.5), libspot0 (>= 2.16.1.0-1), libspotgen0 (>= 2.16.1.0), libspotltsmin0 (>= 2.16.1.0-1), libstdc++6 (>= 11), python3 (<< 3.12), python3 (>= 3.11~), python3:any, libspot0 (<< 2.16.1.0-1.1~), libspotltsmin0 (<< 2.16.1.0-1.1~) Suggests: ipython3 Filename: armhf/python3-spot_2.16.1.0-1_armhf.deb Size: 2655136 MD5sum: ea2e2477c56ed9b993073b99f84c398a SHA1: 87e8abe4f26a305c9f4975dc84c5119afb43612d SHA256: 02449e128017a7e5a3056775d688cb58c5b8acdf9ac52adf89cdc8bf68023950 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.1.0-1 Auto-Built-Package: debug-symbols Architecture: armhf Maintainer: Alexandre Duret-Lutz Installed-Size: 7984 Depends: python3-spot (= 2.16.1.0-1) Filename: armhf/python3-spot-dbgsym_2.16.1.0-1_armhf.deb Size: 7151172 MD5sum: 41aab31e112d23428e1a796b32c9e365 SHA1: da2ba6ffc10438844788c23f8df983d2a451c7d8 SHA256: 5c57f0ec7be21689d61f91ca9ef1308f51689e8c6c42b6c6b15b9a3cfce33ff3 Section: debug Priority: optional Description: debug symbols for python3-spot Build-Ids: 8e9c28344b02e8bbe2ecd3816f647c9ab2e4b8af bf11cb351cca5658af7de4712d5e5f8de9081381 ea1bdac41c4726b939df678ebe8746aa3cc8da6b ea77c941a6f7ed53392f89e4c0b57ef747733dd0 Package: spot Version: 2.16.1.0-1 Architecture: armhf Maintainer: Alexandre Duret-Lutz Installed-Size: 3261 Depends: libbddx0 (>= 2.16.1.0), libc6 (>= 2.34), libgcc-s1 (>= 3.5), libspot0 (>= 2.16.1.0-1), libspotgen0 (>= 2.16.1.0-1), libstdc++6 (>= 11), libspot0 (<< 2.16.1.0-1.1~), libspotgen0 (<< 2.16.1.0-1.1~) Recommends: graphviz Suggests: libspot-dev, spot-doc, python3-spot Filename: armhf/spot_2.16.1.0-1_armhf.deb Size: 1066808 MD5sum: d61f3031f1c607740c0fa6efbf60c431 SHA1: e7ca5afaaafb70757686635494551d1c19c4c79e SHA256: 9a71b91098386c414e861366a29068efc570d48d86643ebdf9035635ca80889c 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.1.0-1 Auto-Built-Package: debug-symbols Architecture: armhf Maintainer: Alexandre Duret-Lutz Installed-Size: 11123 Depends: spot (= 2.16.1.0-1) Filename: armhf/spot-dbgsym_2.16.1.0-1_armhf.deb Size: 9923468 MD5sum: 832c884a58e5bd791e816108b8758f0f SHA1: 82e16b1280f82dce54e9d71602864c6c6985c3fb SHA256: fa3a13632e6c4fba208c82b6429535d690ab7baa6b54f19ddc9e621442498e7d Section: debug Priority: optional Description: debug symbols for spot Build-Ids: 05d02b811871cbb2507165f9807698001fae9ada 098a2a761dbf745d4f7e2baf829d65523c54c3ae 26ae9950c4c07b73567ce8519bfb054bdfc6541a 29cb8d040e43fc21b46e5cbb48af49dd4f232b97 381830ad4aee86e451d45de78f2923575ff99615 42346546f1a948068c83740d8cf3b2efb12f4396 583b1c05e6540802cd23a24c0a4f1d9274955f62 5b1cdda268f033c31d7d91b41f27e22f82973185 6f7d0dd0a7f2341c4163b4e8d8f5d06c6e7ff69d 826d8a7ee6b1b177f462ef6fe15bd450f8d280e8 8ef89342bd1054882e3460110f1a53ed871b1ce3 a395ac083118581131328cac8120e48b474789d9 b2faa42abbf163dd39b50c7751247ccb230237f2 cf8fa120be53eeb770433bd54884158c2a52070a e1d7ee5776dd5b44578e26cd0e7790b13076fd91 e7deaaf0fed588ed29a3d76bb0a921ffb3d2d3c4 fbaec0e6630ea7d9a9f8b416ac526d362d4a30ac fca7f12a1dc1f8138c88b3b6c9dd0f892d8f00de Package: spot-doc Source: spot Version: 2.16.1.0-1 Architecture: all Maintainer: Alexandre Duret-Lutz Installed-Size: 31144 Depends: libjs-mathjax, libjs-jquery, libjs-requirejs Filename: all/spot-doc_2.16.1.0-1_all.deb Size: 2489860 MD5sum: c095d6d9965c6be7df28781fadaf917b SHA1: e2f9cf69f9ef86ff668a3602e2dda18de33e61cc SHA256: 2fb93dfb2058a1e364aa0c507f0b9c2420bb9922e67b460109399c7dc28b80b9 Section: doc Priority: optional Homepage: http://spot.lrde.epita.fr/ Description: documentation for Spot HTML and PDF documentation for Spot.