Package: libbddx-dev Source: spot Version: 2.14.5.0-1 Architecture: armhf Maintainer: Alexandre Duret-Lutz Installed-Size: 286 Depends: libbddx0 (>= 2.14.5.0-1), libbddx0 (<< 2.14.5.0-1.1~) Filename: armhf/libbddx-dev_2.14.5.0-1_armhf.deb Size: 78124 MD5sum: e0ddff1e43fd97aceec10c5fe534109b SHA1: c2fba6e7608859b5756bf2f256e02480b8c8940c SHA256: 1e6fbcfc0f9a0b76616c03fe44e5abab58f5c126464c47db22b17c189863e8c9 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.14.5.0-1 Architecture: armhf Maintainer: Alexandre Duret-Lutz Installed-Size: 154 Depends: libc6 (>= 2.29), libgcc-s1 (>= 3.5), libstdc++6 (>= 5) Recommends: graphviz Suggests: libbddx-dev Filename: armhf/libbddx0_2.14.5.0-1_armhf.deb Size: 61264 MD5sum: d2148a0c74328b0d4e47ff210d2763e5 SHA1: 28edcf5681c921eebb913355de1a83a1d3eb1a53 SHA256: 9afc3f0a7fc6952a461d79c3057709c3707d3dc07b75b9637d70148cbbbb0024 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.14.5.0-1 Auto-Built-Package: debug-symbols Architecture: armhf Maintainer: Alexandre Duret-Lutz Installed-Size: 223 Depends: libbddx0 (= 2.14.5.0-1) Filename: armhf/libbddx0-dbgsym_2.14.5.0-1_armhf.deb Size: 190404 MD5sum: 652380c479f154b3b08f58088fff2cb3 SHA1: ca8f93699df1489845e78e953c17160ceda18bbd SHA256: 2f604ae966a704a5b0e20efc03e5e73b0b4de611dfa7abf7228ec05c7c8a93fc Section: debug Priority: optional Description: debug symbols for libbddx0 Build-Ids: 0852f3f0657995a40c88c3e70123c8752c166bf2 Package: libspot-dev Source: spot Version: 2.14.5.0-1 Architecture: armhf Maintainer: Alexandre Duret-Lutz Installed-Size: 14880 Depends: libspot0 (>= 2.14.5.0-1), libspot0 (<< 2.14.5.0-1.1~), libspotltsmin0 (>= 2.14.5.0-1), libspotltsmin0 (<< 2.14.5.0-1.1~), libbddx-dev Suggests: spot-doc Filename: armhf/libspot-dev_2.14.5.0-1_armhf.deb Size: 2742312 MD5sum: 22c3062b82bd882cd743e1e9687667fb SHA1: 57c5df8877451da2dd07d3e6ca76fdea86e2f252 SHA256: f24a8e1ee6f82a297d043cab88dfd4e3acd7f1080755356294c18734b2ee2d42 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.14.5.0-1 Architecture: armhf Maintainer: Alexandre Duret-Lutz Installed-Size: 3525 Depends: libbddx0 (>= 2.14.5.0-1), libc6 (>= 2.33), libgcc-s1 (>= 3.5), libstdc++6 (>= 11), libbddx0 (<< 2.14.5.0-1.1~) Recommends: graphviz Suggests: libspot-dev, spot-doc, python3-spot Filename: armhf/libspot0_2.14.5.0-1_armhf.deb Size: 1511668 MD5sum: f2d697944343f3925eb38ce1746150c2 SHA1: d6c91e656a817196ebf73fb5f7707b7d3a08f9e2 SHA256: 54bbf039d120ec960728a0fc8ce8a5949d6386cf2ea7c71c1521f6881ddce81b 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.14.5.0-1 Auto-Built-Package: debug-symbols Architecture: armhf Maintainer: Alexandre Duret-Lutz Installed-Size: 28470 Depends: libspot0 (= 2.14.5.0-1) Filename: armhf/libspot0-dbgsym_2.14.5.0-1_armhf.deb Size: 27924764 MD5sum: 82fd9be820b60c44d2d5674a6bfe0a0a SHA1: 2215e32791f8cdd10df8afa48bf125684397161f SHA256: 5cd3530f3e99c13f11f2574345ebb5a679fb7f08f37d1e2aa5ccf03a94515e5a Section: debug Priority: optional Description: debug symbols for libspot0 Build-Ids: b2d49be005ee82bb765bdd0faba50fd7ead66dfe Package: libspotgen0 Source: spot Version: 2.14.5.0-1 Architecture: armhf Maintainer: Alexandre Duret-Lutz Installed-Size: 542 Depends: libbddx0 (>= 2.14.5.0), libc6 (>= 2.32), libgcc-s1 (>= 3.5), libspot0 (>= 2.14.5.0-1), libstdc++6 (>= 11), libspot0 (<< 2.14.5.0-1.1~) Suggests: libspot-dev Filename: armhf/libspotgen0_2.14.5.0-1_armhf.deb Size: 410476 MD5sum: f590ba003559df06abeff040444010d4 SHA1: 28fe655e575f3265ee1e0ff5c398bf4496fe6e30 SHA256: 45aee140367e0d4798a8bffc6a07a9b183656a22e1d51950a5048740ebfeeac9 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.14.5.0-1 Auto-Built-Package: debug-symbols Architecture: armhf Maintainer: Alexandre Duret-Lutz Installed-Size: 703 Depends: libspotgen0 (= 2.14.5.0-1) Filename: armhf/libspotgen0-dbgsym_2.14.5.0-1_armhf.deb Size: 682808 MD5sum: 69b460d31efb846e342bfbbd6f9e4bbe SHA1: 965d0e2edd2f8c85ec04051424af01e6aae5d2b6 SHA256: a8432686a709bdfc601aa16394a62f2adc023ce5a9c4ae67d04cc79fc10a13a2 Section: debug Priority: optional Description: debug symbols for libspotgen0 Build-Ids: 1c446bf0f3045b81f2642fc4bb692a7b50b31489 Package: libspotltsmin0 Source: spot Version: 2.14.5.0-1 Architecture: armhf Maintainer: Alexandre Duret-Lutz Installed-Size: 414 Depends: libbddx0 (>= 2.14.5.0), libc6 (>= 2.33), libgcc-s1 (>= 3.5), libltdl7 (>= 2.4.7), libspot0 (>= 2.14.5.0-1), libstdc++6 (>= 11), libspot0 (<< 2.14.5.0-1.1~) Suggests: libspot-dev Filename: armhf/libspotltsmin0_2.14.5.0-1_armhf.deb Size: 369792 MD5sum: aebd36d7d42c6fae570d57ef44efc079 SHA1: 408ad8bf8a7752f7012ee90aaf041697f8882ff7 SHA256: bd0c366f132ebd67166eeb80e4544875b119938253379e98f0fc75914d5ddcbb 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.14.5.0-1 Auto-Built-Package: debug-symbols Architecture: armhf Maintainer: Alexandre Duret-Lutz Installed-Size: 659 Depends: libspotltsmin0 (= 2.14.5.0-1) Filename: armhf/libspotltsmin0-dbgsym_2.14.5.0-1_armhf.deb Size: 615776 MD5sum: ef1383b336cd2216f2495e445d8d6e38 SHA1: 8967f3bb8c1b2b0ce8be0a8f4d41af3a0c22959f SHA256: 63760c4af5229c2097728b297f76893d2c081828bcce5077b72b07dc37de0817 Section: debug Priority: optional Description: debug symbols for libspotltsmin0 Build-Ids: 5fb71d8f54912e7a652371218b506d89219f43ef Package: python3-spot Source: spot Version: 2.14.5.0-1 Architecture: armhf Maintainer: Alexandre Duret-Lutz Installed-Size: 40801 Depends: libbddx0 (>= 2.14.5.0), libc6 (>= 2.32), libgcc-s1 (>= 3.5), libspot0 (>= 2.14.5.0-1), libspotgen0 (>= 2.14.5.0), libspotltsmin0 (>= 2.14.5.0-1), libstdc++6 (>= 11), python3 (<< 3.12), python3 (>= 3.11~), python3:any, libspot0 (<< 2.14.5.0-1.1~), libspotltsmin0 (<< 2.14.5.0-1.1~) Suggests: ipython3 Filename: armhf/python3-spot_2.14.5.0-1_armhf.deb Size: 2116524 MD5sum: c62e8e96de6359a30f3e98023c742ddf SHA1: 23c3e5d60243ff4f2e7c6ddd0b4c67a470fcbe82 SHA256: 026de0c5f98b21c4f50c2dd84a86543f85d22b0bdda40137f504f62c25ceda34 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.14.5.0-1 Auto-Built-Package: debug-symbols Architecture: armhf Maintainer: Alexandre Duret-Lutz Installed-Size: 7272 Depends: python3-spot (= 2.14.5.0-1) Filename: armhf/python3-spot-dbgsym_2.14.5.0-1_armhf.deb Size: 6514392 MD5sum: 60a1441ae5e87ecebb1c71f71a49704e SHA1: 414e46284359a7180561f89b861c8c466d08352c SHA256: c5dca35194eff19ea07c34c102cabc7cb94680ce6e7f272b9510d5dcd556b2a5 Section: debug Priority: optional Description: debug symbols for python3-spot Build-Ids: 6a63a234675dd461ddfc106782aa1b5b09ef827b 9af71d0994647d45d4cf89f344bc33829972fa99 9ba115623540f023d1624d0eddc3e622f3a1b2ae a5ac9026c3bb229446e5a8c776f515e5dd9c6b5d Package: spot Version: 2.14.5.0-1 Architecture: armhf Maintainer: Alexandre Duret-Lutz Installed-Size: 2946 Depends: libbddx0 (>= 2.14.5.0), libc6 (>= 2.34), libgcc-s1 (>= 3.5), libspot0 (>= 2.14.5.0-1), libspotgen0 (>= 2.14.5.0-1), libstdc++6 (>= 11), libspot0 (<< 2.14.5.0-1.1~), libspotgen0 (<< 2.14.5.0-1.1~) Recommends: graphviz Suggests: libspot-dev, spot-doc, python3-spot Filename: armhf/spot_2.14.5.0-1_armhf.deb Size: 985104 MD5sum: 141974f9aa3a2bf5eec75bda2cd8d052 SHA1: 73cc0593486bcdeabf483b5a7a0425cf6fefb1d5 SHA256: 77dd039f9eb4e9ced2e4dcfbdf53c53b9c982ce466abde0e1733fd78152ef0d1 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.14.5.0-1 Auto-Built-Package: debug-symbols Architecture: armhf Maintainer: Alexandre Duret-Lutz Installed-Size: 9879 Depends: spot (= 2.14.5.0-1) Filename: armhf/spot-dbgsym_2.14.5.0-1_armhf.deb Size: 8795832 MD5sum: 8a21df101dbe40bdc7bbefabc60c1dde SHA1: 697732ee1432284de02faff351826e0145c23e13 SHA256: 8da84d2d98306c34a30e45d5ee87e2d7efdf3400be485fd923812b188dcb1418 Section: debug Priority: optional Description: debug symbols for spot Build-Ids: 00588a2aada3d84153ef37ebab372098b0a5082f 0bb66832b66fcb6d6a0eb63e8ae8d12d3557a9e2 1482f3d219560289477d2475b67da1a0aa4cfa33 1a32a6be8ddf499cc49faac8c2a2517f1259f3c0 1a3a6b74a8ec964223e6f79ed849919fda73e024 1dcb4a1a12665cab3f6ae3b5814561c6fe287f9d 4de9c2a99a28433272231178f1790807a4136b84 581a6c60ef7c4317e7566fce50f5264c93a8e669 817fc5d7605793d3e8452e1e90a47fcf66344440 8af60f85bd9e046d8d68a4a729f5953c13c52417 8e72a1136585d42b8e3cd90152fb452045fe0293 8efe42d4b7830cdd0e2f81f05e75f6ae0fd22b5e 9f7012771842b72d766793ae7949f0957333b923 a8dc1a4828981fe22aa399f2c8ac88b1df2353b8 b390b0cefc8180cc35ffba534e9faab05d68daf5 c853c112daef13fb857323acf60a735b6e139c45 d21c03cb85eb2e121c1d40cc4dbaed47d0b34fd9 Package: spot-doc Source: spot Version: 2.14.5.0-1 Architecture: all Maintainer: Alexandre Duret-Lutz Installed-Size: 31876 Depends: libjs-mathjax, libjs-jquery, libjs-requirejs Filename: all/spot-doc_2.14.5.0-1_all.deb Size: 2384772 MD5sum: 88207109e3fda963fca5590480f7749b SHA1: c0c50fcfbeb76cfd98426a04604ee614051bc1a5 SHA256: dc115718cbb552b8a3bc1636abc2fa25b1bacfe87dcdd451ec57b2cc3e2685ce Section: doc Priority: optional Homepage: http://spot.lrde.epita.fr/ Description: documentation for Spot HTML and PDF documentation for Spot.