Package: libbddx-dev Source: spot Version: 2.14.2.0-1 Architecture: amd64 Maintainer: Alexandre Duret-Lutz Installed-Size: 401 Depends: libbddx0 (>= 2.14.2.0-1), libbddx0 (<< 2.14.2.0-1.1~) Filename: amd64/libbddx-dev_2.14.2.0-1_amd64.deb Size: 102476 MD5sum: 0ebd7b769c7df6fe94efff0a3d14157e SHA1: d7bc5fa9737f8e4fa60d95ad1a795ac20f21dd26 SHA256: e78b816b08c40419213400fcff8286b8ec29a8a2352b36a88c0be65778c7796e 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.2.0-1 Architecture: amd64 Maintainer: Alexandre Duret-Lutz Installed-Size: 179 Depends: libc6 (>= 2.29), libgcc-s1 (>= 3.3.1), libstdc++6 (>= 5) Recommends: graphviz Suggests: libbddx-dev Filename: amd64/libbddx0_2.14.2.0-1_amd64.deb Size: 76846 MD5sum: 5ab228cd083e29a668d9baea76c61d81 SHA1: fbaf0b54f325d1d90054f9450640dddc2c9925a6 SHA256: 9a41d83a7197f5af64a1314abdd2f25650c3df1be0171220417565275cc3b227 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: libspot-dev Source: spot Version: 2.14.2.0-1 Architecture: amd64 Maintainer: Alexandre Duret-Lutz Installed-Size: 17892 Depends: libspot0 (>= 2.14.2.0-1), libspot0 (<< 2.14.2.0-1.1~), libspotltsmin0 (>= 2.14.2.0-1), libspotltsmin0 (<< 2.14.2.0-1.1~), libbddx-dev Suggests: spot-doc Filename: amd64/libspot-dev_2.14.2.0-1_amd64.deb Size: 3388454 MD5sum: d264eee2f600d6f6341c91fcec4ee1a7 SHA1: 8e4699d0c65ba4a00bf9ec9e3a910b45fb308b88 SHA256: 38a66c95825e0fcd9f0def7548fd776919f08fef754c5437654d886b60863a33 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.2.0-1 Architecture: amd64 Maintainer: Alexandre Duret-Lutz Installed-Size: 4248 Depends: libbddx0 (>= 2.14.2.0-1), libc6 (>= 2.33), libgcc-s1 (>= 3.4), libstdc++6 (>= 11), libbddx0 (<< 2.14.2.0-1.1~) Recommends: graphviz Suggests: libspot-dev, spot-doc, python3-spot Filename: amd64/libspot0_2.14.2.0-1_amd64.deb Size: 1981534 MD5sum: 9174cbc82a89181f0a127958a5854a8e SHA1: 46b0a94f676a04f7c5babfda7f3429f7c3f3a321 SHA256: 5d2e50394f73e618a3f4eac6a48a711ea330d3c096ca1c188817f6ddaccc7afb 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: libspotgen0 Source: spot Version: 2.14.2.0-1 Architecture: amd64 Maintainer: Alexandre Duret-Lutz Installed-Size: 596 Depends: libbddx0 (>= 2.14.2.0), libc6 (>= 2.32), libgcc-s1 (>= 3.3.1), libspot0 (>= 2.14.2.0-1), libstdc++6 (>= 11), libspot0 (<< 2.14.2.0-1.1~) Suggests: libspot-dev Filename: amd64/libspotgen0_2.14.2.0-1_amd64.deb Size: 436992 MD5sum: 6de89a58971d709308a1e77134046888 SHA1: 54d4e6f951ef03790e34e6e58585861b78bbc328 SHA256: 16cdd1ea31551db210f151ab6bc828c536b93fb470c4be02f05f86900e4d1a60 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: libspotltsmin0 Source: spot Version: 2.14.2.0-1 Architecture: amd64 Maintainer: Alexandre Duret-Lutz Installed-Size: 424 Depends: libbddx0 (>= 2.14.2.0), libc6 (>= 2.33), libgcc-s1 (>= 3.3.1), libltdl7 (>= 2.4.7), libspot0 (>= 2.14.2.0-1), libstdc++6 (>= 11), libspot0 (<< 2.14.2.0-1.1~) Suggests: libspot-dev Filename: amd64/libspotltsmin0_2.14.2.0-1_amd64.deb Size: 372572 MD5sum: 3ab4f16a1290fbb85dca87cbdcc7461d SHA1: a08173606156cc043824b0b85fd41625265442f0 SHA256: 1f0018faeea8841eb4cbf5adb26b64eec1fc16c1a5a0430453f75e53c60ef72c 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: python3-spot Source: spot Version: 2.14.2.0-1 Architecture: amd64 Maintainer: Alexandre Duret-Lutz Installed-Size: 41498 Depends: libbddx0 (>= 2.14.2.0), libc6 (>= 2.32), libgcc-s1 (>= 3.4), libspot0 (>= 2.14.2.0-1), libspotgen0 (>= 2.14.2.0), libspotltsmin0 (>= 2.14.2.0-1), libstdc++6 (>= 11), python3 (<< 3.11), python3 (>= 3.10~), python3:any, libspot0 (<< 2.14.2.0-1.1~), libspotltsmin0 (<< 2.14.2.0-1.1~) Suggests: ipython3 Filename: amd64/python3-spot_2.14.2.0-1_amd64.deb Size: 2315688 MD5sum: cbc532d39796c2e74aa2b19e6b2645d6 SHA1: 093bdb4cf69cc1d62bf7c9d51dc06cfcc10dbfdc SHA256: 44890df8e8c870ce7b3aa3ca207ad68bc296fc5aedaab04d9dfbd0d0073e2d43 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: spot Version: 2.14.2.0-1 Architecture: amd64 Maintainer: Alexandre Duret-Lutz Installed-Size: 3778 Depends: libbddx0 (>= 2.14.2.0), libc6 (>= 2.34), libgcc-s1 (>= 3.3.1), libspot0 (>= 2.14.2.0-1), libspotgen0 (>= 2.14.2.0-1), libstdc++6 (>= 11), libspot0 (<< 2.14.2.0-1.1~), libspotgen0 (<< 2.14.2.0-1.1~) Recommends: graphviz Suggests: libspot-dev, spot-doc, python3-spot Filename: amd64/spot_2.14.2.0-1_amd64.deb Size: 1231858 MD5sum: a1e1827e628d6d6773d3aa11099ecf91 SHA1: 52232a251d62eb399e18d50fd3ede0f78e46d08c SHA256: 319a533ac94ac5830d825c82a70a23a5674ae6d741708a4a2751dd70732c629f 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-doc Source: spot Version: 2.14.2.0-1 Architecture: all Maintainer: Alexandre Duret-Lutz Installed-Size: 30924 Depends: libjs-mathjax, libjs-jquery, libjs-requirejs Filename: all/spot-doc_2.14.2.0-1_all.deb Size: 2292626 MD5sum: a42261e5dd472d38f166d716b531ae7b SHA1: f795e2cb8486a83995488a790ae420d394abb9cf SHA256: 7dd32fbbdf29d14400c8cbacea5cf2a1a00b17aed9e59387acc00983061dd82e Section: doc Priority: optional Homepage: http://spot.lrde.epita.fr/ Description: documentation for Spot HTML and PDF documentation for Spot.