Package: libbddx-dev Source: spot Version: 2.16.2.0-1 Architecture: armhf Maintainer: Alexandre Duret-Lutz Installed-Size: 1877 Depends: libbddx0 (>= 2.16.2.0-1), libbddx0 (<< 2.16.2.0-1.1~) Filename: armhf/libbddx-dev_2.16.2.0-1_armhf.deb Size: 500948 MD5sum: 76c98e5a0890f7df09be8b5970c0c022 SHA1: c60b2e68c7c9e8f874f1136d40454d90e34f4124 SHA256: 1b4030af3ba4f860e8b8e5ea2aac4d37af9f5fb5ef0014eeb7f8c82c3d9c3486 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.2.0-1 Architecture: armhf Maintainer: Alexandre Duret-Lutz Installed-Size: 163 Depends: libc6 (>= 2.29), libgcc-s1 (>= 3.5), libstdc++6 (>= 13.1) Recommends: graphviz Suggests: libbddx-dev Filename: armhf/libbddx0_2.16.2.0-1_armhf.deb Size: 68656 MD5sum: 06b28108290273a964e9bf5223c7e64a SHA1: 2dabf446da6ee5c5775a449eb7e0efc3752f758e SHA256: 7bde7945ca03826135d7709b34a90214f3e0f6811e6fe07d0511081f0751b27e 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: libbddx0-dbgsym Source: spot Version: 2.16.2.0-1 Auto-Built-Package: debug-symbols Architecture: armhf Maintainer: Alexandre Duret-Lutz Installed-Size: 394 Depends: libbddx0 (= 2.16.2.0-1) Filename: armhf/libbddx0-dbgsym_2.16.2.0-1_armhf.deb Size: 357216 MD5sum: 96060de16720ba2a91a4e3aea4126cf0 SHA1: 4a5f96da5b18dc3c04091719b9f629d87cab069e SHA256: fe5a811707ebf146285fbb98b54542d3cc8a6231582091161e161381f6764686 Section: debug Priority: optional Description: debug symbols for libbddx0 Build-Ids: f396e43443fdf4d9577755b53b3fe1937f1438df Package: libspot-dev Source: spot Version: 2.16.2.0-1 Architecture: armhf Maintainer: Alexandre Duret-Lutz Installed-Size: 15061 Depends: libspot0 (>= 2.16.2.0-1), libspot0 (<< 2.16.2.0-1.1~), libspotltsmin0 (>= 2.16.2.0-1), libspotltsmin0 (<< 2.16.2.0-1.1~), libbddx-dev Suggests: spot-doc Filename: armhf/libspot-dev_2.16.2.0-1_armhf.deb Size: 3025468 MD5sum: 7fd81d839b6651b61821e0c3b4b6e18a SHA1: cead7f3c485c645e06c80f5f5b77d3d6f5e9288f SHA256: 600733d30c4e60d16f2396433907eb630bc83bd2450ee470e21298910cd19084 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.2.0-1 Architecture: armhf Maintainer: Alexandre Duret-Lutz Installed-Size: 3787 Depends: libbddx0 (>= 2.16.2.0-1), libc6 (>= 2.38), libgcc-s1 (>= 3.5), libstdc++6 (>= 14), libbddx0 (<< 2.16.2.0-1.1~) Recommends: graphviz Suggests: libspot-dev, spot-doc, python3-spot Filename: armhf/libspot0_2.16.2.0-1_armhf.deb Size: 1626348 MD5sum: fdf300119087e8173f9cf29be80bb6c8 SHA1: 2b5a9a7f682246a13e180d8dbe2cc0cfe3d602c7 SHA256: 9e40feb062e0e4530e5930939bd0e9240c67cdbfb1f240e6b5bc2c7d3fdba6c8 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: libspot0-dbgsym Source: spot Version: 2.16.2.0-1 Auto-Built-Package: debug-symbols Architecture: armhf Maintainer: Alexandre Duret-Lutz Installed-Size: 28830 Depends: libspot0 (= 2.16.2.0-1) Filename: armhf/libspot0-dbgsym_2.16.2.0-1_armhf.deb Size: 28273248 MD5sum: 10ee7cfa60fdb75b7758062e52d99131 SHA1: a2bd820a1f9d2a3dbe815cebe6e38887f74bb2e8 SHA256: 5df39fcf4ea5c218f736e18fc7ea6e25ef804a068669d75c943aa0dbd264204b Section: debug Priority: optional Description: debug symbols for libspot0 Build-Ids: d5ad4f73748dfd69d26a78c0d10f723fc99e86a8 Package: libspotgen0 Source: spot Version: 2.16.2.0-1 Architecture: armhf Maintainer: Alexandre Duret-Lutz Installed-Size: 520 Depends: libbddx0 (>= 2.16.2.0), libc6 (>= 2.32), libgcc-s1 (>= 3.5), libspot0 (>= 2.16.2.0-1), libstdc++6 (>= 13.1), libspot0 (<< 2.16.2.0-1.1~) Suggests: libspot-dev Filename: armhf/libspotgen0_2.16.2.0-1_armhf.deb Size: 426188 MD5sum: c9a40ecc4feb69a92b6f86ae3f5e2a18 SHA1: 948dadea783ebe713560cbbd9c701c49dcdb465b SHA256: e488efad5df340b2eb8336d43e2a064b4ea303aa4a909858f41b38ac2e373fd6 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: libspotgen0-dbgsym Source: spot Version: 2.16.2.0-1 Auto-Built-Package: debug-symbols Architecture: armhf Maintainer: Alexandre Duret-Lutz Installed-Size: 625 Depends: libspotgen0 (= 2.16.2.0-1) Filename: armhf/libspotgen0-dbgsym_2.16.2.0-1_armhf.deb Size: 603896 MD5sum: a1de1f131e5d02800250f7a2083aab66 SHA1: 72d553535ea575a202dbfce39dc04753fa07c0bb SHA256: 3fe49c475282a109305ee04e4cbca91cb15d4f807f59ec4aed14e47d2f23b24c Section: debug Priority: optional Description: debug symbols for libspotgen0 Build-Ids: 7f1b559d92dfd2f889089183914fef1d63e26a25 Package: libspotltsmin0 Source: spot Version: 2.16.2.0-1 Architecture: armhf Maintainer: Alexandre Duret-Lutz Installed-Size: 456 Depends: libbddx0 (>= 2.16.2.0), libc6 (>= 2.38), libgcc-s1 (>= 3.5), libltdl7 (>= 2.5.4), libspot0 (>= 2.16.2.0-1), libstdc++6 (>= 13.1), libspot0 (<< 2.16.2.0-1.1~) Suggests: libspot-dev Filename: armhf/libspotltsmin0_2.16.2.0-1_armhf.deb Size: 397584 MD5sum: b482c28284710c0ec2b9a44122517ea6 SHA1: e8f0bbc44415beae57aa83dd0ca5a2554c0bffa7 SHA256: b335448d0705346c8c78da16573ae24f47dd8cdbf1a7411f49f804fc5c408afe 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: libspotltsmin0-dbgsym Source: spot Version: 2.16.2.0-1 Auto-Built-Package: debug-symbols Architecture: armhf Maintainer: Alexandre Duret-Lutz Installed-Size: 650 Depends: libspotltsmin0 (= 2.16.2.0-1) Filename: armhf/libspotltsmin0-dbgsym_2.16.2.0-1_armhf.deb Size: 608040 MD5sum: 513b345237b4953e011e74eb0e4ee780 SHA1: 231edc9482e845da66e02f91f654aa9b615e4940 SHA256: 587c802922200f529c347cbf9eca7bd462304667eb9d81c36abdaf86e75a3a8a Section: debug Priority: optional Description: debug symbols for libspotltsmin0 Build-Ids: f34336eb4f94aedb74790153d1d63feb31960633 Package: python3-spot Source: spot Version: 2.16.2.0-1 Architecture: armhf Maintainer: Alexandre Duret-Lutz Installed-Size: 39635 Depends: libbddx0 (>= 2.16.2.0), libc6 (>= 2.32), libgcc-s1 (>= 3.5), libspot0 (>= 2.16.2.0-1), libspotgen0 (>= 2.16.2.0), libspotltsmin0 (>= 2.16.2.0-1), libstdc++6 (>= 13.1), python3 (<< 3.14), python3 (>= 3.13~), python3:any, libspot0 (<< 2.16.2.0-1.1~), libspotltsmin0 (<< 2.16.2.0-1.1~) Suggests: ipython3 Filename: armhf/python3-spot_2.16.2.0-1_armhf.deb Size: 2687544 MD5sum: 0c198a5f2003af820922ce39f4a9a861 SHA1: 8c20809a443378a705051c0879d06c6b72e77f0c SHA256: 2058f596ac281d026bf07165376a0cf4d2cee518d442590ccfffeb9cea68ca39 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: python3-spot-dbgsym Source: spot Version: 2.16.2.0-1 Auto-Built-Package: debug-symbols Architecture: armhf Maintainer: Alexandre Duret-Lutz Installed-Size: 7953 Depends: python3-spot (= 2.16.2.0-1) Filename: armhf/python3-spot-dbgsym_2.16.2.0-1_armhf.deb Size: 7126236 MD5sum: b51f04eb38e26d2bafe4584dec65da95 SHA1: 9610935d57d6ccd3d97f6b9c335de1d615166faa SHA256: 27e86e8b9e599c1078c5872f35071f8588eb8406260922352b6257b32f49814b Section: debug Priority: optional Description: debug symbols for python3-spot Build-Ids: 87a6e5acbe40294164d29f7a6a31491d7540451f 9659b7920a2cc167c2d6145a6f3e9d0003afc334 a2617e840df9459c2822e305f430157a999183e3 d5f4bf878be7b91630ee006c9a038ea6169e5446 Package: spot Version: 2.16.2.0-1 Architecture: armhf Maintainer: Alexandre Duret-Lutz Installed-Size: 3801 Depends: libbddx0 (>= 2.16.2.0), libc6 (>= 2.38), libgcc-s1 (>= 3.5), libspot0 (>= 2.16.2.0-1), libspotgen0 (>= 2.16.2.0-1), libstdc++6 (>= 14), libspot0 (<< 2.16.2.0-1.1~), libspotgen0 (<< 2.16.2.0-1.1~) Recommends: graphviz Suggests: libspot-dev, spot-doc, python3-spot Filename: armhf/spot_2.16.2.0-1_armhf.deb Size: 1067020 MD5sum: b541ad8630fdaafde62765c089ef7479 SHA1: df7bed81eddff3f19caab85f60889df4fe7227f4 SHA256: 4551d1d42891b61587a72020bdc0f935ed20a2631e324a3c77fd1bffa37aae09 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-dbgsym Source: spot Version: 2.16.2.0-1 Auto-Built-Package: debug-symbols Architecture: armhf Maintainer: Alexandre Duret-Lutz Installed-Size: 13269 Depends: spot (= 2.16.2.0-1) Filename: armhf/spot-dbgsym_2.16.2.0-1_armhf.deb Size: 9617828 MD5sum: cc8637a76b2bc51adafeed66292d19c0 SHA1: 38440a0ad038c9f1a40946695062c178ea391239 SHA256: b90bd49a0c8fffae37122de04f5151018b9982973830620bc772c64d91da5d0e Section: debug Priority: optional Description: debug symbols for spot Build-Ids: 1d206bd4afeea128f494d9a6eeb88ebf719e3763 299f51c76f3670b3b5dd07d649ed081067f75fdd 2f2fd084c9a4123b82b55ef018397677c901ed8c 4ba2216c1dca6ad4978dfd9c2c41ae234ddf326a 5d27cc66e71311a6112b8b83d703e0b06864d291 5e8fb527d97d5a8e58ee8adeaceae8b7a894614d 779c7479443389db3c3c4f00bffa515486832c09 8e8cb9590ba95341d8ed68b0a3cc7099f5143db4 a60d451ff67a8a9aa7f2a6b65b282c31c24b1303 abf634e350af4014a7b275d9a4997af10ced8131 c22be621bbe67e0126ee0efbf777f4c79a75a4e1 ced68b7234d79161b4dc3b57455ab75f0005bd8c da86978de109d5f0902346eb3513d83323848d8d de19a3ab853b4e6aa9d00ab3300403cb9462edf7 dee4195ebe812ab00649847547217daae31d6c71 e2768f80fe22ce0b5ee3a8fb770a6d96f83d9cc4 e3f7d90b55522c43c2d1c822680f823552f46db9 f1c108c8e02254dd11ee992f21592ecd6a729a77 Package: spot-doc Source: spot Version: 2.16.2.0-1 Architecture: all Maintainer: Alexandre Duret-Lutz Installed-Size: 33815 Depends: libjs-mathjax, libjs-jquery, libjs-requirejs Filename: all/spot-doc_2.16.2.0-1_all.deb Size: 2630268 MD5sum: fbe22888c8724821c1d03ce9113dc53c SHA1: 35d11c3434996b3761a74c7bba6260f2ed869bdb SHA256: 8e3b2a86dda864e65640d29408fee6138835aa14c319092cbfbac2f8c6520eee Section: doc Priority: optional Homepage: http://spot.lrde.epita.fr/ Description: documentation for Spot HTML and PDF documentation for Spot.