Package: libbddx-dev Source: spot Version: 2.12.2.0-1 Architecture: armhf Maintainer: Alexandre Duret-Lutz <adl@lrde.epita.fr> Installed-Size: 236 Depends: libbddx0 (>= 2.12.2.0-1), libbddx0 (<< 2.12.2.0-1.1~) Filename: armhf/libbddx-dev_2.12.2.0-1_armhf.deb Size: 63232 MD5sum: afd3aeb044fa86c88165a3cdb938d762 SHA1: e3d1905e120a049ed47391e0ebd8ad3acb9d7e04 SHA256: 0f79348ff5dcec5dcd007ec589c4947eb97e79da64ff01827ba923e7de4fa611 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.12.2.0-1 Architecture: armhf Maintainer: Alexandre Duret-Lutz <adl@lrde.epita.fr> Installed-Size: 120 Depends: libc6 (>= 2.29), libgcc-s1 (>= 3.5), libstdc++6 (>= 4.3) Recommends: graphviz Suggests: libbddx-dev Filename: armhf/libbddx0_2.12.2.0-1_armhf.deb Size: 46424 MD5sum: cd9f0af11fa6ed78edcea455abfe3595 SHA1: 360a696822b60c423923690c1e8f80a0f9f3b2da SHA256: 072cbdf8cc87ba101670d89c6ac98e1f36ed41772e4f543dc3cf9c861b3e67a7 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.12.2.0-1 Auto-Built-Package: debug-symbols Architecture: armhf Maintainer: Alexandre Duret-Lutz <adl@lrde.epita.fr> Installed-Size: 168 Depends: libbddx0 (= 2.12.2.0-1) Filename: armhf/libbddx0-dbgsym_2.12.2.0-1_armhf.deb Size: 136056 MD5sum: d059fc8c129bc3cce4df997a5302c382 SHA1: ba21ba8685f0e2fe018add2754a89f749f989498 SHA256: 0fd5950aa13e4608c9e8c879ddfb458b3b4c4958177e22c49a40b27c2ec3b44c Section: debug Priority: optional Description: debug symbols for libbddx0 Build-Ids: 73b45301146aa016ec4db062fd381d7aa130bf89 Package: libspot-dev Source: spot Version: 2.12.2.0-1 Architecture: armhf Maintainer: Alexandre Duret-Lutz <adl@lrde.epita.fr> Installed-Size: 13837 Depends: libspot0 (>= 2.12.2.0-1), libspot0 (<< 2.12.2.0-1.1~), libspotltsmin0 (>= 2.12.2.0-1), libspotltsmin0 (<< 2.12.2.0-1.1~), libbddx-dev Suggests: spot-doc Filename: armhf/libspot-dev_2.12.2.0-1_armhf.deb Size: 2543992 MD5sum: c890602a3f3a1e5851bb941f19a180b8 SHA1: ce63e49b19d688a970fc835c7ec150d23c463059 SHA256: 64b25d7f7d8853880e5ba90e50ab12f86a86e64aad93ad24288dc5b0f179e1c3 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.12.2.0-1 Architecture: armhf Maintainer: Alexandre Duret-Lutz <adl@lrde.epita.fr> Installed-Size: 3238 Depends: libbddx0 (>= 2.12.2.0-1), libc6 (>= 2.33), libgcc-s1 (>= 3.5), libstdc++6 (>= 11), libbddx0 (<< 2.12.2.0-1.1~) Recommends: graphviz Suggests: libspot-dev, spot-doc, python3-spot Filename: armhf/libspot0_2.12.2.0-1_armhf.deb Size: 1393676 MD5sum: e4cc109a4fcc61df281a273ff9170f25 SHA1: 597c3aba3438b8662c490e8cd1a8301782c39181 SHA256: 67483d7bf070e488106e412d8830a893e56508e784df909ee73d137299993bf0 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.12.2.0-1 Auto-Built-Package: debug-symbols Architecture: armhf Maintainer: Alexandre Duret-Lutz <adl@lrde.epita.fr> Installed-Size: 26386 Depends: libspot0 (= 2.12.2.0-1) Filename: armhf/libspot0-dbgsym_2.12.2.0-1_armhf.deb Size: 25870244 MD5sum: ea743c408f4c383866f237c01eb5ef56 SHA1: a5114b7fbb1373d71a4092a350b87152abaf8cf1 SHA256: 6b42a5e3b0b542ab17f125831cac7b036489be361a4624e94b68baf672c55d91 Section: debug Priority: optional Description: debug symbols for libspot0 Build-Ids: a0f29b5f245b43e265424c1be5cd8748e547519e Package: libspotgen0 Source: spot Version: 2.12.2.0-1 Architecture: armhf Maintainer: Alexandre Duret-Lutz <adl@lrde.epita.fr> Installed-Size: 492 Depends: libbddx0 (>= 2.12.2.0), libc6 (>= 2.32), libgcc-s1 (>= 3.5), libspot0 (>= 2.12.2.0-1), libstdc++6 (>= 11), libspot0 (<< 2.12.2.0-1.1~) Suggests: libspot-dev Filename: armhf/libspotgen0_2.12.2.0-1_armhf.deb Size: 382856 MD5sum: 2a7518db3d772119f77c206380535d73 SHA1: 1a7a6a44c841935d9ae1331748b2b4eab45870de SHA256: a3fd06cda027ae9f6f932ba07abe9ecbf341bf59b6aa42a98a9a6eafccd22702 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.12.2.0-1 Auto-Built-Package: debug-symbols Architecture: armhf Maintainer: Alexandre Duret-Lutz <adl@lrde.epita.fr> Installed-Size: 614 Depends: libspotgen0 (= 2.12.2.0-1) Filename: armhf/libspotgen0-dbgsym_2.12.2.0-1_armhf.deb Size: 594084 MD5sum: d5e65fe4d9a354c443841ae669f602a8 SHA1: 9aacd5aab532090eaa0807a4da417e1108ffe5c1 SHA256: b7d3d70f16c342a2e8d1714d63a73639dae5a89495ab7b1b21767c2680eaae7b Section: debug Priority: optional Description: debug symbols for libspotgen0 Build-Ids: 2e7242e81c768177b9ce70e38aef7a75429d009e Package: libspotltsmin0 Source: spot Version: 2.12.2.0-1 Architecture: armhf Maintainer: Alexandre Duret-Lutz <adl@lrde.epita.fr> Installed-Size: 396 Depends: libbddx0 (>= 2.12.2.0), libc6 (>= 2.33), libgcc-s1 (>= 3.5), libltdl7 (>= 2.4.7), libspot0 (>= 2.12.2.0-1), libstdc++6 (>= 11), libspot0 (<< 2.12.2.0-1.1~) Suggests: libspot-dev Filename: armhf/libspotltsmin0_2.12.2.0-1_armhf.deb Size: 352232 MD5sum: 1aefd88890e2558086e3d2a46d5fa1cf SHA1: aae6e58ba95536f612dcbb35d0a35e9c02526cee SHA256: 1570d2ea863d632ad0cf5d2f20aee084c46ee215477ac40fc0d8f345a8702bfe 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.12.2.0-1 Auto-Built-Package: debug-symbols Architecture: armhf Maintainer: Alexandre Duret-Lutz <adl@lrde.epita.fr> Installed-Size: 661 Depends: libspotltsmin0 (= 2.12.2.0-1) Filename: armhf/libspotltsmin0-dbgsym_2.12.2.0-1_armhf.deb Size: 617560 MD5sum: 323264106b1df3cdf09e1bf6ec093fa2 SHA1: 3de98197ad4418a5e991acc562e91f4fb911307c SHA256: 4a806e75e164140c47a56194ae291fe088a200976e79172edde3249efd799a71 Section: debug Priority: optional Description: debug symbols for libspotltsmin0 Build-Ids: 96a916616bc103172d4844a15a46a7cdcf14357d Package: python3-spot Source: spot Version: 2.12.2.0-1 Architecture: armhf Maintainer: Alexandre Duret-Lutz <adl@lrde.epita.fr> Installed-Size: 15698 Depends: libbddx0 (>= 2.12.2.0), libc6 (>= 2.32), libgcc-s1 (>= 3.5), libspot0 (>= 2.12.2.0-1), libspotgen0 (>= 2.12.2.0), libspotltsmin0 (>= 2.12.2.0-1), libstdc++6 (>= 11), python3 (<< 3.12), python3 (>= 3.11~), python3:any, libspot0 (<< 2.12.2.0-1.1~), libspotltsmin0 (<< 2.12.2.0-1.1~) Suggests: ipython3 Filename: armhf/python3-spot_2.12.2.0-1_armhf.deb Size: 1532024 MD5sum: bda9c89ffe5bdeca965d106cb3bfedcf SHA1: 5198e5fe87555829f4f680375f1fb0151daaed2d SHA256: 76f0ebc97230091c2e860d517bf7be05857078af8a58beb13b5812eb1d9f1c9f 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.12.2.0-1 Auto-Built-Package: debug-symbols Architecture: armhf Maintainer: Alexandre Duret-Lutz <adl@lrde.epita.fr> Installed-Size: 6595 Depends: python3-spot (= 2.12.2.0-1) Filename: armhf/python3-spot-dbgsym_2.12.2.0-1_armhf.deb Size: 5909708 MD5sum: d4cd9be0367183449b853ae0e688ed3a SHA1: 31fbf1bac822022c75e9f3fdaa85cdb656ec4745 SHA256: 6815b713feed5450faab618c5e7d0ce3524ac365237674356a9663b640bb1019 Section: debug Priority: optional Description: debug symbols for python3-spot Build-Ids: 01285943c290dbc18190ca6f81a95aedf22abb71 457c12cb54d5e64711a6f1ac17e09a6afaa4401d 6e917340e1f2b5816bff3549ebcaf49083b6004f cbe46878701e99e0d74b045c35b82f3564357d10 Package: spot Version: 2.12.2.0-1 Architecture: armhf Maintainer: Alexandre Duret-Lutz <adl@lrde.epita.fr> Installed-Size: 2285 Depends: libbddx0 (>= 2.12.2.0), libc6 (>= 2.34), libgcc-s1 (>= 3.5), libspot0 (>= 2.12.2.0-1), libspotgen0 (>= 2.12.2.0-1), libstdc++6 (>= 11), libspot0 (<< 2.12.2.0-1.1~), libspotgen0 (<< 2.12.2.0-1.1~) Recommends: graphviz Suggests: libspot-dev, spot-doc, python3-spot Filename: armhf/spot_2.12.2.0-1_armhf.deb Size: 856948 MD5sum: 3991f6309481e7cc41d7b7a29d8828e2 SHA1: 28d5ebc5ed0f9c6cdedf09bc3bf9d26a5e6467ee SHA256: 6e6fbd1c7e52eb325758e7d280c23c645cc7c1829f72ffba0aa903a08357e0af 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.12.2.0-1 Auto-Built-Package: debug-symbols Architecture: armhf Maintainer: Alexandre Duret-Lutz <adl@lrde.epita.fr> Installed-Size: 7589 Depends: spot (= 2.12.2.0-1) Filename: armhf/spot-dbgsym_2.12.2.0-1_armhf.deb Size: 6800576 MD5sum: 119bcc5a57616626c26443ac7d7eae5a SHA1: 8fb1f6f20f97ca0f6d9e4bf07093eb4d22aa96d4 SHA256: 4b5ab7ec6b2180334021e173d9044fa3db86cc32463fbe38d9704d2941239100 Section: debug Priority: optional Description: debug symbols for spot Build-Ids: 01cfa2e7cc27965c60cb31ef5b800a44beccce47 05ffed96312fe9aaf5acc8ac2cdbb04e6fe50b51 0c4b63e3ad343492104db9514c91f0e27bae86ee 1450f23560d915a3b1c80152749d57854c26b291 66b2b531eb95b140a3d155dc3132e1476c0a2dbb 7b6e93677c54c7ef285b3c04450a69f4ad60223c 818270b8c3bb2538f34bdbc491d381647f86af55 86a3148cdf5fbec97a9dc665a172064242a37330 8c5ca1e6b8350d7dae047af2a9cd7196203e7888 97c64847118f46fcc67da97a32f0a202f5da56dd 9fb0a02b2eec0d74e5cddb4116ae68cd7d297c07 c01ddecc440c436310d0388f97dc5369c58faebd d0aacb583799efc147fbc16bf234bf574ea74b54 ecca22d5fef7320ed1e569847117c127cd3d6db7 Package: spot-doc Source: spot Version: 2.12.2.0-1 Architecture: all Maintainer: Alexandre Duret-Lutz <adl@lrde.epita.fr> Installed-Size: 30049 Depends: libjs-mathjax, libjs-jquery, libjs-requirejs Filename: all/spot-doc_2.12.2.0-1_all.deb Size: 2251672 MD5sum: 9567eb82bafb724bedeb2224d89d25cb SHA1: 2eec25701227bc12efe1ad167cb7315420b5a47d SHA256: b499ac4bd90f54df7cefd7fca20453287d43c37aa590bb06f838d382daf11a1b Section: doc Priority: optional Homepage: http://spot.lrde.epita.fr/ Description: documentation for Spot HTML and PDF documentation for Spot.