Package: libbddx-dev Source: spot Version: 2.12.2.0-1 Architecture: amd64 Maintainer: Alexandre Duret-Lutz Installed-Size: 337 Depends: libbddx0 (>= 2.12.2.0-1), libbddx0 (<< 2.12.2.0-1.1~) Filename: amd64/libbddx-dev_2.12.2.0-1_amd64.deb Size: 84642 MD5sum: f952625c98049740f421e276bbe51c53 SHA1: 50d00722f72481e1f5636db1a05721e9e28e2eba SHA256: 94b4803c0c822cf370291d36e1c2e266ba5cb43a653430ba59ebe67b09533c87 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.2.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.2.0-1_amd64.deb Size: 58460 MD5sum: 2cbc13452109216bc74560168a28cb07 SHA1: 736a332d7a4ba73f16aae447ee61d469f21acf48 SHA256: 05972650a5e9680a82bc7a1ba57caf2d6620d08d6aad728b2d67f0402ab0ede3 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.2.0-1 Architecture: amd64 Maintainer: Alexandre Duret-Lutz Installed-Size: 16580 Depends: libspot0 (>= 2.12.2.0-1), libspot0 (<< 2.12.2.0-1.1~), libspotltsmin0 (>= 2.12.2.0-1), libspotltsmin0 (<< 2.12.2.0-1.1~), libbddx-dev Suggests: spot-doc Filename: amd64/libspot-dev_2.12.2.0-1_amd64.deb Size: 3133328 MD5sum: a3027ef510799f01ae735def68b10647 SHA1: a47046335ed6f8bd87170425558f7e9473651e72 SHA256: 02dc8fbb0dc5b335e8d012326cb10be2a413d328e1f1f8d6e0bf287e5a043fce 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.2.0-1 Architecture: amd64 Maintainer: Alexandre Duret-Lutz Installed-Size: 3905 Depends: libbddx0 (>= 2.12.2.0-1), libc6 (>= 2.33), libgcc-s1 (>= 3.4), libstdc++6 (>= 11), libbddx0 (<< 2.12.2.0-1.1~) Recommends: graphviz Suggests: libspot-dev, spot-doc, python3-spot Filename: amd64/libspot0_2.12.2.0-1_amd64.deb Size: 1827704 MD5sum: fdd09d4aae091a2b9c0dc43c1371b47d SHA1: 97c454b0e19230c937082372fd39d8e7bf2ac390 SHA256: 89103b2ac99fa788624d6ddb7ffbdb455080d6a4f86cfb627aadd8e577eae685 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.2.0-1 Architecture: amd64 Maintainer: Alexandre Duret-Lutz Installed-Size: 541 Depends: libbddx0 (>= 2.12.2.0), libc6 (>= 2.32), libgcc-s1 (>= 3.3.1), libspot0 (>= 2.12.2.0-1), libstdc++6 (>= 11), libspot0 (<< 2.12.2.0-1.1~) Suggests: libspot-dev Filename: amd64/libspotgen0_2.12.2.0-1_amd64.deb Size: 405762 MD5sum: c561c6975466f05800bdaeebbf558105 SHA1: 295ea6d81a67d048366bae174deed671b8bf8222 SHA256: 16bba5fe5dd849d85e7cac6e714281c1b57c50b62fe4b6132c3da6f1feed8ef7 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.2.0-1 Architecture: amd64 Maintainer: Alexandre Duret-Lutz Installed-Size: 409 Depends: libbddx0 (>= 2.12.2.0), libc6 (>= 2.33), libgcc-s1 (>= 3.3.1), libltdl7 (>= 2.4.7), libspot0 (>= 2.12.2.0-1), libstdc++6 (>= 11), libspot0 (<< 2.12.2.0-1.1~) Suggests: libspot-dev Filename: amd64/libspotltsmin0_2.12.2.0-1_amd64.deb Size: 356766 MD5sum: 89ec8cb8630f7bb2586b7ebe14b705b3 SHA1: af04fcd9ebed89e662b8d36d4295d74255c9b742 SHA256: 618fa8f521fd4218bb11350776dbd223966067686ee3c55137755cfa7ed6dc56 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.2.0-1 Architecture: amd64 Maintainer: Alexandre Duret-Lutz Installed-Size: 16424 Depends: libbddx0 (>= 2.12.2.0), libc6 (>= 2.32), libgcc-s1 (>= 3.4), libspot0 (>= 2.12.2.0-1), libspotgen0 (>= 2.12.2.0), libspotltsmin0 (>= 2.12.2.0-1), libstdc++6 (>= 11), python3 (<< 3.11), python3 (>= 3.10~), python3:any, libspot0 (<< 2.12.2.0-1.1~), libspotltsmin0 (<< 2.12.2.0-1.1~) Suggests: ipython3 Filename: amd64/python3-spot_2.12.2.0-1_amd64.deb Size: 1791284 MD5sum: a2905d5b45294e448312923ba6ad69c0 SHA1: 06356991e505bf96c10028920241da34ed4d2cb9 SHA256: b88e295595e98c4c553ccf7d1f1f96e34969d6f5161a51a35c7501a0b43a6fe4 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.2.0-1 Architecture: amd64 Maintainer: Alexandre Duret-Lutz Installed-Size: 2905 Depends: libbddx0 (>= 2.12.2.0), libc6 (>= 2.34), libgcc-s1 (>= 3.3.1), libspot0 (>= 2.12.2.0-1), libspotgen0 (>= 2.12.2.0-1), libstdc++6 (>= 11), libspot0 (<< 2.12.2.0-1.1~), libspotgen0 (<< 2.12.2.0-1.1~) Recommends: graphviz Suggests: libspot-dev, spot-doc, python3-spot Filename: amd64/spot_2.12.2.0-1_amd64.deb Size: 1047918 MD5sum: fead23c7224d930f1c6a0a92fd761b65 SHA1: 4814bc48ef6711d7baf711310ccaf29f4ac027c8 SHA256: 63a0d2be228615a46202ddaf1530acad9a7aef6ce23ad6384871d17182a71db0 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.2.0-1 Architecture: all Maintainer: Alexandre Duret-Lutz Installed-Size: 29444 Depends: libjs-mathjax, libjs-jquery, libjs-requirejs Filename: all/spot-doc_2.12.2.0-1_all.deb Size: 2172790 MD5sum: 6651d6a74d3399597c24c92bc07a0ef3 SHA1: a212f34a75b50c7bc6b57119331baf7efc43b8ec SHA256: f8c50efff6b2011be35ba7d409edfa57ce024a066c85c0fa852ccc2383ec492e Section: doc Priority: optional Homepage: http://spot.lrde.epita.fr/ Description: documentation for Spot HTML and PDF documentation for Spot.