Package: libbddx-dev Source: spot Version: 2.14.1.0-1 Architecture: amd64 Maintainer: Alexandre Duret-Lutz Installed-Size: 382 Depends: libbddx0 (>= 2.14.1.0-1), libbddx0 (<< 2.14.1.0-1.1~) Filename: amd64/libbddx-dev_2.14.1.0-1_amd64.deb Size: 98804 MD5sum: 7381cd7189d63626490874cd7b1fc24e SHA1: 9d38aff6adff5ae5299c9532b44884e5a2031ec7 SHA256: 6c039a5fe0db988c940c6a9a9fde827473ada5cf598c80f382231b3679a77833 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.14.1.0-1 Architecture: amd64 Maintainer: Alexandre Duret-Lutz Installed-Size: 159 Depends: libc6 (>= 2.29), libgcc-s1 (>= 3.3.1), libstdc++6 (>= 13.1) Recommends: graphviz Suggests: libbddx-dev Filename: amd64/libbddx0_2.14.1.0-1_amd64.deb Size: 71304 MD5sum: d5262b55116f2eeba99ca7578a0dddc2 SHA1: 37bb00f01b5e430297b5afe4114cd4c2e008c191 SHA256: a1bbea8fd92142654660b95541c7e34569f3170cc30f37138e1daf030faf93c4 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.14.1.0-1 Architecture: amd64 Maintainer: Alexandre Duret-Lutz Installed-Size: 18032 Depends: libspot0 (>= 2.14.1.0-1), libspot0 (<< 2.14.1.0-1.1~), libspotltsmin0 (>= 2.14.1.0-1), libspotltsmin0 (<< 2.14.1.0-1.1~), libbddx-dev Suggests: spot-doc Filename: amd64/libspot-dev_2.14.1.0-1_amd64.deb Size: 3543336 MD5sum: 1c4d85c3d23c350dbce31cb178af59ac SHA1: 64380dc30d5c0cef13ccbcbb9c2d3ee0db804771 SHA256: 8f3667f24aa6b461c6eee17e3012597d62c750c24c298ef659b75595bf5419f8 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.14.1.0-1 Architecture: amd64 Maintainer: Alexandre Duret-Lutz Installed-Size: 4251 Depends: libbddx0 (>= 2.14.1.0-1), libc6 (>= 2.38), libgcc-s1 (>= 3.3.1), libstdc++6 (>= 14), libbddx0 (<< 2.14.1.0-1.1~) Recommends: graphviz Suggests: libspot-dev, spot-doc, python3-spot Filename: amd64/libspot0_2.14.1.0-1_amd64.deb Size: 1981486 MD5sum: 3ba199c459d481bfdb1b31dc5a87a482 SHA1: 0da76bf313493caa59e04223fc3d90cd3d6fe276 SHA256: 0a759b0f4c755b8e859df12d41ed33ff58a6e1fa083c36c451f25ae19124cc37 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.14.1.0-1 Architecture: amd64 Maintainer: Alexandre Duret-Lutz Installed-Size: 583 Depends: libbddx0 (>= 2.14.1.0), libc6 (>= 2.32), libgcc-s1 (>= 3.3.1), libspot0 (>= 2.14.1.0-1), libstdc++6 (>= 13.1), libspot0 (<< 2.14.1.0-1.1~) Suggests: libspot-dev Filename: amd64/libspotgen0_2.14.1.0-1_amd64.deb Size: 432834 MD5sum: f4b7193f3706f5c1cdd3f53208b70ee4 SHA1: fbf75f0766882e89a6069e52ca7b3581d6b64bfa SHA256: 4f672ed5178e6543b8d58771d219653edddc0818b0f7f8c8488cc5a5f77ebb4e 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.14.1.0-1 Architecture: amd64 Maintainer: Alexandre Duret-Lutz Installed-Size: 423 Depends: libbddx0 (>= 2.14.1.0), libc6 (>= 2.38), libgcc-s1 (>= 3.3.1), libltdl7 (>= 2.4.7), libspot0 (>= 2.14.1.0-1), libstdc++6 (>= 13.1), libspot0 (<< 2.14.1.0-1.1~) Suggests: libspot-dev Filename: amd64/libspotltsmin0_2.14.1.0-1_amd64.deb Size: 370690 MD5sum: 313bd1828a444cba0809851f91ffd2d7 SHA1: 11619a05f5e5745b27e6ed0301c70c00e0bc82f2 SHA256: b91da13a2529e26566b6b8c10b240ccc5973d9632f88352e51dd82bc9eace16d 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.14.1.0-1 Architecture: amd64 Maintainer: Alexandre Duret-Lutz Installed-Size: 41810 Depends: libbddx0 (>= 2.14.1.0), libc6 (>= 2.32), libgcc-s1 (>= 3.3.1), libspot0 (>= 2.14.1.0-1), libspotgen0 (>= 2.14.1.0), libspotltsmin0 (>= 2.14.1.0-1), libstdc++6 (>= 13.1), python3 (<< 3.13), python3 (>= 3.12~), python3:any, libspot0 (<< 2.14.1.0-1.1~), libspotltsmin0 (<< 2.14.1.0-1.1~) Suggests: ipython3 Filename: amd64/python3-spot_2.14.1.0-1_amd64.deb Size: 2333824 MD5sum: f9ab8781dabf1fd16db8f71d07991447 SHA1: 25b23bb46ba65d2476cf88ea1fd68dff17df5a03 SHA256: f82ade5414e851b0a5774cdac80a11093b8143ca2ff4dfe79596c851497ba35d 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.14.1.0-1 Architecture: amd64 Maintainer: Alexandre Duret-Lutz Installed-Size: 3800 Depends: libbddx0 (>= 2.14.1.0), libc6 (>= 2.38), libgcc-s1 (>= 3.3.1), libspot0 (>= 2.14.1.0-1), libspotgen0 (>= 2.14.1.0-1), libstdc++6 (>= 14), libspot0 (<< 2.14.1.0-1.1~), libspotgen0 (<< 2.14.1.0-1.1~) Recommends: graphviz Suggests: libspot-dev, spot-doc, python3-spot Filename: amd64/spot_2.14.1.0-1_amd64.deb Size: 1235698 MD5sum: a2dc8b8efeaf02d71e26486632733499 SHA1: c0119884276bad163b8fd43464d6b0bc673fd572 SHA256: 88541a7ff1cac6e46792b858955673b2d9a31a9a49cc130f0dcdf5f9cd204501 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.14.1.0-1 Architecture: all Maintainer: Alexandre Duret-Lutz Installed-Size: 35188 Depends: libjs-mathjax, libjs-jquery, libjs-requirejs Filename: all/spot-doc_2.14.1.0-1_all.deb Size: 2430480 MD5sum: 7ae0d5af1c5fff4045bf486a043a920c SHA1: 944e8e0d0afbcfa050d5d408f5b4a52e8f1bd73c SHA256: 1cfed820a4c62d50559fe936aab5452a1176aee74cec4cee814574f6dcc2fb6c Section: doc Priority: optional Homepage: http://spot.lrde.epita.fr/ Description: documentation for Spot HTML and PDF documentation for Spot.