Package: libbddx-dev Source: spot Version: 2.12.0-1 Architecture: amd64 Maintainer: Alexandre Duret-Lutz Installed-Size: 332 Depends: libbddx0 (>= 2.12.0-1), libbddx0 (<< 2.12.0-1.1~) Filename: amd64/libbddx-dev_2.12.0-1_amd64.deb Size: 83914 MD5sum: b2b80d9d3888c66a86817c879e015bf9 SHA1: bff31bd1c3d4fd7e0593fbd558ee499dad4556d4 SHA256: 2cb29da58da7e26bce8515c631544d59098b7ad9c5f4307e6f23b1dcb1b2f8a2 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.0-1 Architecture: amd64 Maintainer: Alexandre Duret-Lutz Installed-Size: 133 Depends: libc6 (>= 2.29), libgcc-s1 (>= 3.0), libstdc++6 (>= 13.1) Recommends: graphviz Suggests: libbddx-dev Filename: amd64/libbddx0_2.12.0-1_amd64.deb Size: 56206 MD5sum: 600b19e86417c0649faf6c0b1afa0e96 SHA1: 9bb96a55c30f9ad51bda58967a82b656b35bd29f SHA256: 0445c1a3a34341ebe56be000fde479dd74ba9d4e0009e3a62101b1e5aff577f9 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.0-1 Architecture: amd64 Maintainer: Alexandre Duret-Lutz Installed-Size: 16700 Depends: libspot0 (>= 2.12.0-1), libspot0 (<< 2.12.0-1.1~), libspotltsmin0 (>= 2.12.0-1), libspotltsmin0 (<< 2.12.0-1.1~), libbddx-dev Suggests: spot-doc Filename: amd64/libspot-dev_2.12.0-1_amd64.deb Size: 3179266 MD5sum: 0ac99bd076f640a4f3a84b7c7b8cdb69 SHA1: d1e506d8a976b378788c30b16be1cf8b440e6464 SHA256: 8b362fc5cdcc51c6b089c58719d41dd09488cf9304728ea686feb2f1167c32bf 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.0-1 Architecture: amd64 Maintainer: Alexandre Duret-Lutz Installed-Size: 3827 Depends: libbddx0 (>= 2.12.0-1), libc6 (>= 2.38), libgcc-s1 (>= 3.4), libstdc++6 (>= 13.1), libbddx0 (<< 2.12.0-1.1~) Recommends: graphviz Suggests: libspot-dev, spot-doc, python3-spot Filename: amd64/libspot0_2.12.0-1_amd64.deb Size: 1805870 MD5sum: 1ffd178c303c5a7ba81a7f4b7b59a2b0 SHA1: 84c0ee760e8e9c1762dcd89a5f83af99718ce33d SHA256: 6d48fa48f41a45b97829d2894d250f39a017ddcb67e52974b2b195e856f81285 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.0-1 Architecture: amd64 Maintainer: Alexandre Duret-Lutz Installed-Size: 531 Depends: libbddx0 (>= 2.12.0), libc6 (>= 2.32), libgcc-s1 (>= 3.3.1), libspot0 (>= 2.12.0-1), libstdc++6 (>= 13.1), libspot0 (<< 2.12.0-1.1~) Suggests: libspot-dev Filename: amd64/libspotgen0_2.12.0-1_amd64.deb Size: 400968 MD5sum: 07d7ef3b884b1938317b3766e468a835 SHA1: 2d6085eda66f7e8bffc5fcb32baca30d994a9828 SHA256: f5ac48a96b6e97773b14ce77d6dade8fdd48c81912f2436702263d32f23f7698 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.0-1 Architecture: amd64 Maintainer: Alexandre Duret-Lutz Installed-Size: 407 Depends: libbddx0 (>= 2.12.0), libc6 (>= 2.38), libgcc-s1 (>= 3.3.1), libltdl7 (>= 2.4.7), libspot0 (>= 2.12.0-1), libstdc++6 (>= 13.1), libspot0 (<< 2.12.0-1.1~) Suggests: libspot-dev Filename: amd64/libspotltsmin0_2.12.0-1_amd64.deb Size: 354568 MD5sum: f652f5a03c5e0d3cb3ca1ec8d14679bf SHA1: ac521f41d79f2573b847b075d7583b4228716ab8 SHA256: 5e719038cefa7cfae2a57a53118bc4cbbe0fcd4e6d8383b5dd66423437407989 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.0-1 Architecture: amd64 Maintainer: Alexandre Duret-Lutz Installed-Size: 16424 Depends: libbddx0 (>= 2.12.0), libc6 (>= 2.32), libgcc-s1 (>= 3.4), libspot0 (>= 2.12.0-1), libspotgen0 (>= 2.12.0), libspotltsmin0 (>= 2.12.0-1), libstdc++6 (>= 13.1), python3 (<< 3.13), python3 (>= 3.12~), python3:any, libspot0 (<< 2.12.0-1.1~), libspotltsmin0 (<< 2.12.0-1.1~) Suggests: ipython3 Filename: amd64/python3-spot_2.12.0-1_amd64.deb Size: 1779846 MD5sum: c1d4445e86ce71256479940c0f793258 SHA1: f88d4bc02336ce6abf5ffec6fe17ff9b80dfdf48 SHA256: 41a22a3fee8bb39b6367c8ace2f88fb14f23c22007f59d39dab06fa2a126ede6 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.0-1 Architecture: amd64 Maintainer: Alexandre Duret-Lutz Installed-Size: 2897 Depends: libbddx0 (>= 2.12.0), libc6 (>= 2.38), libgcc-s1 (>= 3.3.1), libspot0 (>= 2.12.0-1), libspotgen0 (>= 2.12.0-1), libstdc++6 (>= 13.1), libspot0 (<< 2.12.0-1.1~), libspotgen0 (<< 2.12.0-1.1~) Recommends: graphviz Suggests: libspot-dev, spot-doc, python3-spot Filename: amd64/spot_2.12.0-1_amd64.deb Size: 1039048 MD5sum: 562acf164b131db642d7235dc82c9398 SHA1: 784d889b690f1381c5241dd892e29a916355c942 SHA256: cfc9f0bb0e9cbf588bb87d3ef571e3e013531df8fcdf2fefd2388493e5854843 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.0-1 Architecture: all Maintainer: Alexandre Duret-Lutz Installed-Size: 33670 Depends: libjs-mathjax, libjs-jquery, libjs-requirejs Filename: all/spot-doc_2.12.0-1_all.deb Size: 2320110 MD5sum: 7bc662d9d14448a124fe80700439f93a SHA1: 5ba24c0c1ba4c96249901bc874ab4953b7373ba0 SHA256: f09075461213709374640fa76a72168a8279d57b6ed873627d139b109bb89536 Section: doc Priority: optional Homepage: http://spot.lrde.epita.fr/ Description: documentation for Spot HTML and PDF documentation for Spot.