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: 71276 MD5sum: bfc3585636c5eacdf2f7eb71b30d2460 SHA1: 4a77ead6c0dbe1dee66b2a04c00841dbbfb401c5 SHA256: 0b29ce50e41bdd3ee53750371048cc9a2cbb4a97acc923835ef35d828919162b 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: 402 Depends: libbddx0 (= 2.16.1.0-1) Filename: armhf/libbddx0-dbgsym_2.16.1.0-1_armhf.deb Size: 364604 MD5sum: 078b4991b360a458e7da449da64b96bb SHA1: 2dd7dd9a23ec00c7cd20ee0e563986d5def395be SHA256: 2cd4023f2b317eac3cd14abdcb1fef2f5bc77e1547d8110ea047cf8f02d6f0d9 Section: debug Priority: optional Description: debug symbols for libbddx0 Build-Ids: 1476a877827ef2e15902b269b70f1b14d0a96c82 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: 3787 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: 1617892 MD5sum: 0d56ad83c2cd4102561ef377f692503e SHA1: 50780cfd209fd6c1de64e5de99b1d0350c8d419c SHA256: 2ce9cb61f6b22592a9c4e7bae22eaa99f1cceeb09d7dccdf8c4a7c6340cbd2fd 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: 29485 Depends: libspot0 (= 2.16.1.0-1) Filename: armhf/libspot0-dbgsym_2.16.1.0-1_armhf.deb Size: 28877896 MD5sum: 2a42e2e67712e135f37d4f678a480a37 SHA1: 6b0e19ed01007f37407c41d4abf3ae81d6d94c23 SHA256: d6057062e6047f77b64248bf0ca4ea44f4507e18215786457a870d3d412ecca9 Section: debug Priority: optional Description: debug symbols for libspot0 Build-Ids: 005829832b1edad2cb1ae33d60d645d3eef37605 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: 426124 MD5sum: 87e95f754c9b8607a8bfaf7d495e995f SHA1: fb997d0b9264919b64a5e5174027e5de62a85767 SHA256: 930d6dfefb72cadff58b9f79c097c54c44a0874d5105178e6fa4e9b82cb3e820 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: 682368 MD5sum: e58f59aac37c5bf74d3a2a9fc746b97c SHA1: 542431c18b2bc93b421c0d887cab390e96154d3a SHA256: 6ac60c13441d4dabe990fa84252f2a7681666960ac60fce5741c79e50da6347e Section: debug Priority: optional Description: debug symbols for libspotgen0 Build-Ids: 5aee0f7b75f69e39e821acec6e1332950dd5bc0d 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: 2654472 MD5sum: 6b923e704ba38d842d7724da9f11e245 SHA1: 65c06ecee1921bf7fcd8e5bbdd34899648faf117 SHA256: 52c7a308f1bcc2446403a56755da577dd6986ba3afc8f36786fd949fc740e579 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: 7150644 MD5sum: 1b06f212cfefa59a5559ee55a27f38e1 SHA1: b3b3441a2dddae19661fc66f076fa5700458e69e SHA256: 64af9c7db1f0337bc1b56be54d4aae89bb20105ec2b30be676403da35ccc572a Section: debug Priority: optional Description: debug symbols for python3-spot Build-Ids: 797184ec2988b47066bb4e9fae40ea84993412ab 7c9543bd5244c01e3728d38f9e881611c4415838 bf11cb351cca5658af7de4712d5e5f8de9081381 dbcbc7a11f95e61133bf259e780b837dea8c4b9e 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: 1066840 MD5sum: 88710476f9e270529ca9433e4af4b5d2 SHA1: b91b89fca54c8a9e3bd0f9d4dbc981e3d0416d2f SHA256: 7d4ef8da029b579b32d42a9f961109737eaba2e1f0708b60fcfa318ed2449b5e 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: 9923264 MD5sum: c081c47c9a8b06158a43afbaac6ea80a SHA1: dff4b271a36ee038c4fae2ccc5a154d32e3e6b83 SHA256: 8553c1c1354e0415adcf19b1f1d615ea650334e1a04e36e1a226ab96ffc10f5f Section: debug Priority: optional Description: debug symbols for spot Build-Ids: 05d02b811871cbb2507165f9807698001fae9ada 29cb8d040e43fc21b46e5cbb48af49dd4f232b97 41844f882b630f9cbaca2a0fbb5e2a431b31ac4f 4ab748bafd096ee6a8982f22ff5efd5c6451c74a 5963f2187e7f5ee749229b520c7f90e963ce9174 603a50bd379b40696e17d8e1eee5e67447d81ef7 667d99e837992f4028555b1e32be43847353b2b2 704055593d2dad2baa5d20d1b4e60e76231d1e71 826d8a7ee6b1b177f462ef6fe15bd450f8d280e8 92d811b0c2c8f6c9242441ba17ff09816a3bae3b 9eb8f647a3117f97aab9e66757a9ccb55d25aa5f bbacef925ed0443d4e8447f3d9b8e479c0ec34dc bc3aff8b905bf2419eb0482a202b8783bb4a8edd bf0a97ae0fe950adf4abe1cbcabd38000890e27e d19b77113a741f90c74708967ba858b812ffcf76 d8e5adc3430544f5fa30f7e7369fb709743401db e33f164820a7fee3449d574c910de5b3a98340bf fba663a7cd89c1fb846df253db14c118d85262b0 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.