Package: libbddx-dev Source: spot Version: 2.15.1.0-1 Architecture: amd64 Maintainer: Alexandre Duret-Lutz Installed-Size: 418 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: 99764 MD5sum: 965832870bf8297efa52913625a2c084 SHA1: bf15d0c706bccaf1b5c3fee580580ba1bcc202c9 SHA256: dce4ed0f384cf63f8b9fcee7e79ff12bf09d150c2063137e65f50f6f04b41ecd 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: 176 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: 74712 MD5sum: 8689ae381993bc1968ab7d3f06ae3a7a SHA1: 36a8dc19fb72d299eabca1f022ef859c85caa0bd SHA256: 3de131bfc68bb7e7165bdae40892a87aa5b1ce8bfb6361034c4f633734d0a70c 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: 285 Depends: libbddx0 (= 2.15.1.0-1) Filename: amd64/libbddx0-dbgsym_2.15.1.0-1_amd64.deb Size: 258904 MD5sum: 4fc046bf1cf57f8eb140552e71861e17 SHA1: cdb055ad9e7329e7babc50b6ad4d8d17f5a2d37c SHA256: 0fe31745329bef860251ed95fc2d4c225386d27fe23024e9c414f8f60c23f399 Section: debug Priority: optional Description: debug symbols for libbddx0 Build-Ids: b4b6ef754772f351ebe86ada2558590e024e5950 Package: libspot-dev Source: spot Version: 2.15.1.0-1 Architecture: amd64 Maintainer: Alexandre Duret-Lutz Installed-Size: 17937 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: 3413816 MD5sum: 593e5f0449d1d280eeed8e4e41d9e830 SHA1: 9a4321e6f81f8b3be68f0c1f751008ba088dd7f9 SHA256: 8a98cb920c6ecc916d8b81313e8d9f48dffe68d90e9aeb867ab9d197d14bafd7 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: 4059 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: 1860116 MD5sum: 052039694e86cf9aa1e08190275d0cc5 SHA1: b055b03ed13c9a446fdf12ca6bf6dec75b43d128 SHA256: 05bd5a191d22dae2b6317a36d7b0304e61c1615bf073bb546f4cc57a6ba6de0c 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: 28173 Depends: libspot0 (= 2.15.1.0-1) Filename: amd64/libspot0-dbgsym_2.15.1.0-1_amd64.deb Size: 27842112 MD5sum: 1f01bf94b49ec793588dee1f4741a314 SHA1: 831c1c9bc7e96c15af2edb433573b7e5fd9dfb99 SHA256: af42d6c94848d0a3ac520d985a3712ac34caee50468a1c9d8b5ed17f1106c112 Section: debug Priority: optional Description: debug symbols for libspot0 Build-Ids: 39d7d0ce9a1dd6a886cf16c9b399dd0a29445ac3 Package: libspotgen0 Source: spot Version: 2.15.1.0-1 Architecture: amd64 Maintainer: Alexandre Duret-Lutz Installed-Size: 559 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: 430148 MD5sum: b6c944fa3333db368eb535dc1eeaac45 SHA1: 12fa868fd443560146f0d1dcb6ec8ba549f4ed39 SHA256: 5e0e1046f93812459d2170b4f87c9a41bab83d5082e509866cc9062b0f766877 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: 757 Depends: libspotgen0 (= 2.15.1.0-1) Filename: amd64/libspotgen0-dbgsym_2.15.1.0-1_amd64.deb Size: 732800 MD5sum: 004a4b221108fbc51fe9f2d0a3266bc8 SHA1: 5d6856ff5dbeb837b315889532e21b55a7faad94 SHA256: a06d63fc93b20d8c5f5d9c1b53872a6208bbc55c0bdea52ccfecff476fa618da Section: debug Priority: optional Description: debug symbols for libspotgen0 Build-Ids: f1c6c63ea3b208c46fd7470fdde05b0d428b5bcf 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: 382788 MD5sum: 26d64c89af38f0276694c9ed1e165802 SHA1: 66a53de7bc218784f65bccf69da16a481546d80f SHA256: 4665530e93c6049398e9386222cd268a985476aa91f3540c6fbe8289c6315b3e 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: 659 Depends: libspotltsmin0 (= 2.15.1.0-1) Filename: amd64/libspotltsmin0-dbgsym_2.15.1.0-1_amd64.deb Size: 640232 MD5sum: 7c6172ef71f9c4241437ad975d298c25 SHA1: bd622ccf100a8b05b4d4022dc920d4de203ba3de SHA256: 773ec359df3301107b9ab66b5e69eacc1870bff6044e3d34c49b1a12050bc259 Section: debug Priority: optional Description: debug symbols for libspotltsmin0 Build-Ids: 06f0ab65905ee9bd31be3694cc6a7f0fee303ef8 Package: python3-spot Source: spot Version: 2.15.1.0-1 Architecture: amd64 Maintainer: Alexandre Duret-Lutz Installed-Size: 43862 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: 3691304 MD5sum: be5fe25c5dc83d648e4443f96c03436b SHA1: b76fc984a72c7394c21302d68ada9a64557b3c68 SHA256: 29abf304653e28a2bb2ca86c34be86032051c19f4fc208500dab27d291b27f9d 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: 20774 Depends: python3-spot (= 2.15.1.0-1) Filename: amd64/python3-spot-dbgsym_2.15.1.0-1_amd64.deb Size: 19623992 MD5sum: 3d1073f044e7ad55c1c740a700ffea24 SHA1: 396bfd8ae290d7c1d64d46bc4c330b771491d247 SHA256: 8fff1c4dd58243d21018cfb90cf2129cfa9fe73cd84a231975d4330abe235526 Section: debug Priority: optional Description: debug symbols for python3-spot Build-Ids: 0a039d3a84ea6f69bd67827da82014c49393aef4 1b38c103e46215f82395c4314a05ee49d388a9a5 33d4f9c2b652476f0e9484dd270ddf59190bbd80 5cc7ec7ced5a322534b5c8f85a52367f8ad8cec2 76fe3e227a2f31c1f09cf285a5da7881abac0b58 78ea52308630c64e0950a4925fde915fc0b011fa 91fe174befcf11cc0a07e67e76d8bd12b7d856f1 d6782bed7d06709dd3b24b58b9a99ceab928b7a2 Package: spot Version: 2.15.1.0-1 Architecture: amd64 Maintainer: Alexandre Duret-Lutz Installed-Size: 3627 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: 1202000 MD5sum: 3517da0a18326f9765494368f5e08b0f SHA1: 44048671ce2a3a305ea006317b3a1d3f91d4852d SHA256: 6042e988a9b2373ebd92678530d53a59631f09193666dd53de3e56ce1cdd08dc 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: 15337 Depends: spot (= 2.15.1.0-1) Filename: amd64/spot-dbgsym_2.15.1.0-1_amd64.deb Size: 14130264 MD5sum: 034d9df692dbe1d32eb9b4f1df7214ac SHA1: 8f25b7ac0bdfdc1882f4006e3a8b4d43ab4b9cc8 SHA256: 7bc75e61f6e3d3097301c170b7af66d32a4c4bbd03ab94961820ec4b1174ea8a Section: debug Priority: optional Description: debug symbols for spot Build-Ids: 06169a3a9d674835a46a12771baebda55f80f2d1 152658cdef3f46f02d1686bc902e21514a828401 188eca718c7a4c8156a99d15df6904f56be59238 3637f0eacfb79f7e1c5b237e4bdd24207277781f 3d07e27961da01b06474b7568815e9165432b638 4f66d6972d69212ecdfec1a754241db2e90749ba 61ea283cd45593561de45db6e6287d46a04dac2f 7f7fe71fabe7265352f2c675d4a396863fc9fcf5 80de695414d652df40f00fac0b7af3c3be5f073d b6faa699f3d8bd8d70c40d82ff3f1eb02ce3a5e5 b7cb7f48d68be7ad2ebb70f8f7d6250783150208 c7546498a02fc3b989914db629ba2efdf1fe47da c9b27de5e16d6fbfbe0427b4751b9efc8e15a9cd d508a308ebe77ba7d3c06b23c62e5d19cde1c307 ea55c1106f126ef31dab2f3dbeeea88b5f67dd05 f03f684c5cd6b83c4e903f7504ee18ebb7ccc9d4 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.