Package: libbddx-dev Source: spot Version: 2.12.1.0-1 Architecture: amd64 Maintainer: Alexandre Duret-Lutz Installed-Size: 337 Depends: libbddx0 (>= 2.12.1.0-1), libbddx0 (<< 2.12.1.0-1.1~) Filename: amd64/libbddx-dev_2.12.1.0-1_amd64.deb Size: 84654 MD5sum: 46209705e89d542ecf4b724f50dbc9fe SHA1: f9c09387c0c6b432cc060a72119e35d0940646f9 SHA256: 7dca3a69f0905f358c0da22a48bddd065440cb53dc414b61f17ee2bbf7394be3 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: amd64 Maintainer: Alexandre Duret-Lutz Installed-Size: 137 Depends: libc6 (>= 2.29), libgcc-s1 (>= 3.0), libstdc++6 (>= 4.3) Recommends: graphviz Suggests: libbddx-dev Filename: amd64/libbddx0_2.12.1.0-1_amd64.deb Size: 58436 MD5sum: a3cbd77498a129aa73b8c50293290c20 SHA1: 1e51280e93e99a77334f4ff0c31fceb49fdf518c SHA256: 0f194ce7cffc775b4442d85e06e6d07d683d27e8cb87d87f61db87a46305a800 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.12.1.0-1 Architecture: amd64 Maintainer: Alexandre Duret-Lutz Installed-Size: 16576 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: amd64/libspot-dev_2.12.1.0-1_amd64.deb Size: 3133570 MD5sum: 092cd64bb071b88ba6f55d56314d8790 SHA1: f8d1c08100a157ebc7711a725fdce66fc3114aa5 SHA256: ccaba2b6f6980b7d7b1443f0a4276d5960c371e384242241a98c80564cfb6232 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: amd64 Maintainer: Alexandre Duret-Lutz Installed-Size: 3904 Depends: libbddx0 (>= 2.12.1.0-1), libc6 (>= 2.33), libgcc-s1 (>= 3.4), libstdc++6 (>= 11), libbddx0 (<< 2.12.1.0-1.1~) Recommends: graphviz Suggests: libspot-dev, spot-doc, python3-spot Filename: amd64/libspot0_2.12.1.0-1_amd64.deb Size: 1826702 MD5sum: a23d06b2a63f8890ac539fe01b1e01d9 SHA1: 481c30f537a6021cf1edb80d94bb351d42ca9618 SHA256: d0ed54cf6cf50bce4c462dd8a039010a2121d95a118275d7212ebc2b598b1557 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.12.1.0-1 Architecture: amd64 Maintainer: Alexandre Duret-Lutz Installed-Size: 540 Depends: libbddx0 (>= 2.12.1.0), libc6 (>= 2.32), libgcc-s1 (>= 3.3.1), libspot0 (>= 2.12.1.0-1), libstdc++6 (>= 11), libspot0 (<< 2.12.1.0-1.1~) Suggests: libspot-dev Filename: amd64/libspotgen0_2.12.1.0-1_amd64.deb Size: 405276 MD5sum: 8c1c307a58b499e873a0588aa6e3377a SHA1: 219db0782a7471e566ed97ac7c6ddba5c48a5ab3 SHA256: adcc101e2bd1d3af22e5ad6b9d31920aaf70e2e87385666b5a47d4555ca614dc 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.12.1.0-1 Architecture: amd64 Maintainer: Alexandre Duret-Lutz Installed-Size: 408 Depends: libbddx0 (>= 2.12.1.0), libc6 (>= 2.33), libgcc-s1 (>= 3.3.1), libltdl7 (>= 2.4.7), libspot0 (>= 2.12.1.0-1), libstdc++6 (>= 11), libspot0 (<< 2.12.1.0-1.1~) Suggests: libspot-dev Filename: amd64/libspotltsmin0_2.12.1.0-1_amd64.deb Size: 356300 MD5sum: 7e8d1b9e03f956a67f379f3805d1e994 SHA1: 53039715ce10983958da403a581d7c723f7d9ebc SHA256: 05ef0f58aec45d8d09dd193e491269c2700dab8ea205ff315e7fa30035663568 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.12.1.0-1 Architecture: amd64 Maintainer: Alexandre Duret-Lutz Installed-Size: 16425 Depends: libbddx0 (>= 2.12.1.0), libc6 (>= 2.32), libgcc-s1 (>= 3.4), 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: amd64/python3-spot_2.12.1.0-1_amd64.deb Size: 1790558 MD5sum: 1eff4e54e44bfbe7a6a52acda12e9a7e SHA1: d7bdb5c985254fd9a4ea7a924d8a484030dbcdab SHA256: 668948cd4b190b71aa045783edaea6aa11656f892089ff9687f6f70fc16b12ba 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.12.1.0-1 Architecture: amd64 Maintainer: Alexandre Duret-Lutz Installed-Size: 2902 Depends: libbddx0 (>= 2.12.1.0), libc6 (>= 2.34), libgcc-s1 (>= 3.3.1), 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: amd64/spot_2.12.1.0-1_amd64.deb Size: 1046322 MD5sum: 262ea9faef4ded4f3e79bc323682eb7e SHA1: faa5204718b3f16c1579874336abed0eb58488db SHA256: bf3b7b740dcb11caab50ab75f44c2e4468aa48ac4b0b4a11d81bb0550d10bad0 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.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: 2198524 MD5sum: 9a7f5c7c0db8b241a9d0ef0eb78bbd3b SHA1: 7193a8d398f3a1c5dd4661399cc22bff6042e0bb SHA256: 94f8f39507559cb24ea8914e9e99dd7e3d6f7826c9f49ca040e79fcac708b7c9 Section: doc Priority: optional Homepage: http://spot.lrde.epita.fr/ Description: documentation for Spot HTML and PDF documentation for Spot.