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: 74700 MD5sum: 18ef2be6705ada32d14deade6634353a SHA1: a2b8ba230abe5ce17d61184726b7b6190ad28f89 SHA256: d9c1e01b235168d0a0fa1efcc0d40d1d43fbd97da80eda0392e3c812d0cbd10a 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: ad14cdcbf7f8e6a2a14bee7cb9db68ea SHA1: e9c2ec25ac2c60bc0e2401d6b6b5872667cd4cdb SHA256: 7da95fc42f0062c9a591779d141992b8ddc375b0f5a26d01051285edba4b316e Section: debug Priority: optional Description: debug symbols for libbddx0 Build-Ids: b7c22ec6860c1e1ba044bdcbca2d7b8901989766 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: 1860644 MD5sum: 83c93e538ce92064ac559878492437d1 SHA1: 92b97d8f3a3df5b3b6ab3a38d8c2435059269235 SHA256: d17f9a3740573f762b0f8c3c9ca00bf23822e21987a474ef6621bca05b85ec81 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: 28172 Depends: libspot0 (= 2.15.1.0-1) Filename: amd64/libspot0-dbgsym_2.15.1.0-1_amd64.deb Size: 27842464 MD5sum: 855e399eef9c2a8a6e895a64ca36ecc1 SHA1: b29de3b312837d2da4ad7af36a2794d732f0b52e SHA256: 0c9444d5a053811d5371dc768e328ea6361d3a92600cca4421b312a0a22af77c Section: debug Priority: optional Description: debug symbols for libspot0 Build-Ids: 504bff5e0f841c69277e1ae3389aecb787453806 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: 430176 MD5sum: 62aa3ffac59c449e3a7484f7a5ab1d4e SHA1: ae6c7532284c833dec41afa90d66ddfa200a44fe SHA256: 44ad6f1342641032637fef9e53449d91d09dfa12198ec299be97fef93ad10c95 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: 7e28037db0f23ada713abb9dde9d8cce SHA1: 28bb5079aeff953ea4446e2ec60305c3bc0a6f9c SHA256: d1a89b6c82f9fe37e19e678109f6af034cba636d3757948aa2a035e1434e87f3 Section: debug Priority: optional Description: debug symbols for libspotgen0 Build-Ids: 7b99d672c23998209d6a0bcb88845fe9b878e152 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: 382796 MD5sum: 5d3a79baa79bc62ef4a045b30055d045 SHA1: 49ae2ba51bee34659c50ef58dbd7f006d428f611 SHA256: ccddd762487759889dab258872aa77037e4dc02f74f6263f964603569831e303 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: 640228 MD5sum: 48a1ac6f44249710a083849b04943bf3 SHA1: 454a500889c5f6cfbcccce6447e395ca2719aa4b SHA256: 62a3b76bbe58a3a3a5b68a75298accdc7e6384640119e2ebb8923e7fda05842d Section: debug Priority: optional Description: debug symbols for libspotltsmin0 Build-Ids: 655fc58f5b650beca7e0db72c402ab133d862c88 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: 3690752 MD5sum: b8e90c8ec2a1c87c6dd26d9e9ce2a10e SHA1: 512e00ceff3bf8978e1029b39bcd5eee9e4cd56a SHA256: eef1bd5692fcfdc76550cad5ff851d6a1d2fcf42721e32523a28e7eb390db3cf 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: 19625192 MD5sum: 59470504d0fb42fd663b824194c75309 SHA1: eb7a28373748b336b17320302e60793d93b2fde2 SHA256: e0079e56a084961756a52fd0860bed60ef347d6c83f268d3a51d8674e6355154 Section: debug Priority: optional Description: debug symbols for python3-spot Build-Ids: 17199833c309cb74a3e4b6e39c942eee6ca6fc87 3037a58a7375f4e485523602e197941e74c28c83 4c5c8345888a808e8ac519d0cf5d1bfc4a7fd799 af66beaeef18d513ba1845c5f9907fee5ed40c49 bf2c444d9abc3c2e98a288ec96434fa5c82d116b c08acdddab01da1aad233f71a5b1d790006328e0 e11422e148d7a1c80c3675f8c66f1f97df2c5275 fe30e6738e70d352a13b1be12a5025e5e5b1c485 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: 1201844 MD5sum: 507e2239268889010b91250332ff01fe SHA1: d42772bd54ee8fced562d3e0255f76a6ac9cfb22 SHA256: c9ed67e1c7669c7a6761c7201b00faa65307460975f61e507adccee0b09dbdef 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: 15333 Depends: spot (= 2.15.1.0-1) Filename: amd64/spot-dbgsym_2.15.1.0-1_amd64.deb Size: 14125604 MD5sum: 633f0e9010f73469629bb6a0e762c98a SHA1: 74beec359c074d10a93788f91fcf67775e9d9117 SHA256: bc7b3bace526355bb7c5a4c33d7d34428e6f7a23066e35feb877692ab711d383 Section: debug Priority: optional Description: debug symbols for spot Build-Ids: 015b0983aaf0a92bf206dd12c8b38a7db27c8a99 08c8e31d802623e78faa7235fea26fe370c1c93c 1059cc4c6dbd9336d43d765725a7e8f1a7076faf 3ce871b36cd3765d8d064bf1febf32198d6da722 435634a41f8e97443e6b41447806ce9f8d9641b7 43ef4f6dfc8043fcb4e552ac7f18389a58b123d2 47043880eb8fcbf52e4fb51b2b4dca68b15a08da 5ddbb2b77543b5c9ab67830ab138730809bef90f 78c93049c2839242a8fbd63abfda7f8df7332ea7 9c966caa4b515b834c9017b6efe5b5bf039b801d 9deca7e8ad22010f4f038355443381a2c8de4711 a17d037913329507ba87274c6aafd8a7b007e5f8 b42f906ee6fbddaeb8b57b2ff263027b006cfdcf bfbea9200b8b303cf8ee35e402ad67e52df7a403 e7df14c4b967ac35cddbf8c22f863bf7ceaccda7 fbaf33cdcc4f08cb20aafff11101665956efc4d7 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.