Package: libbddx-dev Source: spot Version: 2.16.0-1 Architecture: amd64 Maintainer: Alexandre Duret-Lutz Installed-Size: 460 Depends: libbddx0 (>= 2.16.0-1), libbddx0 (<< 2.16.0-1.1~) Filename: amd64/libbddx-dev_2.16.0-1_amd64.deb Size: 110472 MD5sum: 7b39fa67a254b10a8e39d0bc0db41004 SHA1: 1922dec041e1a1c06b83c4b7aba9f03f360ee9e4 SHA256: 9f2275d99a2bc77f6db4c45e215049e382984933575861f81eace5884f997f47 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.16.0-1 Architecture: amd64 Maintainer: Alexandre Duret-Lutz Installed-Size: 184 Depends: libc6 (>= 2.29), libgcc-s1 (>= 3.3.1), libstdc++6 (>= 13.1) Recommends: graphviz Suggests: libbddx-dev Filename: amd64/libbddx0_2.16.0-1_amd64.deb Size: 80892 MD5sum: 3a1c65ece194b082a39c1f997f9bc98a SHA1: 5c7bbc6b31d644b2a5d926fd52c8bfb2132aa4de SHA256: bd75da2ec39bce382032ba3124ac5b699e695acc7db443e6c28173c0566dfd51 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.16.0-1 Auto-Built-Package: debug-symbols Architecture: amd64 Maintainer: Alexandre Duret-Lutz Installed-Size: 393 Depends: libbddx0 (= 2.16.0-1) Filename: amd64/libbddx0-dbgsym_2.16.0-1_amd64.deb Size: 364784 MD5sum: 694cbd49dbc3e22904166c91fddd96f9 SHA1: ba150c4f4bee68b0207a18ad7b2df8d075902ba6 SHA256: e36a7ca13c046ff1903da61a326633af5e36d7d91588971026159b1f1d7103cf Section: debug Priority: optional Description: debug symbols for libbddx0 Build-Ids: 7644a88fa0aa12c4cd717b6f4f2210e328555225 Package: libspot-dev Source: spot Version: 2.16.0-1 Architecture: amd64 Maintainer: Alexandre Duret-Lutz Installed-Size: 18956 Depends: libspot0 (>= 2.16.0-1), libspot0 (<< 2.16.0-1.1~), libspotltsmin0 (>= 2.16.0-1), libspotltsmin0 (<< 2.16.0-1.1~), libbddx-dev Suggests: spot-doc Filename: amd64/libspot-dev_2.16.0-1_amd64.deb Size: 3598868 MD5sum: dd42565173cd5f8b37fe9ac0222b4839 SHA1: 07e79fea98dd10d00676d9b2a1f71626dbed1344 SHA256: a6850f13356b56de3c0111a65936f1e8154dd8416241d52697c2fbda4c4bfa98 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.16.0-1 Architecture: amd64 Maintainer: Alexandre Duret-Lutz Installed-Size: 4286 Depends: libbddx0 (>= 2.16.0-1), libc6 (>= 2.38), libgcc-s1 (>= 3.3.1), libstdc++6 (>= 14), libbddx0 (<< 2.16.0-1.1~) Recommends: graphviz Suggests: libspot-dev, spot-doc, python3-spot Filename: amd64/libspot0_2.16.0-1_amd64.deb Size: 1965376 MD5sum: 5349b2fb859be722cf3e94416568002d SHA1: 46a7f17aef782b0ead3fa8da2c848d692945ce25 SHA256: b26b08686752d8075d63b117418bfa197f99a8a47d9f7199aef2866f1af20b88 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.16.0-1 Auto-Built-Package: debug-symbols Architecture: amd64 Maintainer: Alexandre Duret-Lutz Installed-Size: 29700 Depends: libspot0 (= 2.16.0-1) Filename: amd64/libspot0-dbgsym_2.16.0-1_amd64.deb Size: 29372580 MD5sum: c4e11a86c4df68b3d2262c6e426b117f SHA1: 84764c64885f943d3653f12bc4e8a0f327475050 SHA256: bd52c8061c8973f139846e9a752738b70c4035bf4a262dd37cc42aa1fd6d556e Section: debug Priority: optional Description: debug symbols for libspot0 Build-Ids: c8cde973102eb06aa4d63819a68ae99225c200a1 Package: libspotgen0 Source: spot Version: 2.16.0-1 Architecture: amd64 Maintainer: Alexandre Duret-Lutz Installed-Size: 554 Depends: libbddx0 (>= 2.16.0), libc6 (>= 2.32), libgcc-s1 (>= 3.3.1), libspot0 (>= 2.16.0-1), libstdc++6 (>= 13.1), libspot0 (<< 2.16.0-1.1~) Suggests: libspot-dev Filename: amd64/libspotgen0_2.16.0-1_amd64.deb Size: 438816 MD5sum: 037901a058a51d9f68af7b51a923dfcb SHA1: 5df69028bd1bcf8f4e481aab4a98a899a36bb51e SHA256: 077d1d670c541f855d31039bab5b7adcb40fe656d6e92d8be0b541f547b09831 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.16.0-1 Auto-Built-Package: debug-symbols Architecture: amd64 Maintainer: Alexandre Duret-Lutz Installed-Size: 671 Depends: libspotgen0 (= 2.16.0-1) Filename: amd64/libspotgen0-dbgsym_2.16.0-1_amd64.deb Size: 647152 MD5sum: 846a8c52e7ee8532b0762aa6b560457c SHA1: c10ed8c0ba565df48207b584de6bf78ffd99934c SHA256: 82920d26870f6d6554e030df4412a8e88986bd364217735be6dcc152ccc35360 Section: debug Priority: optional Description: debug symbols for libspotgen0 Build-Ids: 40718009de29e1446633dac8cb70cb30a553dcb9 Package: libspotltsmin0 Source: spot Version: 2.16.0-1 Architecture: amd64 Maintainer: Alexandre Duret-Lutz Installed-Size: 446 Depends: libbddx0 (>= 2.16.0), libc6 (>= 2.38), libgcc-s1 (>= 3.3.1), libltdl7 (>= 2.5.4), libspot0 (>= 2.16.0-1), libstdc++6 (>= 13.1), libspot0 (<< 2.16.0-1.1~) Suggests: libspot-dev Filename: amd64/libspotltsmin0_2.16.0-1_amd64.deb Size: 397116 MD5sum: 6eac35c771731739b0992f2a8f656755 SHA1: 25c086536bec31665d00f40e2aad16a33c5f7364 SHA256: 731b0c227908c33144216170e5c4c5e6464b0b7af034adc93be4d0f2fe5b62c8 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.16.0-1 Auto-Built-Package: debug-symbols Architecture: amd64 Maintainer: Alexandre Duret-Lutz Installed-Size: 639 Depends: libspotltsmin0 (= 2.16.0-1) Filename: amd64/libspotltsmin0-dbgsym_2.16.0-1_amd64.deb Size: 620412 MD5sum: 46ab4f8be967b8e19493d9f8488a9416 SHA1: ab9f5d3f7b174a30802eee3aaa670d6204a2ce31 SHA256: 1e57d2f100a82fa6d359f5d2f91542b2ee3bb46d5d33fac798fb582f21f95227 Section: debug Priority: optional Description: debug symbols for libspotltsmin0 Build-Ids: 161bf986889d21532b28cf75d5a16d8e62dfa957 Package: python3-spot Source: spot Version: 2.16.0-1 Architecture: amd64 Maintainer: Alexandre Duret-Lutz Installed-Size: 40232 Depends: libbddx0 (>= 2.16.0), libc6 (>= 2.32), libgcc-s1 (>= 3.3.1), libspot0 (>= 2.16.0-1), libspotgen0 (>= 2.16.0), libspotltsmin0 (>= 2.16.0-1), libstdc++6 (>= 13.1), python3 (<< 3.14), python3 (>= 3.13~), python3:any, libspot0 (<< 2.16.0-1.1~), libspotltsmin0 (<< 2.16.0-1.1~) Suggests: ipython3 Filename: amd64/python3-spot_2.16.0-1_amd64.deb Size: 2854848 MD5sum: 7331112c7d049e6594f732ff12b40f18 SHA1: cfa14664cf97ea670c6540ce1d56ffb6a219dc86 SHA256: 88869911ff8e96b501a0d952cf9343f4cae99578d390033b05f119f8a1e03e27 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.16.0-1 Auto-Built-Package: debug-symbols Architecture: amd64 Maintainer: Alexandre Duret-Lutz Installed-Size: 8286 Depends: python3-spot (= 2.16.0-1) Filename: amd64/python3-spot-dbgsym_2.16.0-1_amd64.deb Size: 7632132 MD5sum: 3e1234b8074f3eaa4ba44a94201d02fc SHA1: cae50df138135a1165e78db1bb34825f133090fb SHA256: 0c0c32c964dfeb78830a6a1ef09c0643609487ba18ee836d578b80174e601a34 Section: debug Priority: optional Description: debug symbols for python3-spot Build-Ids: a2f317a9b8ed8ce2bc430b207db07fd869cb3bf9 c73e1a9e4dade4c980d380b80133478b37ca0745 d545c155d61a05779679e5091f720f67ca47ed7f f695f221e3ded7c55f06c79de88933a7013fb88b Package: spot Version: 2.16.0-1 Architecture: amd64 Maintainer: Alexandre Duret-Lutz Installed-Size: 4049 Depends: libbddx0 (>= 2.16.0), libc6 (>= 2.38), libgcc-s1 (>= 3.3.1), libspot0 (>= 2.16.0-1), libspotgen0 (>= 2.16.0-1), libstdc++6 (>= 14), libspot0 (<< 2.16.0-1.1~), libspotgen0 (<< 2.16.0-1.1~) Recommends: graphviz Suggests: libspot-dev, spot-doc, python3-spot Filename: amd64/spot_2.16.0-1_amd64.deb Size: 1288092 MD5sum: c2b21c00a343f2f22dab0f42955bbb4a SHA1: ba0be5e473761f9d4367bf42c033d15358ae6fa6 SHA256: 25272dfbc17e9037488bb040b6d37c7c4ce6dcb36e1499895b45665a8c06c2eb Section: science Priority: optional Homepage: http://spot.lrde.epita.fr/ Description: model checking and omega-automata manipulation tools Tools to manipulate omega-automata as well as linear-time temporal logic (LTL & PSL). Package: spot-dbgsym Source: spot Version: 2.16.0-1 Auto-Built-Package: debug-symbols Architecture: amd64 Maintainer: Alexandre Duret-Lutz Installed-Size: 17031 Depends: spot (= 2.16.0-1) Filename: amd64/spot-dbgsym_2.16.0-1_amd64.deb Size: 15663196 MD5sum: cb55e6431735900039145c60805c1a17 SHA1: da58970f3cb42b9e010d09952a739ff9454c2f9f SHA256: 836fd50b65b17aca9f4e0a2b4236a7f1a8a4e9ff4fdc2404a710c1ed07bd1165 Section: debug Priority: optional Description: debug symbols for spot Build-Ids: 02249d7b3ef1dee04aeda574e0e9108b947f7935 065ba6ec12e1b2fd73177fc67fb63f2421905723 1be7f216301780e2719c8a2e1fb4d55d9789c1be 29b872ec894cacc0f4d5389bd2754684f1dd2c4d 4582f69a5dd1b9e72fe21ca90a83afe23a07968c 4680e9df7c01cff11f13f6618d7035e98795d1d4 5c788ecfa17a78b205e7fe95b2c2881482e6bdc7 72845998c0630aa8a44c0ef899cd668e056569e8 78cac888e81ff8b5e8be37f2aab2c2831209db3c 8c2a456fc5cc4e5e43d44dbf52e245a6464e8dee 9ca6023936f20e9887076d21e653e0920945dca6 b6ef6fd75d0a1ba940e82826bae85f519fba79b2 c9fc362303220c96730a878e9dccd8236dc3ad7f cc421f4b990c1b9e5a333c6d50f0edcecddec2c0 cc8508351b64404d9799ad82409ae8ad102fd569 e49e2b589befa9a06acf95cf2f85855fc8e2d0ff eca5d7c9c628dd1d1bc1c574d91a1ada54f888c0 f24aad94b2bbe60e23848b2aa1440b481e80f1fe Package: spot-doc Source: spot Version: 2.16.0-1 Architecture: all Maintainer: Alexandre Duret-Lutz Installed-Size: 33804 Depends: libjs-mathjax, libjs-jquery, libjs-requirejs Filename: all/spot-doc_2.16.0-1_all.deb Size: 2623560 MD5sum: 51c8277fe37cbe8bb013d63e17fdea48 SHA1: 450c67cf2cdc82a580b775e9215729b70e0b372a SHA256: 88d527970d3e4ffeb0b0cdb285782a4b258d95f152c63c20f58b1409c27fcc3d Section: doc Priority: optional Homepage: http://spot.lrde.epita.fr/ Description: documentation for Spot HTML and PDF documentation for Spot.