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: 1965756 MD5sum: 77ef78ea68a3a302122c636ce5dfd216 SHA1: 7501c7cbcc35bb37c78e11c6ea3d900d3a2141a4 SHA256: 928e1011b0ab767b3168cc2b7fd89d1af9c2beabb87e2c994433a7ca0dbfad2c 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: 29372372 MD5sum: 644f934e7a11b8e220169914b9b2e5de SHA1: c29de4b5b53ab19cf09f4a46f0de8a138ca070d9 SHA256: e1b9912c8724d6954ec9c85e6074fb414e01ed1d8bd3468edc6d7c8fca9e5b24 Section: debug Priority: optional Description: debug symbols for libspot0 Build-Ids: 5b499ab3e6a68620a52d8fd5de1ca8f4993e9b76 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: 2854684 MD5sum: ca70d11ec7398db4c0ea58770d4b9e44 SHA1: 61e1f638925c7747ed0afdf4993c5b7cd15a2122 SHA256: 581f88aa5bb9a08f3a4c5e1b5e73d74f79ce39b0a44f7e232e5174a7b87945bf 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: 8285 Depends: python3-spot (= 2.16.0-1) Filename: amd64/python3-spot-dbgsym_2.16.0-1_amd64.deb Size: 7631336 MD5sum: b3723fbdad2e44d4da799991b191c4b8 SHA1: 181fec43722aebf9eb86e5a82c6d979c7d63797d SHA256: bb440b0ee0c45a349c19e871ee91881e60004586ac7dfc37663ffa1da81d91ea Section: debug Priority: optional Description: debug symbols for python3-spot Build-Ids: a2f317a9b8ed8ce2bc430b207db07fd869cb3bf9 aa17d7598834c1173c490a7e03a7f9af9de20e6f 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.