Package: libbddx-dev Source: spot Version: 2.15.1.0-1 Architecture: amd64 Maintainer: Alexandre Duret-Lutz Installed-Size: 415 Depends: libbddx0 (>= 2.15.1.0-1), libbddx0 (<< 2.15.1.0-1.1~) Filename: amd64/libbddx-dev_2.15.1.0-1_amd64.deb Size: 106970 MD5sum: 0afd9fb6f0c9b2f3dfd6419d8c46d80e SHA1: d74af38951a8fc96cc8353a76a2303c39272d518 SHA256: 700a7facbfbb6570351a5aec5eaf250218010be1335836bd4b98e064e33da84f 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.15.1.0-1 Architecture: amd64 Maintainer: Alexandre Duret-Lutz Installed-Size: 176 Depends: libc6 (>= 2.29), libgcc-s1 (>= 3.3.1), libstdc++6 (>= 13.1) Recommends: graphviz Suggests: libbddx-dev Filename: amd64/libbddx0_2.15.1.0-1_amd64.deb Size: 78470 MD5sum: b4c282e47632107a87b6392aa86b02a7 SHA1: 9674d0738fbf1ffb5c94e14e2e6cd61b5d617755 SHA256: d6295c370f6b82b3418eb3da14e052f4cb98f70945f14aa4ef655dc259b6fc6f 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.15.1.0-1 Architecture: amd64 Maintainer: Alexandre Duret-Lutz Installed-Size: 18202 Depends: libspot0 (>= 2.15.1.0-1), libspot0 (<< 2.15.1.0-1.1~), libspotltsmin0 (>= 2.15.1.0-1), libspotltsmin0 (<< 2.15.1.0-1.1~), libbddx-dev Suggests: spot-doc Filename: amd64/libspot-dev_2.15.1.0-1_amd64.deb Size: 3701496 MD5sum: da3aab5f3fd784cdc92a8690e196420d SHA1: af3fd937ec6129698db233b586de46b4d6d71a28 SHA256: a2e28b0abe1e25782eeb3160b4973b525be186ca5350f87dbbeff5b950c26de9 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.15.1.0-1 Architecture: amd64 Maintainer: Alexandre Duret-Lutz Installed-Size: 4195 Depends: libbddx0 (>= 2.15.1.0-1), libc6 (>= 2.38), libgcc-s1 (>= 3.3.1), libstdc++6 (>= 14), libbddx0 (<< 2.15.1.0-1.1~) Recommends: graphviz Suggests: libspot-dev, spot-doc, python3-spot Filename: amd64/libspot0_2.15.1.0-1_amd64.deb Size: 1979102 MD5sum: 62053da66e5594d539737e4774a234fd SHA1: 9515b340c0e9908c59f345ee0444a5077b37fc2d SHA256: cad70f2d0218f06dbc584404f1eba55ac8c9291b717bdc40b463100f3b4719c3 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.15.1.0-1 Architecture: amd64 Maintainer: Alexandre Duret-Lutz Installed-Size: 559 Depends: libbddx0 (>= 2.15.1.0), libc6 (>= 2.32), libgcc-s1 (>= 3.3.1), libspot0 (>= 2.15.1.0-1), libstdc++6 (>= 13.1), libspot0 (<< 2.15.1.0-1.1~) Suggests: libspot-dev Filename: amd64/libspotgen0_2.15.1.0-1_amd64.deb Size: 436028 MD5sum: 80480dbca34ef27c1fa7ff7339913033 SHA1: 4bdac470dd785ef310df860bc26ffa36f7cd8d38 SHA256: db5128459fffb2ca270d891e8bd1c4abca3fd6cd712640487d7208903589b7db 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.15.1.0-1 Architecture: amd64 Maintainer: Alexandre Duret-Lutz Installed-Size: 435 Depends: libbddx0 (>= 2.15.1.0), libc6 (>= 2.38), libgcc-s1 (>= 3.3.1), libltdl7 (>= 2.4.7), libspot0 (>= 2.15.1.0-1), libstdc++6 (>= 13.1), libspot0 (<< 2.15.1.0-1.1~) Suggests: libspot-dev Filename: amd64/libspotltsmin0_2.15.1.0-1_amd64.deb Size: 384276 MD5sum: fde4455f562293d39534cea026bc25bb SHA1: c843f85bc1711aebc981042ec949483a1a43d37f SHA256: 1156102e30faf71d4278014ce543ca103b6ae15bdfa50783025b0e11061261d2 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.15.1.0-1 Architecture: amd64 Maintainer: Alexandre Duret-Lutz Installed-Size: 48171 Depends: libbddx0 (>= 2.15.1.0), libc6 (>= 2.32), libgcc-s1 (>= 3.3.1), libspot0 (>= 2.15.1.0-1), libspotgen0 (>= 2.15.1.0), libspotltsmin0 (>= 2.15.1.0-1), libstdc++6 (>= 13.1), python3 (<< 3.13), python3 (>= 3.12~), python3:any, libspot0 (<< 2.15.1.0-1.1~), libspotltsmin0 (<< 2.15.1.0-1.1~) Suggests: ipython3 Filename: amd64/python3-spot_2.15.1.0-1_amd64.deb Size: 2628666 MD5sum: dbac2442afd0bca10088e95e582afa0c SHA1: 1e3cdd95b45b6f8f7ee8542996ab95216a888a58 SHA256: 9bf5aaa691ff5eaeec1ab1d09ecf7286c91d32225b2f16458fbea2d28eb71f0f 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.15.1.0-1 Architecture: amd64 Maintainer: Alexandre Duret-Lutz Installed-Size: 3771 Depends: libbddx0 (>= 2.15.1.0), libc6 (>= 2.38), libgcc-s1 (>= 3.3.1), libspot0 (>= 2.15.1.0-1), libspotgen0 (>= 2.15.1.0-1), libstdc++6 (>= 14), libspot0 (<< 2.15.1.0-1.1~), libspotgen0 (<< 2.15.1.0-1.1~) Recommends: graphviz Suggests: libspot-dev, spot-doc, python3-spot Filename: amd64/spot_2.15.1.0-1_amd64.deb Size: 1271172 MD5sum: a2a4b320a3a00c391a8dcb85d4b9d51b SHA1: 409f382e785ef4cc0eaf5e9e384c1b0ddc8d856b SHA256: fe76edd55e9f2210058a354068bb37fb46d9a21d69777e57189c4400331df79c 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.15.1.0-1 Architecture: all Maintainer: Alexandre Duret-Lutz Installed-Size: 29904 Depends: libjs-mathjax, libjs-jquery, libjs-requirejs Filename: all/spot-doc_2.15.1.0-1_all.deb Size: 2259742 MD5sum: b27dcf4da7d0b4f894224fadac436fef SHA1: 6123dbb60390f643bc72fc5dee34de440c664429 SHA256: b45911cc03c6f1e2922ce2f6ac1d9082918fb2494d970a630a0cbed7c1556c42 Section: doc Priority: optional Homepage: http://spot.lrde.epita.fr/ Description: documentation for Spot HTML and PDF documentation for Spot.