Package: libbddx-dev Source: spot Version: 2.16.0-1 Architecture: amd64 Maintainer: Alexandre Duret-Lutz Installed-Size: 460 Depends: libbddx0 (>= 2.16.0-1), libbddx0 (<< 2.16.0-1.1~) Filename: amd64/libbddx-dev_2.16.0-1_amd64.deb Size: 121160 MD5sum: db07ebccd0c0cd31668fe596f2ee5f00 SHA1: 9da855aae3588ec89ddb9f360e876daebe9b598c SHA256: 97bcb74d0b765aff473022b51ccb968a7f52a43d61191d11e473d652d0ad61d7 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.16.0-1 Architecture: amd64 Maintainer: Alexandre Duret-Lutz Installed-Size: 192 Depends: libc6 (>= 2.38), libgcc-s1 (>= 3.3.1), libstdc++6 (>= 13.1) Recommends: graphviz Suggests: libbddx-dev Filename: amd64/libbddx0_2.16.0-1_amd64.deb Size: 87664 MD5sum: fa56b819bcc9ccd31cfd91915521535f SHA1: f7526f6e92d0056a79396af01e49fbd5b4b89f6c SHA256: 0a56915337131102666205b320f13d0e2b66dce506edc3b533a9b6eaf040cc00 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.16.0-1 Architecture: amd64 Maintainer: Alexandre Duret-Lutz Installed-Size: 18686 Depends: libspot0 (>= 2.16.0-1), libspot0 (<< 2.16.0-1.1~), libspotltsmin0 (>= 2.16.0-1), libspotltsmin0 (<< 2.16.0-1.1~), libbddx-dev Suggests: spot-doc Filename: amd64/libspot-dev_2.16.0-1_amd64.deb Size: 3817780 MD5sum: 30718c0d6c94c7ee72ec54204d2d3448 SHA1: 5466a98120dc576bf99a2f7a9059d4f811febb84 SHA256: 665837a465370306aa0e0355227b5708c4748f337c8844cd4a555833b0785fe5 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.16.0-1 Architecture: amd64 Maintainer: Alexandre Duret-Lutz Installed-Size: 4598 Depends: libbddx0 (>= 2.16.0-1), libc6 (>= 2.38), libgcc-s1 (>= 3.4), libstdc++6 (>= 14), libbddx0 (<< 2.16.0-1.1~) Recommends: graphviz Suggests: libspot-dev, spot-doc, python3-spot Filename: amd64/libspot0_2.16.0-1_amd64.deb Size: 2153650 MD5sum: c11f4eafc90bf4059a66ed9609e729e9 SHA1: d8d33ac562bc272f4ca5188fa012eae45bd8131c SHA256: fb85467aeb51d2fae386e9a820ecd3d094a35738cda2c3893241a3eac45ffe20 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.16.0-1 Architecture: amd64 Maintainer: Alexandre Duret-Lutz Installed-Size: 578 Depends: libbddx0 (>= 2.16.0), libc6 (>= 2.32), libgcc-s1 (>= 3.3.1), libspot0 (>= 2.16.0-1), libstdc++6 (>= 13.1), libspot0 (<< 2.16.0-1.1~) Suggests: libspot-dev Filename: amd64/libspotgen0_2.16.0-1_amd64.deb Size: 447886 MD5sum: 45916eca47e19dd7ce3aefaf34f4928c SHA1: 94982b41fb1c98985bb9271f01da4808f5f7f8d6 SHA256: 96dea247b34e4a7f5cf80ecc21dc2c717399f96115b8519df3080186b734f2f2 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.16.0-1 Architecture: amd64 Maintainer: Alexandre Duret-Lutz Installed-Size: 454 Depends: libbddx0 (>= 2.16.0), libc6 (>= 2.38), libgcc-s1 (>= 3.3.1), libltdl7 (>= 2.5.4), libspot0 (>= 2.16.0-1), libstdc++6 (>= 13.1), libspot0 (<< 2.16.0-1.1~) Suggests: libspot-dev Filename: amd64/libspotltsmin0_2.16.0-1_amd64.deb Size: 399276 MD5sum: 1ce73e978e1f1da2955e6690bca1e838 SHA1: 7bce9a1a20c6c31ce28c97f659132f61d8d45010 SHA256: 302520974a4b8720c4389a35b9b7ff49f07c9f3f8f006db58f79ef83b2e95f98 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.16.0-1 Architecture: amd64 Maintainer: Alexandre Duret-Lutz Installed-Size: 40520 Depends: libbddx0 (>= 2.16.0), libc6 (>= 2.32), libgcc-s1 (>= 3.4), libspot0 (>= 2.16.0-1), libspotgen0 (>= 2.16.0), libspotltsmin0 (>= 2.16.0-1), libstdc++6 (>= 13.1), python3 (<< 3.14), python3 (>= 3.13~), python3:any, libspot0 (<< 2.16.0-1.1~), libspotltsmin0 (<< 2.16.0-1.1~) Suggests: ipython3 Filename: amd64/python3-spot_2.16.0-1_amd64.deb Size: 2837060 MD5sum: 21cbf5ae9c2a5d52d95bcc7f7b54b42f SHA1: ef40eaac36b4bb50cc4289cba8db4746af880588 SHA256: c14667836ae6a7677a7f1ee25527bdefdfa47c0b8db58fe91541c893b59b514f 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.16.0-1 Architecture: amd64 Maintainer: Alexandre Duret-Lutz Installed-Size: 4269 Depends: libbddx0 (>= 2.16.0), libc6 (>= 2.38), libgcc-s1 (>= 3.3.1), libspot0 (>= 2.16.0-1), libspotgen0 (>= 2.16.0-1), libstdc++6 (>= 14), libspot0 (<< 2.16.0-1.1~), libspotgen0 (<< 2.16.0-1.1~) Recommends: graphviz Suggests: libspot-dev, spot-doc, python3-spot Filename: amd64/spot_2.16.0-1_amd64.deb Size: 1374358 MD5sum: 38fa7f83144e4a15e505cc3231b9ae87 SHA1: b3d0d73c32975cc0c33cea3414230ef6d4795487 SHA256: a083f05604b9498586b38192923ce3675784fbccdbfbd69014377b5fc4454ec1 Section: science Priority: optional Homepage: http://spot.lrde.epita.fr/ Description: model checking and omega-automata manipulation tools Tools to manipulate omega-automata as well as linear-time temporal logic (LTL & PSL). Package: spot-doc Source: spot Version: 2.16.0-1 Architecture: all Maintainer: Alexandre Duret-Lutz Installed-Size: 33804 Depends: libjs-mathjax, libjs-jquery, libjs-requirejs Filename: all/spot-doc_2.16.0-1_all.deb Size: 2506418 MD5sum: be1075a7799cef86d9f6e68a8ff8922c SHA1: 6019dfd4ee16c222d013d330ca5959ed0db9c1df SHA256: 7c5e4f8e538c2b9ef906878c627973b62db14b391e860c5c7cc0cc09320bc635 Section: doc Priority: optional Homepage: http://spot.lrde.epita.fr/ Description: documentation for Spot HTML and PDF documentation for Spot.