Package: libbddx-dev Source: spot Version: 2.12.1.0-1 Architecture: armhf Maintainer: Alexandre Duret-Lutz Installed-Size: 236 Depends: libbddx0 (>= 2.12.1.0-1), libbddx0 (<< 2.12.1.0-1.1~) Filename: armhf/libbddx-dev_2.12.1.0-1_armhf.deb Size: 63232 MD5sum: c0bd58456d332fc2877e608dfe58ec4c SHA1: 5a10483ea9324f5af71111797e1412f035b8e0f1 SHA256: df4c5c57dedbf0cb6e6e24fae47b374b62fa20ae26e688b6059e9d984f70dbdd 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.12.1.0-1 Architecture: armhf Maintainer: Alexandre Duret-Lutz Installed-Size: 120 Depends: libc6 (>= 2.29), libgcc-s1 (>= 3.5), libstdc++6 (>= 4.3) Recommends: graphviz Suggests: libbddx-dev Filename: armhf/libbddx0_2.12.1.0-1_armhf.deb Size: 46432 MD5sum: fada57204ef37fe9bccb7dc1d6a8320a SHA1: 36772fae0943f0103e40be0a8b7b5e40d4389483 SHA256: dd3caa92737704acb9666727c89f4c1df5107569ce0d3c771a295c8c2238010f 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.12.1.0-1 Auto-Built-Package: debug-symbols Architecture: armhf Maintainer: Alexandre Duret-Lutz Installed-Size: 168 Depends: libbddx0 (= 2.12.1.0-1) Filename: armhf/libbddx0-dbgsym_2.12.1.0-1_armhf.deb Size: 136056 MD5sum: 060a3b4217a72fe48f313ca160e2e900 SHA1: 345f6f7cd7ba82a7535e365f1d84887e17c322ab SHA256: 98537f4b5557d76d3d0fc5bad4f86c004876c523a2e5e12ea28c3614d380bc4d Section: debug Priority: optional Description: debug symbols for libbddx0 Build-Ids: 73b45301146aa016ec4db062fd381d7aa130bf89 Package: libspot-dev Source: spot Version: 2.12.1.0-1 Architecture: armhf Maintainer: Alexandre Duret-Lutz Installed-Size: 13834 Depends: libspot0 (>= 2.12.1.0-1), libspot0 (<< 2.12.1.0-1.1~), libspotltsmin0 (>= 2.12.1.0-1), libspotltsmin0 (<< 2.12.1.0-1.1~), libbddx-dev Suggests: spot-doc Filename: armhf/libspot-dev_2.12.1.0-1_armhf.deb Size: 2543196 MD5sum: 887fef0b62f7ebbe98ca07ca22547270 SHA1: 39ec0108a97a49f5085b04ce3996ecbe0fc0e5e3 SHA256: 2d4f81cfc64cee9ecdd69bda4fb4178ba18fa27349d4dbbce6eaf25ce01c9c46 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.12.1.0-1 Architecture: armhf Maintainer: Alexandre Duret-Lutz Installed-Size: 3237 Depends: libbddx0 (>= 2.12.1.0-1), libc6 (>= 2.33), libgcc-s1 (>= 3.5), libstdc++6 (>= 11), libbddx0 (<< 2.12.1.0-1.1~) Recommends: graphviz Suggests: libspot-dev, spot-doc, python3-spot Filename: armhf/libspot0_2.12.1.0-1_armhf.deb Size: 1392832 MD5sum: 02ef30d23e82b0098ff68aec95d660b0 SHA1: f0fad2968f0f94fec1a0b94a7c8ee81eb0a988d9 SHA256: 6f6f7ae3668669fc4569082652acdeea92fa1009ccbbbac66f375617aca845e5 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.12.1.0-1 Auto-Built-Package: debug-symbols Architecture: armhf Maintainer: Alexandre Duret-Lutz Installed-Size: 26379 Depends: libspot0 (= 2.12.1.0-1) Filename: armhf/libspot0-dbgsym_2.12.1.0-1_armhf.deb Size: 25861940 MD5sum: 9ce7c77fd35a9240b5e4dd0eec101dc5 SHA1: 4dbee8ace53723391c3a654ed232a20d3ce47773 SHA256: 4e46c1513f9007a3a988bf924159039cd09d9bc2a00f99a3578b77355753c1c6 Section: debug Priority: optional Description: debug symbols for libspot0 Build-Ids: 6a9cb60350a9476af3830ba41f71616abe81d6bd Package: libspotgen0 Source: spot Version: 2.12.1.0-1 Architecture: armhf Maintainer: Alexandre Duret-Lutz Installed-Size: 491 Depends: libbddx0 (>= 2.12.1.0), libc6 (>= 2.32), libgcc-s1 (>= 3.5), libspot0 (>= 2.12.1.0-1), libstdc++6 (>= 11), libspot0 (<< 2.12.1.0-1.1~) Suggests: libspot-dev Filename: armhf/libspotgen0_2.12.1.0-1_armhf.deb Size: 382404 MD5sum: aa3d59b5b61342ef517f1384b7766d7d SHA1: 0161e7e172410156d748f588a9d1ad7169d237aa SHA256: fb00f27e904c5848698cbb973776ab322ebeb74d2c3fe41e8ab4428fe83948a1 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.12.1.0-1 Auto-Built-Package: debug-symbols Architecture: armhf Maintainer: Alexandre Duret-Lutz Installed-Size: 614 Depends: libspotgen0 (= 2.12.1.0-1) Filename: armhf/libspotgen0-dbgsym_2.12.1.0-1_armhf.deb Size: 594084 MD5sum: 75546cb476b45438ac827a31a76dca5c SHA1: fef78e894932f86ba99d236af3a79c5e183e36af SHA256: 7e341a7629fbb64cc334d30439ea00e38c204f2128ec3a0023fd80d104b07115 Section: debug Priority: optional Description: debug symbols for libspotgen0 Build-Ids: 2e7242e81c768177b9ce70e38aef7a75429d009e Package: libspotltsmin0 Source: spot Version: 2.12.1.0-1 Architecture: armhf Maintainer: Alexandre Duret-Lutz Installed-Size: 395 Depends: libbddx0 (>= 2.12.1.0), libc6 (>= 2.33), libgcc-s1 (>= 3.5), libltdl7 (>= 2.4.7), libspot0 (>= 2.12.1.0-1), libstdc++6 (>= 11), libspot0 (<< 2.12.1.0-1.1~) Suggests: libspot-dev Filename: armhf/libspotltsmin0_2.12.1.0-1_armhf.deb Size: 351780 MD5sum: f7a61a52afdb14b9cd88dfc03a0f50cd SHA1: 9f9699b77c77887c6bf429912d0dbf5433bac5f8 SHA256: fa0e0be8e5ad2948615e845a5b13dcda4dd74a8ac05fa1e343d39fe9dd6d841f 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.12.1.0-1 Auto-Built-Package: debug-symbols Architecture: armhf Maintainer: Alexandre Duret-Lutz Installed-Size: 661 Depends: libspotltsmin0 (= 2.12.1.0-1) Filename: armhf/libspotltsmin0-dbgsym_2.12.1.0-1_armhf.deb Size: 617560 MD5sum: 05719255da7f81a48d65fc90765ee320 SHA1: 4cfabff6151eacd4f7837a9c6fef65f5699e4869 SHA256: d23ddbc663d54c9bd320d03bcabce5e4197912fb86ebac8d70fc295994d6fbb1 Section: debug Priority: optional Description: debug symbols for libspotltsmin0 Build-Ids: 96a916616bc103172d4844a15a46a7cdcf14357d Package: python3-spot Source: spot Version: 2.12.1.0-1 Architecture: armhf Maintainer: Alexandre Duret-Lutz Installed-Size: 15697 Depends: libbddx0 (>= 2.12.1.0), libc6 (>= 2.32), libgcc-s1 (>= 3.5), libspot0 (>= 2.12.1.0-1), libspotgen0 (>= 2.12.1.0), libspotltsmin0 (>= 2.12.1.0-1), libstdc++6 (>= 11), python3 (<< 3.12), python3 (>= 3.11~), python3:any, libspot0 (<< 2.12.1.0-1.1~), libspotltsmin0 (<< 2.12.1.0-1.1~) Suggests: ipython3 Filename: armhf/python3-spot_2.12.1.0-1_armhf.deb Size: 1530316 MD5sum: 00f96ab3e25d10dfd0fb2f132f0416bf SHA1: 2542eb589e8417dfdbe39a06c09a6fe5b997e53c SHA256: e9c30d9b4982b66d899b6bef6029dedc6380101627ab9daf7ae83cefec9cd878 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.12.1.0-1 Auto-Built-Package: debug-symbols Architecture: armhf Maintainer: Alexandre Duret-Lutz Installed-Size: 6595 Depends: python3-spot (= 2.12.1.0-1) Filename: armhf/python3-spot-dbgsym_2.12.1.0-1_armhf.deb Size: 5909980 MD5sum: 6fc6179c1b0f0fd18e45b41c9f84cc20 SHA1: 9a1962b6fcb704499fc40637bbea130d6c18ed07 SHA256: 9fe05c0b1eed6616cc35d4838cec57e4c8d9cab95e42daec34c299a32b007c48 Section: debug Priority: optional Description: debug symbols for python3-spot Build-Ids: 6e917340e1f2b5816bff3549ebcaf49083b6004f ab27c48678122383f890aa07fd4d4f089c1ae106 cbe46878701e99e0d74b045c35b82f3564357d10 dd891315cc3867c81b813bfdd12f45acbcc1fa12 Package: spot Version: 2.12.1.0-1 Architecture: armhf Maintainer: Alexandre Duret-Lutz Installed-Size: 2282 Depends: libbddx0 (>= 2.12.1.0), libc6 (>= 2.34), libgcc-s1 (>= 3.5), libspot0 (>= 2.12.1.0-1), libspotgen0 (>= 2.12.1.0-1), libstdc++6 (>= 11), libspot0 (<< 2.12.1.0-1.1~), libspotgen0 (<< 2.12.1.0-1.1~) Recommends: graphviz Suggests: libspot-dev, spot-doc, python3-spot Filename: armhf/spot_2.12.1.0-1_armhf.deb Size: 856848 MD5sum: e05208fd88eff6c41acc8c859cab9311 SHA1: 49dc3b159ab08b9d10c10cfcbf99291bf0369088 SHA256: 96ff892f2f09c1228c43e98c3d902092a2d549b963b7b731ead6915852dc909b 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.12.1.0-1 Auto-Built-Package: debug-symbols Architecture: armhf Maintainer: Alexandre Duret-Lutz Installed-Size: 7588 Depends: spot (= 2.12.1.0-1) Filename: armhf/spot-dbgsym_2.12.1.0-1_armhf.deb Size: 6799176 MD5sum: 2a189d01d9e810545ff83e99d60ecb48 SHA1: 36dd950ad0a0105e8bef9c4400974d7e2f1c9b16 SHA256: 1ec61b00023c5b61ff2fb33a579c07737f3e7bb83f91f536024606393041be83 Section: debug Priority: optional Description: debug symbols for spot Build-Ids: 02c861c278e474bf4dc96aa6120b04cc7eeb988d 09dd1e5434e129db7fd76c91bd0cfb448934924d 5271edf46db4e501be6961c90ff848f8cc2c9e09 5a742397b1c7e72e7ec2835187cf1768e1f405d8 65191d08c393fdc3dea3e13781afbb9f10daebce 79c6fb9df9e9b05142c42d2cdd7d87538b3eef3e 96f64037e6ded93ebf31fd79f0f195d71bdd7ac7 a0fd94458be2285f648a9e2ab9a86e3347a4c7a2 b02d0a81dd13c1aac37e66a6fdadb12ff2209976 b6cae894021c3fd4956984cd26197ad717454f3a c9187a9a334e988d454dc94b601aac31fc769126 ca54c6bda1ee2356c3452c4613594fd3a4c0ef23 df1fbe7a7232c6c6ff1aa1fa8662bd531e014f49 e5652f5f3ac83468b707eabfe85d5ad4a645545e Package: spot-doc Source: spot Version: 2.12.1.0-1 Architecture: all Maintainer: Alexandre Duret-Lutz Installed-Size: 30048 Depends: libjs-mathjax, libjs-jquery, libjs-requirejs Filename: all/spot-doc_2.12.1.0-1_all.deb Size: 2251312 MD5sum: 8d23ee0747614ec4f0e0e311d35a03e6 SHA1: fa16582701d505e5662e45f2a03b9cf702fabf52 SHA256: 0fade2c78553f34f53e1ca9df2b57b106d2a6ff7ea84cf4cad6e240db3975000 Section: doc Priority: optional Homepage: http://spot.lrde.epita.fr/ Description: documentation for Spot HTML and PDF documentation for Spot.