Package: libbddx-dev Source: spot Version: 2.14.5.0-1 Architecture: amd64 Maintainer: Alexandre Duret-Lutz Installed-Size: 379 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: 98756 MD5sum: 5c692e03e9d4ad300a5dfc793d94d64b SHA1: 2c36c9d6ec4cb8704fdbe19a68d883c368717066 SHA256: 812e8422823c05e6abdcb4191a98334e27bf549fd83346689ec1b591c31d59c2 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: 171 Depends: libc6 (>= 2.29), libgcc-s1 (>= 3.3.1), libstdc++6 (>= 5) Recommends: graphviz Suggests: libbddx-dev Filename: amd64/libbddx0_2.14.5.0-1_amd64.deb Size: 80092 MD5sum: d738ec75635a1a6727bbd040adb51d7f SHA1: 44e2e1c5dbb6391a55aa69a7f8b9d922d9b54e98 SHA256: a219f9de34f91fe47e177746c259b3466f40d4eb286d46994351ff16b44e3e4e 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: 17689 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: 3362714 MD5sum: e85eaea1aa95974facfbffe428e734dc SHA1: cb0501d07316d7bce533312da3de14d0a3b4a11b SHA256: 6a69013613ec82c3625f189ce689d5df6947342dc4c40d732f58bc24e5ee73d1 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: 4843 Depends: libbddx0 (>= 2.14.5.0-1), libc6 (>= 2.33), libgcc-s1 (>= 3.4), libstdc++6 (>= 11), 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: 2408144 MD5sum: aa9da706e73d3a355335eca8579dce0c SHA1: 53a8c3565537fb8f6666b3bd57576d347ecd1eb1 SHA256: 544148e888305dc35dc5267ae08397f0bb0cc90ec853cb7ad53405df8d148722 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: 591 Depends: libbddx0 (>= 2.14.5.0), libc6 (>= 2.32), libgcc-s1 (>= 3.3.1), libspot0 (>= 2.14.5.0-1), libstdc++6 (>= 11), libspot0 (<< 2.14.5.0-1.1~) Suggests: libspot-dev Filename: amd64/libspotgen0_2.14.5.0-1_amd64.deb Size: 443858 MD5sum: b1de42ae46c8d1e3988fcd349cb93c93 SHA1: 90ed729c140d6430d474ca7511a8153193ecec8b SHA256: 7ee658ab052f6302c348890327f3344e4e2c04d6b5c7867799bd79815ca3d2d3 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: 431 Depends: libbddx0 (>= 2.14.5.0), libc6 (>= 2.33), libgcc-s1 (>= 3.3.1), libltdl7 (>= 2.4.6), libspot0 (>= 2.14.5.0-1), libstdc++6 (>= 11), libspot0 (<< 2.14.5.0-1.1~) Suggests: libspot-dev Filename: amd64/libspotltsmin0_2.14.5.0-1_amd64.deb Size: 377304 MD5sum: 0a394107c8004b80c5a66fd25457dcfc SHA1: ebc151aa94bdd4459d3574f3f54e8438b5c4a2ab SHA256: 77adf289d3d7cdc3332e503c8cd9c8e727db8dc4b55e6e74d692cd6d34017e48 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: 41703 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 (>= 11), python3 (<< 3.11), python3 (>= 3.10~), 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: 2442124 MD5sum: cb829ecf3d0207a24d4183355cf467f7 SHA1: a68a6831cc3e72da903550905bbd2f43e2c0667f SHA256: 1db628a787295a05df736bf2421081cba29e390e81b2cd0a08d662cc90d7f413 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: 3826 Depends: libbddx0 (>= 2.14.5.0), libc6 (>= 2.34), libgcc-s1 (>= 3.3.1), libspot0 (>= 2.14.5.0-1), libspotgen0 (>= 2.14.5.0-1), libstdc++6 (>= 11), 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: 1317550 MD5sum: 6b88ec956b54757f7e2654a4844cc437 SHA1: 6cbc732931f586e3fa6f9d550b911dc05b7edb43 SHA256: d66cddbf536e6e95be8c189ac1948da0231e168bcd6298146f398788e6fec1b0 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: 31248 Depends: libjs-mathjax, libjs-jquery, libjs-requirejs Filename: all/spot-doc_2.14.5.0-1_all.deb Size: 2306270 MD5sum: 6e012a07c47a0bc72c30370747c9b7c9 SHA1: e850797442c50afaee4b5c740e1cf7e236a8bbd2 SHA256: f61991cada6e7f07a8cd6072194f3bd5fc2490329672010b70a3fa2a487a2987 Section: doc Priority: optional Homepage: http://spot.lrde.epita.fr/ Description: documentation for Spot HTML and PDF documentation for Spot.