Package: libbddx-dev Source: spot Version: 2.14.5.0-1 Architecture: amd64 Maintainer: Alexandre Duret-Lutz Installed-Size: 380 Depends: libbddx0 (>= 2.14.5.0-1), libbddx0 (<< 2.14.5.0-1.1~) Filename: amd64/libbddx-dev_2.14.5.0-1_amd64.deb Size: 98878 MD5sum: 45ca2dd080fcaebc0c8aa14b205dc8ba SHA1: 5d4267c62e5817851f4b65bc3b6620a7efc0f81f SHA256: 469790be54bc4eaf2768442129c88242d290dd554200e0c8318a47d4d363be9e 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.5.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.5.0-1_amd64.deb Size: 71316 MD5sum: 78b8c0c10274470a1b665032e790b539 SHA1: ec1630587a8fe2156ca1cb71428c8d8f02cc67ff SHA256: 938eb8f350927592bc20d29986f6f823b8e6d4a070c2860e33461c99b411e949 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.5.0-1 Architecture: amd64 Maintainer: Alexandre Duret-Lutz Installed-Size: 18039 Depends: libspot0 (>= 2.14.5.0-1), libspot0 (<< 2.14.5.0-1.1~), libspotltsmin0 (>= 2.14.5.0-1), libspotltsmin0 (<< 2.14.5.0-1.1~), libbddx-dev Suggests: spot-doc Filename: amd64/libspot-dev_2.14.5.0-1_amd64.deb Size: 3442146 MD5sum: 0a3b88037e608b46cc44b7f0064da08c SHA1: 2bc5c6d9fd58f8ae021716ac414db46a3366e74b SHA256: 5d98ee1164a533c48a2036c59b4001a9293e32b801ef254808028e29960fcea7 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.5.0-1 Architecture: amd64 Maintainer: Alexandre Duret-Lutz Installed-Size: 4187 Depends: libbddx0 (>= 2.14.5.0-1), libc6 (>= 2.38), libgcc-s1 (>= 3.4), libstdc++6 (>= 13.1), libbddx0 (<< 2.14.5.0-1.1~) Recommends: graphviz Suggests: libspot-dev, spot-doc, python3-spot Filename: amd64/libspot0_2.14.5.0-1_amd64.deb Size: 1965252 MD5sum: 1ca8260f2c0b887694278fd23448977e SHA1: 5edfa8592c5f80451d4feaec436ec2043e15c53c SHA256: e8d798154ada3721077344fd3a92a67bbec963e9aef74c19f2390a2ee4de84de 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.5.0-1 Architecture: amd64 Maintainer: Alexandre Duret-Lutz Installed-Size: 583 Depends: libbddx0 (>= 2.14.5.0), libc6 (>= 2.32), libgcc-s1 (>= 3.3.1), libspot0 (>= 2.14.5.0-1), libstdc++6 (>= 13.1), libspot0 (<< 2.14.5.0-1.1~) Suggests: libspot-dev Filename: amd64/libspotgen0_2.14.5.0-1_amd64.deb Size: 433952 MD5sum: 366045ca2fad8c3803e2197d65b3785f SHA1: f39342c30cc80e3522065d50cd7ecbf3907a0292 SHA256: 06928535c0f877ec6461de6cb57af5bab6e09ed75fcf6e8479f6d1d749d3d3bb 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.5.0-1 Architecture: amd64 Maintainer: Alexandre Duret-Lutz Installed-Size: 427 Depends: libbddx0 (>= 2.14.5.0), libc6 (>= 2.38), libgcc-s1 (>= 3.3.1), libltdl7 (>= 2.4.7), libspot0 (>= 2.14.5.0-1), libstdc++6 (>= 13.1), libspot0 (<< 2.14.5.0-1.1~) Suggests: libspot-dev Filename: amd64/libspotltsmin0_2.14.5.0-1_amd64.deb Size: 374236 MD5sum: 309ed4a5f1e849d6d3ac8d4ad8d8f7ca SHA1: c85db757ff44bd7304879ec1fc0c404a81666cc1 SHA256: aac0d8a01b8ed71f77655335639ec9540cd4b032cea85f910bcccbe426e8ffee 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.5.0-1 Architecture: amd64 Maintainer: Alexandre Duret-Lutz Installed-Size: 41590 Depends: libbddx0 (>= 2.14.5.0), libc6 (>= 2.32), libgcc-s1 (>= 3.4), libspot0 (>= 2.14.5.0-1), libspotgen0 (>= 2.14.5.0), libspotltsmin0 (>= 2.14.5.0-1), libstdc++6 (>= 13.1), python3 (<< 3.13), python3 (>= 3.12~), python3:any, libspot0 (<< 2.14.5.0-1.1~), libspotltsmin0 (<< 2.14.5.0-1.1~) Suggests: ipython3 Filename: amd64/python3-spot_2.14.5.0-1_amd64.deb Size: 2312746 MD5sum: 9eac518fcda1f96a050ce1d39adacf83 SHA1: 99ac305b4b279efdeb65a0bb215f41b0cc6c2a93 SHA256: 4976eb5e8fc10f32746ce6ee5536a7017ed7e308f99eb66da6908d677149aa26 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.5.0-1 Architecture: amd64 Maintainer: Alexandre Duret-Lutz Installed-Size: 3774 Depends: libbddx0 (>= 2.14.5.0), libc6 (>= 2.38), libgcc-s1 (>= 3.3.1), libspot0 (>= 2.14.5.0-1), libspotgen0 (>= 2.14.5.0-1), libstdc++6 (>= 13.1), libspot0 (<< 2.14.5.0-1.1~), libspotgen0 (<< 2.14.5.0-1.1~) Recommends: graphviz Suggests: libspot-dev, spot-doc, python3-spot Filename: amd64/spot_2.14.5.0-1_amd64.deb Size: 1241726 MD5sum: 8e42912b3990f0ed23910235f136226f SHA1: 443b6eeaa504a5c09af32bee2704147e6c28be12 SHA256: 7f7183278bed07a4b60252fd3f96b7eb75ad8669c3b3671b50134b2fb2885d13 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.5.0-1 Architecture: all Maintainer: Alexandre Duret-Lutz Installed-Size: 35689 Depends: libjs-mathjax, libjs-jquery, libjs-requirejs Filename: all/spot-doc_2.14.5.0-1_all.deb Size: 2457620 MD5sum: 07b99445bb871ca04e4ca10b36957cac SHA1: 2e64c9690c2a001caf06f7c10b5fe65a07a94954 SHA256: 89e463d140e4caab7afc6ff3c8ca5ec367ca8917181e66298950c756ca11ea2d Section: doc Priority: optional Homepage: http://spot.lrde.epita.fr/ Description: documentation for Spot HTML and PDF documentation for Spot.