Package: libbddx-dev Source: spot Version: 2.14.2.0-1 Architecture: amd64 Maintainer: Alexandre Duret-Lutz Installed-Size: 382 Depends: libbddx0 (>= 2.14.2.0-1), libbddx0 (<< 2.14.2.0-1.1~) Filename: amd64/libbddx-dev_2.14.2.0-1_amd64.deb Size: 98898 MD5sum: 1c340ade8e32861a78120d5d9e1a7a4d SHA1: 9ae4dd8a04fac11e427b130fb1d419105158b704 SHA256: 4401d5981a3a2558e841e4fbc713c14ebbdf39267eaa40f7c5643e0b1ca83446 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.2.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.2.0-1_amd64.deb Size: 71254 MD5sum: 7e2bd3ff19412a3002c8a51727fed056 SHA1: 4de3cac11554c90803523a352b88e34f93b21726 SHA256: 344f677271bd5ba61d342b52e33a7751b6fc63ef3aef780a2b37acc8dd715bb3 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.2.0-1 Architecture: amd64 Maintainer: Alexandre Duret-Lutz Installed-Size: 18025 Depends: libspot0 (>= 2.14.2.0-1), libspot0 (<< 2.14.2.0-1.1~), libspotltsmin0 (>= 2.14.2.0-1), libspotltsmin0 (<< 2.14.2.0-1.1~), libbddx-dev Suggests: spot-doc Filename: amd64/libspot-dev_2.14.2.0-1_amd64.deb Size: 3560554 MD5sum: 9e1aa9ce533ede0b13bb4ca359782b29 SHA1: 29c836fb42185afe1f495412614d33ac2787d384 SHA256: 657d811e57cd9e2612790b3068eebcca72f56153bb3a0418fc29c521490e3d4f 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.2.0-1 Architecture: amd64 Maintainer: Alexandre Duret-Lutz Installed-Size: 4276 Depends: libbddx0 (>= 2.14.2.0-1), libc6 (>= 2.38), libgcc-s1 (>= 3.3.1), libstdc++6 (>= 14), libbddx0 (<< 2.14.2.0-1.1~) Recommends: graphviz Suggests: libspot-dev, spot-doc, python3-spot Filename: amd64/libspot0_2.14.2.0-1_amd64.deb Size: 1993154 MD5sum: 8cd04ce58b68a608e090279fe2a2c2f9 SHA1: 9bef9001b4556c262a543b9725c337c9a4cdf14d SHA256: 41dc39b106187abd6771d972f6f06c16124d6b35a103bbf6ce157cd6c321c968 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.2.0-1 Architecture: amd64 Maintainer: Alexandre Duret-Lutz Installed-Size: 584 Depends: libbddx0 (>= 2.14.2.0), libc6 (>= 2.32), libgcc-s1 (>= 3.3.1), libspot0 (>= 2.14.2.0-1), libstdc++6 (>= 13.1), libspot0 (<< 2.14.2.0-1.1~) Suggests: libspot-dev Filename: amd64/libspotgen0_2.14.2.0-1_amd64.deb Size: 433862 MD5sum: 35dfc6a104d7f1aee68498167c38e705 SHA1: ad86ed544ed724eead62a9c3051bf3e49a385f66 SHA256: 3ed1456b199d9df29bd1fca0b9832f9493c8b0be24d2eff99e7948608e6fd7ce 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.2.0-1 Architecture: amd64 Maintainer: Alexandre Duret-Lutz Installed-Size: 424 Depends: libbddx0 (>= 2.14.2.0), libc6 (>= 2.38), libgcc-s1 (>= 3.3.1), libltdl7 (>= 2.5.4), libspot0 (>= 2.14.2.0-1), libstdc++6 (>= 13.1), libspot0 (<< 2.14.2.0-1.1~) Suggests: libspot-dev Filename: amd64/libspotltsmin0_2.14.2.0-1_amd64.deb Size: 371870 MD5sum: 08c22e0b513350c2850bad30cf661c66 SHA1: 163658de06945eb7bf68b4983cf23f765485b90f SHA256: 467f34694cffa2ba8ab59020b96879a3e8366d5b61a3e33fbb83448055f9a442 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.2.0-1 Architecture: amd64 Maintainer: Alexandre Duret-Lutz Installed-Size: 32351 Depends: libbddx0 (>= 2.14.2.0), libc6 (>= 2.32), libgcc-s1 (>= 3.3.1), libspot0 (>= 2.14.2.0-1), libspotgen0 (>= 2.14.2.0), libspotltsmin0 (>= 2.14.2.0-1), libstdc++6 (>= 13.1), python3 (<< 3.14), python3 (>= 3.13~), python3:any, libspot0 (<< 2.14.2.0-1.1~), libspotltsmin0 (<< 2.14.2.0-1.1~) Suggests: ipython3 Filename: amd64/python3-spot_2.14.2.0-1_amd64.deb Size: 2306144 MD5sum: 1ae23288ecca394da607cef9f07a2adc SHA1: 6008e331cb963419867197a388a27052435e2189 SHA256: de62ee2598f38b99afe9f8ee81a59bae35a215687a3a6915dd6cd459055628bd 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.2.0-1 Architecture: amd64 Maintainer: Alexandre Duret-Lutz Installed-Size: 3802 Depends: libbddx0 (>= 2.14.2.0), libc6 (>= 2.38), libgcc-s1 (>= 3.3.1), libspot0 (>= 2.14.2.0-1), libspotgen0 (>= 2.14.2.0-1), libstdc++6 (>= 14), libspot0 (<< 2.14.2.0-1.1~), libspotgen0 (<< 2.14.2.0-1.1~) Recommends: graphviz Suggests: libspot-dev, spot-doc, python3-spot Filename: amd64/spot_2.14.2.0-1_amd64.deb Size: 1236520 MD5sum: 881fd4ff54ebaf6a5669d29ab46e397b SHA1: 74ddb0911c17c1924f3241a4b4ad57751544a0b3 SHA256: d1c69174d1e2591b1a4206a62a490d0657ef2ddf5f4ddd36c9f6c6f137261c2e 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.2.0-1 Architecture: all Maintainer: Alexandre Duret-Lutz Installed-Size: 35310 Depends: libjs-mathjax, libjs-jquery, libjs-requirejs Filename: all/spot-doc_2.14.2.0-1_all.deb Size: 2443502 MD5sum: 4c1248983fef7e8fc9d0ac02f0d265b4 SHA1: b7b6f8784bf95df2dabd871e15642370acbe2ff9 SHA256: 519ee822da3e4613fa7177dee24e0ed8e64245dbf0dcf3b8fa8f7e0e2aa634d5 Section: doc Priority: optional Homepage: http://spot.lrde.epita.fr/ Description: documentation for Spot HTML and PDF documentation for Spot.