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: 74712 MD5sum: 7bbe5cb0faaa467a31c1c8267b7587b1 SHA1: fda6fa51359c06a1ebc67294e0c5eb4f9b1ef04f SHA256: e50bd634ab57d812b35ab3c3b513f9c194ca6389ed1cb732a9c31a737a0f2856 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: 4fc046bf1cf57f8eb140552e71861e17 SHA1: cdb055ad9e7329e7babc50b6ad4d8d17f5a2d37c SHA256: 0fe31745329bef860251ed95fc2d4c225386d27fe23024e9c414f8f60c23f399 Section: debug Priority: optional Description: debug symbols for libbddx0 Build-Ids: b4b6ef754772f351ebe86ada2558590e024e5950 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: 1860512 MD5sum: 13d6b0bf9be4c617be88e1477ec77d89 SHA1: 256ec7c92b633395e579f0ab5d1bc389784b6627 SHA256: ddf31481e95117f146c8c0882ffeafc8f6eaa4c82cbfeffda2a311b451fd3244 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: 28173 Depends: libspot0 (= 2.15.1.0-1) Filename: amd64/libspot0-dbgsym_2.15.1.0-1_amd64.deb Size: 27843388 MD5sum: fc31b654b12d6f0d21af74b3c6f4b5ca SHA1: 832b4176780d9dd625c3ec3e119af4a29240d083 SHA256: 6c9f9bd6e84e6625d3c1f85a94b54177ee09e9840a946d17ccdb1a7cb19b9cfa Section: debug Priority: optional Description: debug symbols for libspot0 Build-Ids: 4a0572d131364ec6bdccce24263e4730cea864e3 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: 430148 MD5sum: b4e8a9a22eb266801904405053c4f9b7 SHA1: d23c8ed644d4782d5d960e9c2606973413f5a917 SHA256: 9fb75572acdb3fc52114571a75855c7fc664f0a19aba8302f1422b39588bd845 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: 004a4b221108fbc51fe9f2d0a3266bc8 SHA1: 5d6856ff5dbeb837b315889532e21b55a7faad94 SHA256: a06d63fc93b20d8c5f5d9c1b53872a6208bbc55c0bdea52ccfecff476fa618da Section: debug Priority: optional Description: debug symbols for libspotgen0 Build-Ids: f1c6c63ea3b208c46fd7470fdde05b0d428b5bcf 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: 382788 MD5sum: 7c8dc0fecad1e4a0d579696d10634b62 SHA1: dbb26d24f1e54442707d3d71809aeedf78b4c094 SHA256: d6241e3bb62894224b15e19ab176e1523ea0c566438344492714e56c9db3ac36 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: 640232 MD5sum: 7c6172ef71f9c4241437ad975d298c25 SHA1: bd622ccf100a8b05b4d4022dc920d4de203ba3de SHA256: 773ec359df3301107b9ab66b5e69eacc1870bff6044e3d34c49b1a12050bc259 Section: debug Priority: optional Description: debug symbols for libspotltsmin0 Build-Ids: 06f0ab65905ee9bd31be3694cc6a7f0fee303ef8 Package: python3-spot Source: spot Version: 2.15.1.0-1 Architecture: amd64 Maintainer: Alexandre Duret-Lutz Installed-Size: 43858 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: 3696868 MD5sum: dbcd068b016a5263e5e79cc045a43d16 SHA1: 463260bb2649f871b6e3ccd78ae688e857e8418d SHA256: bcc154c0d0558cecca5287443ee08540d6f1702044394111f2ca396807a32c30 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: 20761 Depends: python3-spot (= 2.15.1.0-1) Filename: amd64/python3-spot-dbgsym_2.15.1.0-1_amd64.deb Size: 19590220 MD5sum: 2ef3af137fc692284849ceee9d6c1652 SHA1: 359de7ff14ada7fb4ddc4f58c785b97b8ebce58d SHA256: 5e59e1a2da47344731f3b8d6f9b2787561a1b097243454158625dbba8f9b10c2 Section: debug Priority: optional Description: debug symbols for python3-spot Build-Ids: 21d79d556468d1f71e6c931de950bcae0150c592 2efdc8f1e015de0ef1b3f651954bf3e874a4146f 31d3dd9d879a6fb73908ec257244a1ce701c8d0e 4d1d6562bbd5757f55db2ed40d6c2efee3f4cf3e 6529a41f3376cb8c9627af3c17ae110ede067b45 6a9b452afa51d9e5ce7b2254c86dc905dda7da51 90e451575df63fcdd1c72b4a1205b6f01532753e bfa21ae05095173636ce8551250205e0ae3ddc91 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: 1201988 MD5sum: 72171cc420da499ba744e88f0a34e04e SHA1: a667b9073e5bccff20466f301a976d7befb0d4ab SHA256: c6f20949ece3d618397c383b11ae8b27a5cdc62da250f88022aa4b501a010cb4 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: 15334 Depends: spot (= 2.15.1.0-1) Filename: amd64/spot-dbgsym_2.15.1.0-1_amd64.deb Size: 14129132 MD5sum: 1c340e62b81a3537f6dba2fc535df7c6 SHA1: 679c52c87ac35c8a753f6f168b6e7408e5e34658 SHA256: f227843c512357a2ade209c541aec038d59a5a8f70eefc19aacf3d44f0d25970 Section: debug Priority: optional Description: debug symbols for spot Build-Ids: 101d5e4299e1e8187804484a394de36216be8cdb 152658cdef3f46f02d1686bc902e21514a828401 16c457edda35a1f89b400aa03bece9f9f62a9a4a 188eca718c7a4c8156a99d15df6904f56be59238 2073d61a9ac2fd33c0b4e44e48e477c49d74e6e0 3637f0eacfb79f7e1c5b237e4bdd24207277781f 3bc5e153c1c62f02023ec4abb8734e268713349c 5d6564003737875819687b33b93c4384879947ae 61ea283cd45593561de45db6e6287d46a04dac2f 7d7b013f390051fc3a212c3ddab59e10ca52c6cf 93228398c861ea91f752e632de68dee31bad1f6a 9c8ebadf004d352d9ddf4c262415cdab63512936 c7546498a02fc3b989914db629ba2efdf1fe47da c9b27de5e16d6fbfbe0427b4751b9efc8e15a9cd d9fba11eb2fe68ac3d58de0b4c2219c2bc1ce2a0 fe85b8bda5c02cc4d1b5af6532b3990b7103141b 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.