Package: libbddx-dev Source: spot Version: 2.14.2.0-1 Architecture: amd64 Maintainer: Alexandre Duret-Lutz Installed-Size: 381 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: 98622 MD5sum: a06e9a849499cad4c0ddb699559a11b2 SHA1: b0d874b7682342baa1cccc810a1d484fb1675fd6 SHA256: b79e2c45ce189c7b766598ab933fcd991bec4c236ad447570422989068b08907 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: 70964 MD5sum: d417e80dc31bbe197cd2cd53f1d466e1 SHA1: 27f1329a961aa79b0cb2a916682e6475390298bf SHA256: d4b0ee6dca969969633db3eb52b5b433f8d72f5e36ac375d9ce5f7cba7c494f7 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: 18036 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: 3440512 MD5sum: 0ea12513af37a89d058975650c29a885 SHA1: 80f5df7e2d2219b28402e512b2c501a329956711 SHA256: 5b6e5f96e0a1f0e6bb71448e9aa33f1059576bd61ab71f1b3fd32d1cf2a4c58a 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: 4180 Depends: libbddx0 (>= 2.14.2.0-1), libc6 (>= 2.38), libgcc-s1 (>= 3.4), libstdc++6 (>= 13.1), 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: 1965338 MD5sum: f0abd62f497ae35b2bcf7fd0346d794b SHA1: d55d5f7cb39f69fa73b413811ae304ec1a157abc SHA256: db9529d9a6a4fe52761562cefb668c3006810b679d68013831bfd40479e653ef 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: 580 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: 431564 MD5sum: ca13f0109cf3d638d5b27d6eb7b5f7ef SHA1: 7b2ad6999cbed09b0832f9c3aff4418cf59de211 SHA256: 48a5582187a3320c7af75ae085dc63aaa7189dddabaf38c6f4e7282e4be24f11 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.4.7), 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: 371906 MD5sum: 262c7bf03143a799b0a6551b555a2d0a SHA1: f1dcf801760f6257f1474be30a488e193c0dca27 SHA256: db5215bd22d98105f8a4d7957adb77fd1c0a2494da9cb96df766bfc9d79746cc 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: 41497 Depends: libbddx0 (>= 2.14.2.0), libc6 (>= 2.32), libgcc-s1 (>= 3.4), libspot0 (>= 2.14.2.0-1), libspotgen0 (>= 2.14.2.0), libspotltsmin0 (>= 2.14.2.0-1), libstdc++6 (>= 13.1), python3 (<< 3.13), python3 (>= 3.12~), 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: 2300708 MD5sum: 8c8810d449414431819545f3a4ef6506 SHA1: a363763ecb906a6d5dd26ed40093fb8d5e78382f SHA256: 042443c40346be125ca2f394c63d946bcda7fbf23056c9f6ed4752fa8304bf33 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: 3770 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 (>= 13.1), 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: 1238576 MD5sum: 5967651b73156477236481794f20ca19 SHA1: 2a5d7b6224e4f690548cd9c71283449dbddf58fc SHA256: 9576a412f38357218cfc5d7cebafd54ec56ef19d008ff8859a51578068963060 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: 2446136 MD5sum: c7c081f4d7655eb342c5ca6fe5b3efd0 SHA1: 1a173088ced9cc53275765c07d7ab19debbc1a01 SHA256: cfd3c0e076649e851945b52598a6d34e1e279333536b1f0c0bc984a0f724aac1 Section: doc Priority: optional Homepage: http://spot.lrde.epita.fr/ Description: documentation for Spot HTML and PDF documentation for Spot.