Package: libbddx-dev Source: spot Version: 2.14.2.0-1 Architecture: amd64 Maintainer: Alexandre Duret-Lutz Installed-Size: 379 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: 98434 MD5sum: 3deefa2324ee81b077cab1299dbc891a SHA1: 73f8be3a3e3242871350786c2d65024b9319c46e SHA256: 99188b114b5d152a1458784deb926e01755ed18d48ac356cba7d217a9ce6605f 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: 171 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: 79738 MD5sum: c05ad9e27d2b3cd3089b0cfb83423166 SHA1: d286c3650357794a76efe5eb4045e122f54c46cc SHA256: 1d0b7b8d86996e2e5d3ceebaafc9ae090f304ba29e1ba355e8e7d06b2e6d445d 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: 17688 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: 3359706 MD5sum: 19e526f920a4be09dd9120fe5dd4c3db SHA1: 01494fde347563c3abfd05081b5443a8de7c3062 SHA256: 6e85fe84c13fc3fa3e3f6acf0f95356468c5036dc0c8493be7758b71591be599 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: 4840 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: 2404032 MD5sum: e4d1c164022dc9b59bd3f60c3b45d4ea SHA1: 5eeed07c4fa7ef996e1696a76a024130abae3b4b SHA256: aed73e508fb2a82ed94d5420d06930ce3f0bc738404aebb5b490be7c22b0cd75 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: 588 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: 441532 MD5sum: 8909ba4d2b51f3135e75efbe09f96e77 SHA1: f1113a28ab445cc7944e8dd15742d2cd00987260 SHA256: 88d3a50a31b3d786b5dab85403c5d94d658df137813d61f341b7ac1044db9dcc 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: 428 Depends: libbddx0 (>= 2.14.2.0), libc6 (>= 2.33), libgcc-s1 (>= 3.3.1), libltdl7 (>= 2.4.6), 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: 375000 MD5sum: 7552db699ec518f2901923c53c08a51d SHA1: 6be549e8ed8892fc6ac3ed5e796bab7f2a9abf87 SHA256: 36ea3f103de0e7b2fe148c9e7e0f1bd3a0189105fc99aa5366f085280e307915 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: 41485 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: 2385666 MD5sum: 784614fe50cc3a2949ec34de1f8b2437 SHA1: 12d66c01395d46573663e77fe441db423247672a SHA256: 3a01809d32ffc7a9f61b7c03e2e8e7f6cd6ff6aacaf17a74e8487c584f829826 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: 3826 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: 1312256 MD5sum: 4e6636f97bc4b46ca6cd5ce28b22ec59 SHA1: 5c55dab1bcf84f38dbd05d5f3b83a7e1d11ba337 SHA256: 8becc3f6190922f1ba10c006727e706ec0555951454445c31859aa140afecb69 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: 2297134 MD5sum: 471c4bf670c90bde66c07c8deed3ca9d SHA1: c8ae4a5cbe34c168f478ab867a6494ab95376a68 SHA256: 4dcbf2a95cc017db13347e22d046a0055f299449badec236cee4f994cde0956e Section: doc Priority: optional Homepage: http://spot.lrde.epita.fr/ Description: documentation for Spot HTML and PDF documentation for Spot.