Package: libbddx-dev Source: spot Version: 2.16.1.0-1 Architecture: amd64 Maintainer: Alexandre Duret-Lutz Installed-Size: 459 Depends: libbddx0 (>= 2.16.1.0-1), libbddx0 (<< 2.16.1.0-1.1~) Filename: amd64/libbddx-dev_2.16.1.0-1_amd64.deb Size: 120128 MD5sum: d9f16cf185365a814f22b40c0b01ecf6 SHA1: f8e5628caaa03c21b7d3c1b744fa58fe8d491e01 SHA256: e6738a49d590b3d4f16eed0af02aae37c17ed4414f4cc08a5bf45f9e65e6cd7b 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.16.1.0-1 Architecture: amd64 Maintainer: Alexandre Duret-Lutz Installed-Size: 188 Depends: libc6 (>= 2.29), libgcc-s1 (>= 3.3.1), libstdc++6 (>= 13.1) Recommends: graphviz Suggests: libbddx-dev Filename: amd64/libbddx0_2.16.1.0-1_amd64.deb Size: 86416 MD5sum: efd54b06b46c9ec667bc3961b2d72f08 SHA1: 771d3452297df3b18329133dea81e094928f59b8 SHA256: f2b86d3e7dcc83ed1b49d26a1b1342c21d8f9f9da389db470a1b91ab4595ac24 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.16.1.0-1 Architecture: amd64 Maintainer: Alexandre Duret-Lutz Installed-Size: 18942 Depends: libspot0 (>= 2.16.1.0-1), libspot0 (<< 2.16.1.0-1.1~), libspotltsmin0 (>= 2.16.1.0-1), libspotltsmin0 (<< 2.16.1.0-1.1~), libbddx-dev Suggests: spot-doc Filename: amd64/libspot-dev_2.16.1.0-1_amd64.deb Size: 3858884 MD5sum: 2f5d7960b9288ad6cdcc8479e409b7fe SHA1: ac08a25d1b05be1d57b89952d791da7c38614752 SHA256: b36a60b75fe7bdb6acc4415ef4c51d7feae4e32a064dbea47ad5331442d08d28 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.16.1.0-1 Architecture: amd64 Maintainer: Alexandre Duret-Lutz Installed-Size: 4513 Depends: libbddx0 (>= 2.16.1.0-1), libc6 (>= 2.38), libgcc-s1 (>= 3.3.1), libstdc++6 (>= 14), libbddx0 (<< 2.16.1.0-1.1~) Recommends: graphviz Suggests: libspot-dev, spot-doc, python3-spot Filename: amd64/libspot0_2.16.1.0-1_amd64.deb Size: 2122772 MD5sum: 381b58b7ed55021c86a8ffb890198326 SHA1: 14bd1ac80e26a15de61d33546e18b33d598ced55 SHA256: ff4fbdf2bdd19638add33d07b3d48f129bb736d95478e7707f1d0d97f9bb465d 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.16.1.0-1 Architecture: amd64 Maintainer: Alexandre Duret-Lutz Installed-Size: 569 Depends: libbddx0 (>= 2.16.1.0), libc6 (>= 2.32), libgcc-s1 (>= 3.3.1), libspot0 (>= 2.16.1.0-1), libstdc++6 (>= 13.1), libspot0 (<< 2.16.1.0-1.1~) Suggests: libspot-dev Filename: amd64/libspotgen0_2.16.1.0-1_amd64.deb Size: 449374 MD5sum: 487c22b57cfcb9bfc3aa3f053bfefd9f SHA1: 24e9e9064240ac77ed1b6d79fe6a6f461afdb561 SHA256: dcfb3a1b0b57bc19af6dc851f7a211b593f2abbe77892c5e2785e04788d715d1 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.16.1.0-1 Architecture: amd64 Maintainer: Alexandre Duret-Lutz Installed-Size: 453 Depends: libbddx0 (>= 2.16.1.0), libc6 (>= 2.38), libgcc-s1 (>= 3.3.1), libltdl7 (>= 2.4.7), libspot0 (>= 2.16.1.0-1), libstdc++6 (>= 13.1), libspot0 (<< 2.16.1.0-1.1~) Suggests: libspot-dev Filename: amd64/libspotltsmin0_2.16.1.0-1_amd64.deb Size: 401730 MD5sum: 28e65985b35c7e03347f291d8db2c87e SHA1: aa7dd7535d675cedc763ae0337048a12303a591e SHA256: 8d40af2bdcd2cfcf1653a5907247e95863770fbd80923c77aa6fae80a561a774 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.16.1.0-1 Architecture: amd64 Maintainer: Alexandre Duret-Lutz Installed-Size: 50295 Depends: libbddx0 (>= 2.16.1.0), libc6 (>= 2.32), libgcc-s1 (>= 3.3.1), libspot0 (>= 2.16.1.0-1), libspotgen0 (>= 2.16.1.0), libspotltsmin0 (>= 2.16.1.0-1), libstdc++6 (>= 13.1), python3 (<< 3.13), python3 (>= 3.12~), python3:any, libspot0 (<< 2.16.1.0-1.1~), libspotltsmin0 (<< 2.16.1.0-1.1~) Suggests: ipython3 Filename: amd64/python3-spot_2.16.1.0-1_amd64.deb Size: 2873572 MD5sum: 5e3d36c5d764c92d5715ab29afed5942 SHA1: c3c3058017cb9c4fc89af43e3dfc0061bed329d2 SHA256: e42bcad3d5dda96635eb7d8d508da3fd8e6798e9a437b2d634db51422561238a 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.16.1.0-1 Architecture: amd64 Maintainer: Alexandre Duret-Lutz Installed-Size: 4241 Depends: libbddx0 (>= 2.16.1.0), libc6 (>= 2.38), libgcc-s1 (>= 3.3.1), libspot0 (>= 2.16.1.0-1), libspotgen0 (>= 2.16.1.0-1), libstdc++6 (>= 14), libspot0 (<< 2.16.1.0-1.1~), libspotgen0 (<< 2.16.1.0-1.1~) Recommends: graphviz Suggests: libspot-dev, spot-doc, python3-spot Filename: amd64/spot_2.16.1.0-1_amd64.deb Size: 1376326 MD5sum: 9742ce4d613c5795838d3978c2d4e58d SHA1: 0863745eb447a6ea763d295ddf815a01d91cef41 SHA256: a6374feb72f4e3d5e16cbf3b6019686c9a0bcd244de8fddd9ae7e4162f2ed58b Section: science Priority: optional Homepage: http://spot.lrde.epita.fr/ Description: model checking and omega-automata manipulation tools Tools to manipulate omega-automata as well as linear-time temporal logic (LTL & PSL). Package: spot-doc Source: spot Version: 2.16.1.0-1 Architecture: all Maintainer: Alexandre Duret-Lutz Installed-Size: 33814 Depends: libjs-mathjax, libjs-jquery, libjs-requirejs Filename: all/spot-doc_2.16.1.0-1_all.deb Size: 2511300 MD5sum: 4269d2fa7f2972e637255201722e5184 SHA1: 2dedf67f1640e1c499c7df73278f7c60cc0937be SHA256: ec2b758d5038174a05915c9dc1162ecd7c78cb6ba1b45e424b87836675b8ce5b Section: doc Priority: optional Homepage: http://spot.lrde.epita.fr/ Description: documentation for Spot HTML and PDF documentation for Spot.