Package: libbddx-dev Source: spot Version: 2.15.1.0-1 Architecture: amd64 Maintainer: Alexandre Duret-Lutz Installed-Size: 423 Depends: libbddx0 (>= 2.15.1.0-1), libbddx0 (<< 2.15.1.0-1.1~) Filename: amd64/libbddx-dev_2.15.1.0-1_amd64.deb Size: 103712 MD5sum: 049580764c2b65c0909295fd1a6499c8 SHA1: b0319a16e92e8beb71e0985c548ee692e66d1c1f SHA256: 89c75a17a859be67dc731431a2a9287400ff8a93eb4633c9cadc03ab52f53eb0 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.15.1.0-1 Architecture: amd64 Maintainer: Alexandre Duret-Lutz Installed-Size: 180 Depends: libc6 (>= 2.38), libgcc-s1 (>= 3.3.1), libstdc++6 (>= 13.1) Recommends: graphviz Suggests: libbddx-dev Filename: amd64/libbddx0_2.15.1.0-1_amd64.deb Size: 77700 MD5sum: d607bf2a98e0fab14f909904fe887bcb SHA1: fda8127a4bb83993b6d338be096a8cb25204232e SHA256: c13dac5a785a55b8189e6a0e7a51163600fcb89067a816091dae217e7bf6ad4f 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.15.1.0-1 Auto-Built-Package: debug-symbols Architecture: amd64 Maintainer: Alexandre Duret-Lutz Installed-Size: 291 Depends: libbddx0 (= 2.15.1.0-1) Filename: amd64/libbddx0-dbgsym_2.15.1.0-1_amd64.deb Size: 264260 MD5sum: 2f1e9e11cf443f3b7065ec2ea92337c1 SHA1: 05cc11dec4134dcc3cbab9cf6e5625675a647b6b SHA256: f9336eba98fd15c09eeaf529299ee704766df1554a62491aabb794203dfa96b9 Section: debug Priority: optional Description: debug symbols for libbddx0 Build-Ids: dae106e17d07f86519e65b64bf5ae892fbe6c856 Package: libspot-dev Source: spot Version: 2.15.1.0-1 Architecture: amd64 Maintainer: Alexandre Duret-Lutz Installed-Size: 19851 Depends: libspot0 (>= 2.15.1.0-1), libspot0 (<< 2.15.1.0-1.1~), libspotltsmin0 (>= 2.15.1.0-1), libspotltsmin0 (<< 2.15.1.0-1.1~), libbddx-dev Suggests: spot-doc Filename: amd64/libspot-dev_2.15.1.0-1_amd64.deb Size: 3645812 MD5sum: 58f2452a3d5e5e6cd239d27354940266 SHA1: eead76e3e323f072c9ffda97ee27e200f016920b SHA256: 1bdc14dd98bdeae4e66848ef5b78d1fc8bc33c9df74aec79fb65b4e1c998b095 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.15.1.0-1 Architecture: amd64 Maintainer: Alexandre Duret-Lutz Installed-Size: 4339 Depends: libbddx0 (>= 2.15.1.0-1), libc6 (>= 2.38), libgcc-s1 (>= 3.4), libstdc++6 (>= 14), libbddx0 (<< 2.15.1.0-1.1~) Recommends: graphviz Suggests: libspot-dev, spot-doc, python3-spot Filename: amd64/libspot0_2.15.1.0-1_amd64.deb Size: 1979256 MD5sum: da0aced636319878c505c042c4037713 SHA1: 09bd4b21e70c6485dfc6d94d6c35a74e3a81827d SHA256: c892f165138a417aa8ecbfb510327ebf1949e1b5bff23fcc326436fbe90ea722 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.15.1.0-1 Auto-Built-Package: debug-symbols Architecture: amd64 Maintainer: Alexandre Duret-Lutz Installed-Size: 29419 Depends: libspot0 (= 2.15.1.0-1) Filename: amd64/libspot0-dbgsym_2.15.1.0-1_amd64.deb Size: 29183556 MD5sum: 0ddd25d457a86230163f53227f2f3ad6 SHA1: f7816939d484d4166d437ecc5089bd4b330be739 SHA256: c88e47cfafaa792f6d8040f00e96b5394030984eea71161abdc07e431c314941 Section: debug Priority: optional Description: debug symbols for libspot0 Build-Ids: 49c8593d66c62a0eb11493a092bdb87d18b970a3 Package: libspotgen0 Source: spot Version: 2.15.1.0-1 Architecture: amd64 Maintainer: Alexandre Duret-Lutz Installed-Size: 579 Depends: libbddx0 (>= 2.15.1.0), libc6 (>= 2.32), libgcc-s1 (>= 3.3.1), libspot0 (>= 2.15.1.0-1), libstdc++6 (>= 13.1), libspot0 (<< 2.15.1.0-1.1~) Suggests: libspot-dev Filename: amd64/libspotgen0_2.15.1.0-1_amd64.deb Size: 436988 MD5sum: 85f70bf31d31859e369fb30661358839 SHA1: 72ed41189df532ecbfa6357f237bd6661fdb1783 SHA256: c255e4ac1b79fd895024c046e08fb6ca455315b4937f20550f32759b3014b734 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.15.1.0-1 Auto-Built-Package: debug-symbols Architecture: amd64 Maintainer: Alexandre Duret-Lutz Installed-Size: 847 Depends: libspotgen0 (= 2.15.1.0-1) Filename: amd64/libspotgen0-dbgsym_2.15.1.0-1_amd64.deb Size: 824852 MD5sum: f868be9b59ae123e15df63fd701792ea SHA1: fbcbb9be1e66163149e3c33d6b438464629904bf SHA256: 58d5cb956e5dfce793060c532fdfcab31621ad3da407027f29ef430d3be2efc6 Section: debug Priority: optional Description: debug symbols for libspotgen0 Build-Ids: 8cda2d60ab851fed4ee846bc16fa5be912666152 Package: libspotltsmin0 Source: spot Version: 2.15.1.0-1 Architecture: amd64 Maintainer: Alexandre Duret-Lutz Installed-Size: 435 Depends: libbddx0 (>= 2.15.1.0), libc6 (>= 2.38), libgcc-s1 (>= 3.3.1), libltdl7 (>= 2.5.4), libspot0 (>= 2.15.1.0-1), libstdc++6 (>= 13.1), libspot0 (<< 2.15.1.0-1.1~) Suggests: libspot-dev Filename: amd64/libspotltsmin0_2.15.1.0-1_amd64.deb Size: 381668 MD5sum: ce8403d8c6b384169b62bf0356d46f69 SHA1: 1dfe8b0ba26b1552e023ec913fb062b26c110ba3 SHA256: 3bd74296f811a83907d599c519e524a03f188da23e4e2d2d519b9d6943df1e3c 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.15.1.0-1 Auto-Built-Package: debug-symbols Architecture: amd64 Maintainer: Alexandre Duret-Lutz Installed-Size: 654 Depends: libspotltsmin0 (= 2.15.1.0-1) Filename: amd64/libspotltsmin0-dbgsym_2.15.1.0-1_amd64.deb Size: 635084 MD5sum: 0dd1852f431e0686afa06c4e3742e1b5 SHA1: 82de0ff0fa21a7581d013171861238141f6d2277 SHA256: 3b15635027fa955ed7f13addd112d695570b105db72e8f05fe774a60abc6c165 Section: debug Priority: optional Description: debug symbols for libspotltsmin0 Build-Ids: 6759c2597fb43c25049d123ca523166ed4a767a9 Package: python3-spot Source: spot Version: 2.15.1.0-1 Architecture: amd64 Maintainer: Alexandre Duret-Lutz Installed-Size: 44306 Depends: libbddx0 (>= 2.15.1.0), libc6 (>= 2.38), libgcc-s1 (>= 3.4), libspot0 (>= 2.15.1.0-1), libspotgen0 (>= 2.15.1.0), libspotltsmin0 (>= 2.15.1.0-1), libstdc++6 (>= 14), python3 (<< 3.15), python3 (>= 3.13~), python3:any, libspot0 (<< 2.15.1.0-1.1~), libspotltsmin0 (<< 2.15.1.0-1.1~) Suggests: ipython3 Filename: amd64/python3-spot_2.15.1.0-1_amd64.deb Size: 3873244 MD5sum: 10a1929dcec65f0e127dc7b6b434a3c0 SHA1: d2220a4ae69849cfebafced6b9698f63052d1450 SHA256: a87e4c463a8edfb96fb26aa4fbb65bcc01a593a965f5dfe1cf2f1e15b3f7df0f 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.15.1.0-1 Auto-Built-Package: debug-symbols Architecture: amd64 Maintainer: Alexandre Duret-Lutz Installed-Size: 20995 Depends: python3-spot (= 2.15.1.0-1) Filename: amd64/python3-spot-dbgsym_2.15.1.0-1_amd64.deb Size: 19854244 MD5sum: d6982e57c89d52d59287f3d8b105e957 SHA1: 8516512c44c3456ec09c6fdcb996ea3f680b5375 SHA256: 7c5604d4d460cbcef592ea1e0018b0f05223dac383f7cb96499e3790a9f4b953 Section: debug Priority: optional Description: debug symbols for python3-spot Build-Ids: 221f62bc0d34186c766f0bd74920d703fcadbc91 55caf30735e1635144b3e4a1a9538fc4e084bb2c 93368ba61da79e2c9609732c48bda70585a57d22 935a10e41d5d892245360ae53e92fb46d03c22a2 c2641bed9bc1ea575996b3816a98aec33abc453a c68fa79d595c520e5d75528963a09e6e5a7ec147 cded695520bd152020897030b0ac2f5cad9e6fed fd3eece9692642f94d9a13412d5ffb815751beba Package: spot Version: 2.15.1.0-1 Architecture: amd64 Maintainer: Alexandre Duret-Lutz Installed-Size: 3716 Depends: libbddx0 (>= 2.15.1.0), libc6 (>= 2.38), libgcc-s1 (>= 3.3.1), libspot0 (>= 2.15.1.0-1), libspotgen0 (>= 2.15.1.0-1), libstdc++6 (>= 14), libspot0 (<< 2.15.1.0-1.1~), libspotgen0 (<< 2.15.1.0-1.1~) Recommends: graphviz Suggests: libspot-dev, spot-doc, python3-spot Filename: amd64/spot_2.15.1.0-1_amd64.deb Size: 1242144 MD5sum: e4f38412af6ea5f43838218eb9a6eca2 SHA1: 2eb369433dd9c689c41e630afeab2981272b97ff SHA256: e872b75cd60bd52a82a877f1318e78a54c94f835d46d0b63673473a4574a39c3 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.15.1.0-1 Auto-Built-Package: debug-symbols Architecture: amd64 Maintainer: Alexandre Duret-Lutz Installed-Size: 15528 Depends: spot (= 2.15.1.0-1) Filename: amd64/spot-dbgsym_2.15.1.0-1_amd64.deb Size: 14350424 MD5sum: 7de0859ee285a58e01b22cbb29809fe8 SHA1: 468a483140e61c17d97a1f47f122d5e51f4c7bf6 SHA256: 05b549ae23e70d9b07ef3c2fd5225cbf0ae755aff217ca9fbddd012aab1f9540 Section: debug Priority: optional Description: debug symbols for spot Build-Ids: 02475f99fba8e7f81a64982a1a7186eb3c688aaf 47f70b59c2dd7fc6ed9ff06d3c8c516064c3b3cb 732b25a8af7b32387719458adee403878f11f73d 80c3fdb7ab47e94d27fb30eedca78525056c1e76 81132bbc9c93b9735d01398b852e12d35d8b81fb 84cef9ee9872b1b0b260f112fb29834b6839c1f8 9364011b0ccdf4be16c6a1ce1aa2301ed19fc1a2 a205a98ac4383f7d9d10276b0d56a51f0b6c8bbe b157c6dc1cf386c393c6d96a77c1dbcb5d6d0abd bb2e5f491eca5e25257c87a07be5022a648bacf1 c5fbe76d9181aba15bfdf507b48df55728703d19 c6e3aba3c446b6e9926e87c0dca3c311bb985f5e d816abd243b5529650de7ccf39f5e68acdf6cc2e db66a4dc85badd537342f48abf371b578d43c2dd dc017f8c83d617c92f2718f87becaa7be8f38b76 fddd9cf7206f86f238d84660a72223e35b8de497 Package: spot-doc Source: spot Version: 2.15.1.0-1 Architecture: all Maintainer: Alexandre Duret-Lutz Installed-Size: 30971 Depends: libjs-mathjax, libjs-jquery, libjs-requirejs Filename: all/spot-doc_2.15.1.0-1_all.deb Size: 2342080 MD5sum: a63af6db763a018cdca3d56d6177661c SHA1: 5694077435810870549ad4e291cd31ef58ff0fcb SHA256: f200c5e2b11f0e53171fae4e02b65872e26fc48ecd7f42ab648cc77b32c8a54d Section: doc Priority: optional Homepage: http://spot.lrde.epita.fr/ Description: documentation for Spot HTML and PDF documentation for Spot.