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: 1979592 MD5sum: e4beafea96ecd6e43c31308f4784a7d0 SHA1: af14227ea387170a1f40894ae4aec719461d9c32 SHA256: 1ca1f3304c4c1e7c3c104276b66d42de5d7245a687a3a27aa27b0dda7771540f 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: 29418 Depends: libspot0 (= 2.15.1.0-1) Filename: amd64/libspot0-dbgsym_2.15.1.0-1_amd64.deb Size: 29182364 MD5sum: 60e7f4f29eeeb932b08d51789a1bab86 SHA1: 20e491f1065f55c3c2134b14369a0fda98a8e635 SHA256: cb6e9971c5e413260e45b5e4a61dcc31606454910576eb899f5e1fd75bb9df52 Section: debug Priority: optional Description: debug symbols for libspot0 Build-Ids: ec39d27923cc1013645df3959aa1c7d4044c6977 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: 3854604 MD5sum: 99b5d813f76cde5aa4ae76a58dc10901 SHA1: c87bb87bb5917955f11d48c9622ca9679ee1ab62 SHA256: dce658f3d889a3613be2cbe22d43e526e46f8624e4f011ea2bcca47f583a8ef2 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: 20994 Depends: python3-spot (= 2.15.1.0-1) Filename: amd64/python3-spot-dbgsym_2.15.1.0-1_amd64.deb Size: 19853740 MD5sum: d0f5a7b1b71b4434c2d8ce6b0793044c SHA1: 4f0ba1a9f8891727b8f4aba523cff4a492d0d6ed SHA256: 847616ec9c9d6260b50d0794dd416a00d5adeeb1696bafd74285308313d0ea1f Section: debug Priority: optional Description: debug symbols for python3-spot Build-Ids: 55caf30735e1635144b3e4a1a9538fc4e084bb2c 8132647aa84acff66c3b9d674caef47daa47aa5e 8e05e1a8658ef8cddb596763508cb69e79712724 93368ba61da79e2c9609732c48bda70585a57d22 935a10e41d5d892245360ae53e92fb46d03c22a2 c2641bed9bc1ea575996b3816a98aec33abc453a c68fa79d595c520e5d75528963a09e6e5a7ec147 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: 1242948 MD5sum: 7ad29e4633cc8cb02e64a38c3b1bafbc SHA1: 1064f8512697c614fcdb90079af6baa092e57224 SHA256: c973274792eb0ddc129b80d8f36c2cb0ac61992059c7cc3831ae457268235ba9 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: 15526 Depends: spot (= 2.15.1.0-1) Filename: amd64/spot-dbgsym_2.15.1.0-1_amd64.deb Size: 14353080 MD5sum: d7e3ceac2af69f8bddd24156b732f360 SHA1: eba79c275d06a596298994bf2dcf505e0841906c SHA256: b80bf0938b95c3c01b7e2776353a449b0894f06da8dae476efa5933cd5159806 Section: debug Priority: optional Description: debug symbols for spot Build-Ids: 05dfdb03c45843970bfe3f398615f169f54fb32b 2303f94b3995ed2804bc00311255889ff9323366 26e81b8007d1373dd21bc37165f83b21fd1a450f 2efc1b045fe8b645f635f1eed24025d8435ea1f3 4ce71bc1c4d18f57a28968fa49e0580364690997 732b25a8af7b32387719458adee403878f11f73d 80c3fdb7ab47e94d27fb30eedca78525056c1e76 a205a98ac4383f7d9d10276b0d56a51f0b6c8bbe a38246ce9b6ebb97b461d3060aafddf5aaf0bb73 a95c3f984d4c6713220ae53582426b791b4c7e6e b9a99459f6e4a87f567c61a10cf9d33792de2078 bb2e5f491eca5e25257c87a07be5022a648bacf1 db88f432a00a3d5e24590b3ac0e02540542909b4 dc017f8c83d617c92f2718f87becaa7be8f38b76 e6683f0777639f51aa54e1e00fb6a5cc10d069e1 f3920ccdd69e76975be7696eb92b4f3405a91906 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.