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: 77828 MD5sum: 03e7e19ebbf74c7b1e094b76bf3c6c1d SHA1: f47fbe0a6e6229a3f165361c3f5004d1dcc90713 SHA256: 7c3de71ed07c0ba7bc1f43d174c1fddbb16d5578d1d9e8409338e9ae99f5f160 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: 264088 MD5sum: 60ea33fc91f0c227b6a48013c07531ad SHA1: cf3d96f0c36fa40146de68428797f3ebbab17298 SHA256: 82165e252d06fe477c90d11fe18d2fae7e9c15c427d588e3ef71adc544812b80 Section: debug Priority: optional Description: debug symbols for libbddx0 Build-Ids: 4df25fc0e7cc0c0b8169a75a67ac4cc467d2d0c8 Package: libspot-dev Source: spot Version: 2.15.1.0-1 Architecture: amd64 Maintainer: Alexandre Duret-Lutz Installed-Size: 19870 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: 3649292 MD5sum: ba2e152543dd9e415282f9f556113538 SHA1: 0f3ee5fc0eaa5fd50f28639c774fac1334a896cb SHA256: 096a268b23e7aa7c2c1cc20c91f24bdc805c8b4978cb03534d08961e578d1a0c 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: 4327 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: 1974232 MD5sum: 3b49278ea5a01f8eea9d003f67fda3f3 SHA1: a4816fb33b743eb209159846fd8ca2ca48e24291 SHA256: 65a60aeb8c30fb890a70ea0d2b93ba52652d2aaec236dc6320a1cb47d5c7e46f 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: 29307 Depends: libspot0 (= 2.15.1.0-1) Filename: amd64/libspot0-dbgsym_2.15.1.0-1_amd64.deb Size: 29071908 MD5sum: 28b19322b86124be2c210130deff3f1b SHA1: 1c334139008f114e05c373e26c185327aefdb7e4 SHA256: 587da8de062c958f1078a31f6da13b43edf9fc282417796dfe5e02b5d9331061 Section: debug Priority: optional Description: debug symbols for libspot0 Build-Ids: 21c40ec2b312c63abeff412807fa15748b45cc43 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: 436860 MD5sum: 2c0ece74ac97a29582fee0c4cd2c8739 SHA1: a263a6bdaea5a53c2d47d5f8d4d1d98030e13a46 SHA256: 70f2924eeb4eaf6b43eb4aef0b4c6d125f1a7ee32f78f74a827312744d3fc6aa 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: 824912 MD5sum: 2d3631236a72fb709af2e74d668a2f7b SHA1: 2e52d9dce201075303bb0b9fa56a1a1b42fd25df SHA256: 1a6bfbc1e804410d534ff36d8100f9bcbc48db03a8dfe920bf6c7b385233f6f1 Section: debug Priority: optional Description: debug symbols for libspotgen0 Build-Ids: 3c9a30d4d27befbf32691f89519008eeb0cfe58a 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: 5478f3705f8a35d21720029a8fc1302a SHA1: d9b09c2cb0ef7748809ed1978006ebc50c1562f7 SHA256: f9a0d267533d9c000850d044523c5a8613cc6c101c3ff6b34e604e9ef68b5620 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: 635256 MD5sum: c06d6ee04c4dde742c8cdce2b99570fd SHA1: fff348b1067b227ba1917243e38e8530b238def2 SHA256: 2ee1d2c0338f02493382c06ab91d6e5619eba63d4e38bea2fb23014ffcec83aa Section: debug Priority: optional Description: debug symbols for libspotltsmin0 Build-Ids: a18b7a8bd004945e4e8be6d63bdd367b843b99a6 Package: python3-spot Source: spot Version: 2.15.1.0-1 Architecture: amd64 Maintainer: Alexandre Duret-Lutz Installed-Size: 44350 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: 3878688 MD5sum: 736e9ddd40f3dbd39986ea1549744c29 SHA1: 5a44f6e9536eade52941879f9e88cb714cde221c SHA256: d6a5e6992d25810112cc63076084cd3eb00f7ba066ab3fbc8a23946667f484e2 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: 21133 Depends: python3-spot (= 2.15.1.0-1) Filename: amd64/python3-spot-dbgsym_2.15.1.0-1_amd64.deb Size: 19990504 MD5sum: fd5a6d67fd7d2117b0fff74f3b16183e SHA1: 1a32d5728e64d9030c86f777301af086a05ad83e SHA256: 754fc57b86668d81aaa317d9891b4d54a2c2c1890c42ee18882834d78e021634 Section: debug Priority: optional Description: debug symbols for python3-spot Build-Ids: 02ed3874d160f324f84035d398c0d916c15dd04d 0f2a5847af4955325c3c376e0742ef294fa95a6c 64477921f2f5a79be5c902a6d4dd4dc39a9dbdb5 8df4d4ef2f874622c26eb42cf712be8828f167ac ae8cf92ad0636d1f7b42e9a76c28b9f2188fa0df af7f415e3315c9ff26b2acf212a136a42288de1f ba4b4740eac106de2c59402055f91f8650c90183 c5855807aaed7ca83764fecad8946f0417cc4f5b Package: spot Version: 2.15.1.0-1 Architecture: amd64 Maintainer: Alexandre Duret-Lutz Installed-Size: 3724 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: 1246108 MD5sum: 7619e7da9ab321b1a92fa64b77f35b66 SHA1: f29498e636f1fd88b673964518f194a6a897ef3a SHA256: 79b049cbb97eaeff437af4a0a75a0443a552dfa77823c62420867201b43ce2cb 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: 15532 Depends: spot (= 2.15.1.0-1) Filename: amd64/spot-dbgsym_2.15.1.0-1_amd64.deb Size: 14354492 MD5sum: 0bf2e063409f8e381818e76e13dc028a SHA1: 71f1cf2e3959ebed1c06601ce988eb2e10d4dfe8 SHA256: 51873a2e5eaacece8b3555811c2e79d2954ae20393f3bb9d0aecb6a2c6d0346f Section: debug Priority: optional Description: debug symbols for spot Build-Ids: 05ec8736de69fb66c218b2f1e7eb81e3b2252257 38e1b016a5924546893a3e8cb5ddb47068262abe 3b0cbafbe6704ad40f75c01006de5e6225d0c746 3e2c69201ab81e8c1e9a7f448ec61d8d538b7459 5f99e8c3fba3e260e27daccbbcd013588bfa9f65 5fe250967162b2093c805519dfaf4ad54f4b1c86 63a672bc18e06ec42b116ab314108983ac6195f5 6758b7665d12934a17d3aab1531b7ac58442a124 690f8953358148fc9fa67defdc010be3e78d2e47 72a988e9a8b715e8f0731bb448469496032cc761 7bb0a1adf45e49a9d31aa7bfb03eefbbe7550ff6 7dc4a1cbf1f840297373acd557d825f8bb99b9d6 89ecfed0a55cc65b32634043bdbdbcbf319a9a16 ad9d612c0ca76fba5e0d085f757b5bd8d6f748c4 e550a6b06f1bb46c5e37c41c576777bae2f1461b e8efabf8b950705bb645e992b6642784630c8918 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.