Package: libbddx-dev Source: spot Version: 2.16.1.0-1 Architecture: amd64 Maintainer: Alexandre Duret-Lutz Installed-Size: 460 Depends: libbddx0 (>= 2.16.1.0-1), libbddx0 (<< 2.16.1.0-1.1~) Filename: amd64/libbddx-dev_2.16.1.0-1_amd64.deb Size: 110468 MD5sum: 96e2c860de797a60111bb430eca9a023 SHA1: 6b073765aa93d66df35cb9b87994b58530949b0d SHA256: b818fdf2de3b4d9ae1d91d02411705b235b00765ba85a7e230b6d1dfbacbfa17 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.1.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.1.0-1_amd64.deb Size: 80852 MD5sum: 34fb785f5757a530f20a0344538451d4 SHA1: 65fa7a0c1f4ab71d427160fc1a029cb67fa5055a SHA256: e8259c8e1ba257c9025ca9e41a73b4895a35e1aad1e74f71b4f3d14511366f3b 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.1.0-1 Auto-Built-Package: debug-symbols Architecture: amd64 Maintainer: Alexandre Duret-Lutz Installed-Size: 393 Depends: libbddx0 (= 2.16.1.0-1) Filename: amd64/libbddx0-dbgsym_2.16.1.0-1_amd64.deb Size: 364816 MD5sum: 591bafa27ecd76839b1ac96379331a8a SHA1: 76e4142b253e66bb0ce8309df2c9243427a0fc08 SHA256: 4de30618cee53d4ac2a69780ab1f359e2d8ae31cec19da6f2e8a9b1b9676f177 Section: debug Priority: optional Description: debug symbols for libbddx0 Build-Ids: ab469245c0cc68202eba23377a6734a4a93715ff Package: libspot-dev Source: spot Version: 2.16.1.0-1 Architecture: amd64 Maintainer: Alexandre Duret-Lutz Installed-Size: 18945 Depends: libspot0 (>= 2.16.1.0-1), libspot0 (<< 2.16.1.0-1.1~), libspotltsmin0 (>= 2.16.1.0-1), libspotltsmin0 (<< 2.16.1.0-1.1~), libbddx-dev Suggests: spot-doc Filename: amd64/libspot-dev_2.16.1.0-1_amd64.deb Size: 3598200 MD5sum: b93604432dcac84abee112cb12361dec SHA1: f6cbd19fe1414c3bd3379efa3432dd26cc5d8c27 SHA256: c3d24e69e73cb2994e55cec065996dd5afd263190f2f8d2768ced771ffd895c0 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.1.0-1 Architecture: amd64 Maintainer: Alexandre Duret-Lutz Installed-Size: 4289 Depends: libbddx0 (>= 2.16.1.0-1), libc6 (>= 2.38), libgcc-s1 (>= 3.3.1), libstdc++6 (>= 14), libbddx0 (<< 2.16.1.0-1.1~) Recommends: graphviz Suggests: libspot-dev, spot-doc, python3-spot Filename: amd64/libspot0_2.16.1.0-1_amd64.deb Size: 1968500 MD5sum: c0bde73973f120b420791b4e604093a9 SHA1: bfd9d0ae0a8a591915e8194ca542e761d9b0df48 SHA256: 4f1fcb2b7c561592075db36309a2f67fc1ffc4498713e93bbbb5b927c936c984 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.1.0-1 Auto-Built-Package: debug-symbols Architecture: amd64 Maintainer: Alexandre Duret-Lutz Installed-Size: 29701 Depends: libspot0 (= 2.16.1.0-1) Filename: amd64/libspot0-dbgsym_2.16.1.0-1_amd64.deb Size: 29373336 MD5sum: 3f20e19519a08d1819e61005467a6847 SHA1: 8efb0445edde730ef2e9bf709e8ec75cdc8e3463 SHA256: b18610b7a8079e14d721ecc795cbd1291345aaa904f78b23ea0ee68b9c2032cd Section: debug Priority: optional Description: debug symbols for libspot0 Build-Ids: 52157203a72a38336583d91eb2bc13b477f89907 Package: libspotgen0 Source: spot Version: 2.16.1.0-1 Architecture: amd64 Maintainer: Alexandre Duret-Lutz Installed-Size: 557 Depends: libbddx0 (>= 2.16.1.0), libc6 (>= 2.32), libgcc-s1 (>= 3.3.1), libspot0 (>= 2.16.1.0-1), libstdc++6 (>= 13.1), libspot0 (<< 2.16.1.0-1.1~) Suggests: libspot-dev Filename: amd64/libspotgen0_2.16.1.0-1_amd64.deb Size: 441864 MD5sum: f681dfde23a79f1d923676fcd7dd2d0a SHA1: 3bf153a0735754737c7bd11c4c4601561315c252 SHA256: 30550baffc8a1929b215465390a1d8cbe436074063081eaa0003213d058a7808 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.1.0-1 Auto-Built-Package: debug-symbols Architecture: amd64 Maintainer: Alexandre Duret-Lutz Installed-Size: 671 Depends: libspotgen0 (= 2.16.1.0-1) Filename: amd64/libspotgen0-dbgsym_2.16.1.0-1_amd64.deb Size: 647156 MD5sum: 3c329a5a9d943120a28fbf262987b52b SHA1: 187beaf7b26cfebda7ff80a2aeb5c2f8fb984587 SHA256: 90a8b6e702855c1acbb9db6a88299b7bbacf80e630dc29b5d2411213a38d38a8 Section: debug Priority: optional Description: debug symbols for libspotgen0 Build-Ids: 40718009de29e1446633dac8cb70cb30a553dcb9 Package: libspotltsmin0 Source: spot Version: 2.16.1.0-1 Architecture: amd64 Maintainer: Alexandre Duret-Lutz Installed-Size: 449 Depends: libbddx0 (>= 2.16.1.0), libc6 (>= 2.38), libgcc-s1 (>= 3.3.1), libltdl7 (>= 2.5.4), libspot0 (>= 2.16.1.0-1), libstdc++6 (>= 13.1), libspot0 (<< 2.16.1.0-1.1~) Suggests: libspot-dev Filename: amd64/libspotltsmin0_2.16.1.0-1_amd64.deb Size: 400136 MD5sum: 22cf7cd467f4ff6297bc5aad6a84aa57 SHA1: d3b06170d526764047fd2dd7e160a05ba145457b SHA256: fac03652c585dbcd52a4e2b4f2d4c74c8c3d30bf4892c1c9ca88f4c0945d51ba 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.1.0-1 Auto-Built-Package: debug-symbols Architecture: amd64 Maintainer: Alexandre Duret-Lutz Installed-Size: 634 Depends: libspotltsmin0 (= 2.16.1.0-1) Filename: amd64/libspotltsmin0-dbgsym_2.16.1.0-1_amd64.deb Size: 616028 MD5sum: 77b1ce0ec53472153cadd7bf8efa7f44 SHA1: b6d46c12bf9db6fdeb1ba441e5a51c68632aa316 SHA256: 20cf704bc4ae02f11cf26f4ab9c9f0e9ba65911b15122ae95e4cb532bcce4426 Section: debug Priority: optional Description: debug symbols for libspotltsmin0 Build-Ids: 06a16a2b7b02514fdebadfea170421589c366ab9 Package: python3-spot Source: spot Version: 2.16.1.0-1 Architecture: amd64 Maintainer: Alexandre Duret-Lutz Installed-Size: 40235 Depends: libbddx0 (>= 2.16.1.0), libc6 (>= 2.32), libgcc-s1 (>= 3.3.1), libspot0 (>= 2.16.1.0-1), libspotgen0 (>= 2.16.1.0), libspotltsmin0 (>= 2.16.1.0-1), libstdc++6 (>= 13.1), python3 (<< 3.14), python3 (>= 3.13~), python3:any, libspot0 (<< 2.16.1.0-1.1~), libspotltsmin0 (<< 2.16.1.0-1.1~) Suggests: ipython3 Filename: amd64/python3-spot_2.16.1.0-1_amd64.deb Size: 2857256 MD5sum: b4a9ad976707591acccf6ac198525b2e SHA1: 785aa023ea1c47e921dc95638a658cfcb6a7824d SHA256: 0d265a1fd30b11f5f1803ec8cdaa548b81f1fb2aa32965c78e51a553c52d6497 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.1.0-1 Auto-Built-Package: debug-symbols Architecture: amd64 Maintainer: Alexandre Duret-Lutz Installed-Size: 8237 Depends: python3-spot (= 2.16.1.0-1) Filename: amd64/python3-spot-dbgsym_2.16.1.0-1_amd64.deb Size: 7581704 MD5sum: 3185572d9ab485ae010b46e79437c3e5 SHA1: 3cf6298cdb7853bb252e928bc96476d00cccdc29 SHA256: de6284a0e55aaacc9a24a7426d30c74ffa7b911f981293f6be26e2c0645c94ae Section: debug Priority: optional Description: debug symbols for python3-spot Build-Ids: 094c88a42a1af349fe219306a738e8f6116f43d8 a2f317a9b8ed8ce2bc430b207db07fd869cb3bf9 a8fff06238438d8fd35914916619b9b4c1f7244c f695f221e3ded7c55f06c79de88933a7013fb88b Package: spot Version: 2.16.1.0-1 Architecture: amd64 Maintainer: Alexandre Duret-Lutz Installed-Size: 4053 Depends: libbddx0 (>= 2.16.1.0), libc6 (>= 2.38), libgcc-s1 (>= 3.3.1), libspot0 (>= 2.16.1.0-1), libspotgen0 (>= 2.16.1.0-1), libstdc++6 (>= 14), libspot0 (<< 2.16.1.0-1.1~), libspotgen0 (<< 2.16.1.0-1.1~) Recommends: graphviz Suggests: libspot-dev, spot-doc, python3-spot Filename: amd64/spot_2.16.1.0-1_amd64.deb Size: 1292056 MD5sum: 38728e6fbd86d7c56cb5b80047775df5 SHA1: 5d185e59d0fec88a1f910d450eddd0ec558d0c72 SHA256: f6db60a62eb27004d26ff783f8596ab442a6f747e6b461e349eda4105e73eab4 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.1.0-1 Auto-Built-Package: debug-symbols Architecture: amd64 Maintainer: Alexandre Duret-Lutz Installed-Size: 17035 Depends: spot (= 2.16.1.0-1) Filename: amd64/spot-dbgsym_2.16.1.0-1_amd64.deb Size: 15667064 MD5sum: eb789631931a06808d4197f2f092a58c SHA1: fdb2fd775163432650787d8d77fcc26825a61acf SHA256: 4a2adf19aa217e7aee1b637dfc97687c7d947512a80cf19885086083c7d519c3 Section: debug Priority: optional Description: debug symbols for spot Build-Ids: 1b8a0a3c4ab6fad9544589eec3d2e2ae5b40a99e 273b9951bfe8e7f6c3f171d9c0616fd7f6f08faf 2ed0e92de2bfe3b83395e221045dfcc4d0a0cde2 37fac12fbb1e898990533aca48084f5ccd91d772 3959c416d6459a8095eebf7a1d2f66a48d12fb26 56437a85ad982ecc5794764b72f4488733a5d018 5b5c96a2b3ed72bc2e0687ce804890a72f0ee478 62a05b3b161a8ab08e681a505d17ae694c91d1f7 70a7575d61c9ee23e579dca8d59f944f2a0ef7c4 7e22b8edf9c95e150978ed79f2f030fcc4bc8422 a0d92128563728a68def07d15f65d3fe682c79aa a5b204cd1c262b29b761cd0c7e16f5194df3206b b9b2b53cd3f908a322f619dc80dc8925073537ff ba8ee770c35a981d4c45ae852bdbb2ba162c4ef4 bf612c45eb5c76853b06b81b9d2f0cc85b8018b2 d19415eaf5fd6b366e23abf60baadc17a72dac2d d3153a8671a9fb8bb7505b37ffb62dd98a3a7bb8 e010f14026ae7f28a34d4d0198b16f83409499ac Package: spot-doc Source: spot Version: 2.16.1.0-1 Architecture: all Maintainer: Alexandre Duret-Lutz Installed-Size: 33814 Depends: libjs-mathjax, libjs-jquery, libjs-requirejs Filename: all/spot-doc_2.16.1.0-1_all.deb Size: 2629652 MD5sum: 720ae512a9fac48c7890949b69514ce9 SHA1: 548a63c505403db7d9553826b70a4d6b1b25d945 SHA256: a44cdb23e12ae165ab4e0871d31bec330ddf25236554ce7f7620e4e4c3629d09 Section: doc Priority: optional Homepage: http://spot.lrde.epita.fr/ Description: documentation for Spot HTML and PDF documentation for Spot.