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: 77716 MD5sum: 3298a333a0b94fdfcffe95a34c2de9da SHA1: 0b264d032d1350272bb9722771e08a09218ad8da SHA256: 714ee80b228a188bdebb02c73537747546ce25dfc3fc499692e468f3d1c1c932 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: 264080 MD5sum: 130f0c7c2dbd3236fd8927497a7fb6e3 SHA1: fe465eb3c748c481e9a7944459ffca5e574bdc1d SHA256: bffa0e4778040a1475a181bd4d0cb0be2965491ee347d64dff6dfda2822b0ee5 Section: debug Priority: optional Description: debug symbols for libbddx0 Build-Ids: aa4424ad04b255796076b2315008d14d9bec09a7 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: 1974388 MD5sum: 970bbda423042edefd95e34352816b1f SHA1: 824b0a3fe3ec979aca799c7d1508bb6b8d18e65a SHA256: 953aa86a5b4a177509f3b8e37540470e726d147142f254da57c0125e59665a08 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: 29071100 MD5sum: 23cc72fca42afce75224a0bc9d7a04b5 SHA1: 31fa0493eea4f36f186947e90d2847ce85fed916 SHA256: 6ce665cb9f901e61e6af139bcedab9abcb450c6463edeb5d7feb336cede50b8c Section: debug Priority: optional Description: debug symbols for libspot0 Build-Ids: a0c9c7443175e76980fb721296fbea778c6ad9cf 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: 437000 MD5sum: 3ebc7671d868a6e8a57b2858dc34cf4c SHA1: 87f6617dd0a9d0171d0dfa33cd0a4c93760ea776 SHA256: 439e0303ab2cbbcac8e843359557d6066cd30f5b3420e7408155f4e61df9f6d3 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: 824964 MD5sum: b41134b9ab605071202e2a043a396f41 SHA1: f48cdfa5ff47c1bed8761899c370ab092ec4b083 SHA256: faa4776bba0e092f0b7f85775f86a4fedefc6595d0eaf736adf42a4e8e137cf9 Section: debug Priority: optional Description: debug symbols for libspotgen0 Build-Ids: 85458714653c7df1522ca8b03beac20bc66f2dd6 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.6.2), 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: 381652 MD5sum: 2cc6361425275f33ea8670ae757930e8 SHA1: 8cae1cc6a3eedf18b6fa035cc5f8b67056dd032a SHA256: 7cd9c5df1678babb960b4817dcef51d99c685408fbc9738cba3e9c65d7907b12 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: 635264 MD5sum: 73e9d7428a3dcac6e757e6359d1e3bf7 SHA1: a804a950e9d05a1ee8f1038e46b829a8ef4c669d SHA256: 7692338dbff5cdf0ae4eb749160a6b7f649e007a0d390eb0f9f594e7a31bc0ab Section: debug Priority: optional Description: debug symbols for libspotltsmin0 Build-Ids: fe06a24a05e02928a4d66b252dad5fe7c207bf40 Package: python3-spot Source: spot Version: 2.15.1.0-1 Architecture: amd64 Maintainer: Alexandre Duret-Lutz Installed-Size: 38460 Depends: libbddx0 (>= 2.15.1.0), libc6 (>= 2.32), libgcc-s1 (>= 3.4), libspot0 (>= 2.15.1.0-1), libspotgen0 (>= 2.15.1.0), libspotltsmin0 (>= 2.15.1.0-1), libstdc++6 (>= 13.1), python3 (<< 3.15), python3 (>= 3.14~), 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: 2684436 MD5sum: eb98a5b3c18fa516cd97dc9b9bd8bd87 SHA1: 46ee63454e2b5f704f9364a51e4beb8aed20fce6 SHA256: 8e8d3b0452865bbe304ce99ba8c503fd363c5f83d31d67617e17dbda0ba3c911 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: 8278 Depends: python3-spot (= 2.15.1.0-1) Filename: amd64/python3-spot-dbgsym_2.15.1.0-1_amd64.deb Size: 7678076 MD5sum: 5921f5066d378b87e85b5a87dc756bd2 SHA1: dce6bf65d31f7ac660b2799c42e7f87befabbc43 SHA256: a6b8abf24fc1ef79eaf5729c777b0b7442cd9538b4452349ab582647c6b158c0 Section: debug Priority: optional Description: debug symbols for python3-spot Build-Ids: 2e7816b5f2e1f1fd2c279c2aa68aa5cacf46c1f6 4af96e98ea9f9de4ce0d91f237ae24f1a5c10a47 c8ead3106b2ed5d566b3f2f42d90f0b3833b2d23 cf33c39c194c964cc5433ddc1eb1078081650b2a 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.