Package: libbddx-dev Source: spot Version: 2.15.1.0-1 Architecture: amd64 Maintainer: Alexandre Duret-Lutz Installed-Size: 431 Depends: libbddx0 (>= 2.15.1.0-1), libbddx0 (<< 2.15.1.0-1.1~) Filename: amd64/libbddx-dev_2.15.1.0-1_amd64.deb Size: 110140 MD5sum: 8f974d9107b2f81799e2b24a102c071d SHA1: 3494f637b2390989567cdc2fea20abb0baab668b SHA256: bd907cc6bb3ee8301c4b7c037ecbd1795a4ae60e0291dde8c87caea8e5c0aef4 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.15.1.0-1 Architecture: amd64 Maintainer: Alexandre Duret-Lutz Installed-Size: 188 Depends: libc6 (>= 2.29), libgcc-s1 (>= 3.3.1), libstdc++6 (>= 11) Recommends: graphviz Suggests: libbddx-dev Filename: amd64/libbddx0_2.15.1.0-1_amd64.deb Size: 81598 MD5sum: 3a6bdb6c55fcb0f192d3382320965b11 SHA1: b741639c409ed74a0064bf36ca78f506c4fc19e3 SHA256: bb30cbb47ecb15804389f961e4634aa71689ac15d41bd0d9c52532054bc48053 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.15.1.0-1 Architecture: amd64 Maintainer: Alexandre Duret-Lutz Installed-Size: 17625 Depends: libspot0 (>= 2.15.1.0-1), libspot0 (<< 2.15.1.0-1.1~), libspotltsmin0 (>= 2.15.1.0-1), libspotltsmin0 (<< 2.15.1.0-1.1~), libbddx-dev Suggests: spot-doc Filename: amd64/libspot-dev_2.15.1.0-1_amd64.deb Size: 3465946 MD5sum: 05ecd706a9376826565cb309cdb0ec82 SHA1: 25a4978670ea097c75612c40a5b679f0883676ea SHA256: 4a1cfe6e1b394c6123731b00c6042ab0a26b9641b4822c9aef2f0dc7775b5a8c 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.15.1.0-1 Architecture: amd64 Maintainer: Alexandre Duret-Lutz Installed-Size: 4207 Depends: libbddx0 (>= 2.15.1.0-1), libc6 (>= 2.33), libgcc-s1 (>= 3.4), libstdc++6 (>= 11), libbddx0 (<< 2.15.1.0-1.1~) Recommends: graphviz Suggests: libspot-dev, spot-doc, python3-spot Filename: amd64/libspot0_2.15.1.0-1_amd64.deb Size: 1980266 MD5sum: 1c48e75c3a79451d451f57bce79300b4 SHA1: 9ea13dfd3c49b366141adffe4578153c639214c4 SHA256: 6df9454ce2b09a0b86aac59d1f0005e3cf9233ff625876cbd2f93c6ee151cbb8 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.15.1.0-1 Architecture: amd64 Maintainer: Alexandre Duret-Lutz Installed-Size: 567 Depends: libbddx0 (>= 2.15.1.0), libc6 (>= 2.32), libgcc-s1 (>= 3.3.1), libspot0 (>= 2.15.1.0-1), libstdc++6 (>= 11), libspot0 (<< 2.15.1.0-1.1~) Suggests: libspot-dev Filename: amd64/libspotgen0_2.15.1.0-1_amd64.deb Size: 436868 MD5sum: 8d1da8a6c3b356cad403f91b92015a9c SHA1: 8080c02e8b67f410d9ed6115b819b37718fdd6a9 SHA256: 14eed49056ebdee8cde33700f8e6a75817b37ecdaf4b717fd38768b72e512b0d 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.15.1.0-1 Architecture: amd64 Maintainer: Alexandre Duret-Lutz Installed-Size: 439 Depends: libbddx0 (>= 2.15.1.0), libc6 (>= 2.33), libgcc-s1 (>= 3.3.1), libltdl7 (>= 2.4.7), libspot0 (>= 2.15.1.0-1), libstdc++6 (>= 11), libspot0 (<< 2.15.1.0-1.1~) Suggests: libspot-dev Filename: amd64/libspotltsmin0_2.15.1.0-1_amd64.deb Size: 385248 MD5sum: 98be9ccc684a547fb17207dcc1ceaf89 SHA1: e87cf3007df31135048e053762127c85529579a7 SHA256: c97762f1e36325e91c6037b2d52b221d5cc82b678799711c9288eb0cea9a4809 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.15.1.0-1 Architecture: amd64 Maintainer: Alexandre Duret-Lutz Installed-Size: 47783 Depends: libbddx0 (>= 2.15.1.0), libc6 (>= 2.32), libgcc-s1 (>= 3.4), libspot0 (>= 2.15.1.0-1), libspotgen0 (>= 2.15.1.0), libspotltsmin0 (>= 2.15.1.0-1), libstdc++6 (>= 11), python3 (<< 3.11), python3 (>= 3.10~), python3:any, libspot0 (<< 2.15.1.0-1.1~), libspotltsmin0 (<< 2.15.1.0-1.1~) Suggests: ipython3 Filename: amd64/python3-spot_2.15.1.0-1_amd64.deb Size: 2632832 MD5sum: 4c17b170bec7292882ab4962ce196f72 SHA1: 7d77d973dd5b89829dac60a8dce59b45286d6a83 SHA256: 4958ddaef00aadc03f76140c07d1f23487d356a352b94442df24585d0a274660 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.15.1.0-1 Architecture: amd64 Maintainer: Alexandre Duret-Lutz Installed-Size: 3747 Depends: libbddx0 (>= 2.15.1.0), libc6 (>= 2.34), libgcc-s1 (>= 3.3.1), libspot0 (>= 2.15.1.0-1), libspotgen0 (>= 2.15.1.0-1), libstdc++6 (>= 11), libspot0 (<< 2.15.1.0-1.1~), libspotgen0 (<< 2.15.1.0-1.1~) Recommends: graphviz Suggests: libspot-dev, spot-doc, python3-spot Filename: amd64/spot_2.15.1.0-1_amd64.deb Size: 1259898 MD5sum: 12c26de4424031c96e2cf16bc61bc5a3 SHA1: e4992f2a7d12fdc5e7aaa00cc45b37c992c5fae7 SHA256: a2836f1098c2dbb7597cb9771b40114450126d66b81a7ea7f99afc8d6f6febc0 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.15.1.0-1 Architecture: all Maintainer: Alexandre Duret-Lutz Installed-Size: 26413 Depends: libjs-mathjax, libjs-jquery, libjs-requirejs Filename: all/spot-doc_2.15.1.0-1_all.deb Size: 2139580 MD5sum: e9710d4914bfd37a3457959d71292189 SHA1: 4e4bd69e9e3f3b0c4cfc748d4d0150518fc1d305 SHA256: c87df36b7a70a12fa872d92b9522f4fc271576b258b0b8f0fa7e8f609580d4b6 Section: doc Priority: optional Homepage: http://spot.lrde.epita.fr/ Description: documentation for Spot HTML and PDF documentation for Spot.