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: 98788 MD5sum: 5348a5ea78640f15fd30ac2c4bdc39e5 SHA1: b68c73bec9351ddbf95c1fc61379aed341d95488 SHA256: 6cdc0424647a5f5cc19cf40c1fd82ad00bca0072c852294c64fa692b2848abd0 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: 71406 MD5sum: 94effac1cb8c055a517e709de603c819 SHA1: 1696ae328aee7d0a60a7ae4abc81aaad9a1ead27 SHA256: 29588ad49f94434a6cb0e8bce59615c2b05f3d003383287d745e4f57c60ee71d 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: 18014 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: 3554420 MD5sum: 6cbd47252cadbd1d9179013acdf8ece4 SHA1: 05370290067144bdde5c5fb685c2278cd87da37a SHA256: ae9831001b1d0e9e57968a448af078f48666d7e80e945e6cb4f5b280d86946db 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: 1982964 MD5sum: fc60aa4fe31a98f6a3c29321a9fd9c76 SHA1: 61daa0dbdabf7a18fdd18fcd741723cecde4743e SHA256: ef6f9a20a9428494be6c6a19094d1d217bb8a874711db49c4f74e03aca6cf396 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: 432734 MD5sum: bf185d7f74c961913e5331cba29de47d SHA1: 0dbfdbac9ad9d7a7c38d4bc0876f28ac2e776fb9 SHA256: 10ac9992d1841de54a0fea72b3406bd1786055106756d5e8fbae678ce575effe 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.5.4), 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: 370740 MD5sum: da48351b5e066fd2c8da8f5a3293e60f SHA1: 8bd84352996ff77790705982250b7096749f5b44 SHA256: e4590b66fb2e1ba7d7d95486de06d02b25711e592618c41e5fc1340025855dc5 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: 32313 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.14), python3 (>= 3.13~), 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: 2306818 MD5sum: 9bef3bcd6243e909d2d9b86ef9608a95 SHA1: b95eb67bd274a77bdc4b54ce7571db2748d18f29 SHA256: ac1a1e9a7c2b50030491e54a4d514893a89053d56594cd46147523730c7cbffd 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: 1234532 MD5sum: 4ed24d9b330e4a8330425003c4fdd187 SHA1: 307023a39f9fa20c19c1d8a9cb683bb48414e686 SHA256: 7f31ffafbd50106c81629df66a9e9a7526b8f45c678ae2f6ea958eaa0cac96c6 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.