Package: libbddx-dev Source: spot Version: 2.15.1.0-1 Architecture: armhf Maintainer: Alexandre Duret-Lutz Installed-Size: 311 Depends: libbddx0 (>= 2.15.1.0-1), libbddx0 (<< 2.15.1.0-1.1~) Filename: armhf/libbddx-dev_2.15.1.0-1_armhf.deb Size: 84052 MD5sum: 418fe8eb7377194b224c75d44b188631 SHA1: 7904dd8c1fed6d069c93635e10e7ba645b7dde60 SHA256: e9611936f98e0e31a8f201c935e381a9e652ce98b17145804772968f1cd1ccee 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: armhf Maintainer: Alexandre Duret-Lutz Installed-Size: 163 Depends: libc6 (>= 2.29), libgcc-s1 (>= 3.5), libstdc++6 (>= 11) Recommends: graphviz Suggests: libbddx-dev Filename: armhf/libbddx0_2.15.1.0-1_armhf.deb Size: 65340 MD5sum: c042fc565629fe7adc9f4709a2b1172e SHA1: 81e377af2555c837e08a22c476147461f88f1bbe SHA256: 7f2fcecda78f18097ab23776f47e05d4368774d4c1e28f5af7205d26129f3009 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.15.1.0-1 Auto-Built-Package: debug-symbols Architecture: armhf Maintainer: Alexandre Duret-Lutz Installed-Size: 294 Depends: libbddx0 (= 2.15.1.0-1) Filename: armhf/libbddx0-dbgsym_2.15.1.0-1_armhf.deb Size: 259256 MD5sum: 2787724a3085ef6e86e6edab1084682f SHA1: 1bb3c4b71faa52cdea43955a18b36899897b4ed7 SHA256: 977537f8584390f590a8c7c711249cfc7091635bb34fa3c4d0c5647e022d10d1 Section: debug Priority: optional Description: debug symbols for libbddx0 Build-Ids: 97042ca59dc83f6de030481145a7f604574e30ca Package: libspot-dev Source: spot Version: 2.15.1.0-1 Architecture: armhf Maintainer: Alexandre Duret-Lutz Installed-Size: 14384 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: armhf/libspot-dev_2.15.1.0-1_armhf.deb Size: 2779288 MD5sum: c73ff64bb7fd59aae9194c6a0ae25575 SHA1: dc2364c84eb65f7e3bdcd7806837a94c99b41575 SHA256: 42c5f143aa15995bc845f92ab5ebec97f3840a593df22c15a9930ffc267f5c16 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: armhf Maintainer: Alexandre Duret-Lutz Installed-Size: 3485 Depends: libbddx0 (>= 2.15.1.0-1), libc6 (>= 2.33), libgcc-s1 (>= 3.5), libstdc++6 (>= 11), libbddx0 (<< 2.15.1.0-1.1~) Recommends: graphviz Suggests: libspot-dev, spot-doc, python3-spot Filename: armhf/libspot0_2.15.1.0-1_armhf.deb Size: 1501624 MD5sum: a835082c3827f8a626fa6b9c1020f396 SHA1: 11654399b303759d711d7b30e444d26bb9a65fc9 SHA256: 2888e46abb6bae70ce712a67191ed421d1b76c97f1635d8af731665f12dce71e 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.15.1.0-1 Auto-Built-Package: debug-symbols Architecture: armhf Maintainer: Alexandre Duret-Lutz Installed-Size: 27833 Depends: libspot0 (= 2.15.1.0-1) Filename: armhf/libspot0-dbgsym_2.15.1.0-1_armhf.deb Size: 27227696 MD5sum: de71231356098176a6974f824ee856ec SHA1: b658fb0c0ac60af7e1c6f7114ff3d322f36cc0a5 SHA256: c33c28fe49d25ab68088ab3eee13db31d7b20fa7ccfed495dec47c2460c0bd9a Section: debug Priority: optional Description: debug symbols for libspot0 Build-Ids: 3b041d22e9f6e3811c08b76018bdba757266bb26 Package: libspotgen0 Source: spot Version: 2.15.1.0-1 Architecture: armhf Maintainer: Alexandre Duret-Lutz Installed-Size: 514 Depends: libbddx0 (>= 2.15.1.0), libc6 (>= 2.32), libgcc-s1 (>= 3.5), libspot0 (>= 2.15.1.0-1), libstdc++6 (>= 11), libspot0 (<< 2.15.1.0-1.1~) Suggests: libspot-dev Filename: armhf/libspotgen0_2.15.1.0-1_armhf.deb Size: 411088 MD5sum: 8f5afcdd21f1e290ed63ab28e73ab9de SHA1: 27dba69cfdb7c14c17f33be69ab43150ec1f1b07 SHA256: f15088e1a3288a60af2aee45c5c23368d7bfa45fdc8d07369458a875bab80ce8 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.15.1.0-1 Auto-Built-Package: debug-symbols Architecture: armhf Maintainer: Alexandre Duret-Lutz Installed-Size: 694 Depends: libspotgen0 (= 2.15.1.0-1) Filename: armhf/libspotgen0-dbgsym_2.15.1.0-1_armhf.deb Size: 672648 MD5sum: b166cdeb94ea2d2a095f83eab35191c5 SHA1: 69dee9ca78006155709e8bba1d0066834bac1b75 SHA256: 2e1d7be5aba0bd945166c2a5f782446b8134b94683b8ab17c08317a9ff0725c1 Section: debug Priority: optional Description: debug symbols for libspotgen0 Build-Ids: 997c75302753a37698bb375dcdc4c28d2e2f21cc Package: libspotltsmin0 Source: spot Version: 2.15.1.0-1 Architecture: armhf Maintainer: Alexandre Duret-Lutz Installed-Size: 422 Depends: libbddx0 (>= 2.15.1.0), libc6 (>= 2.33), libgcc-s1 (>= 3.5), libltdl7 (>= 2.4.7), libspot0 (>= 2.15.1.0-1), libstdc++6 (>= 11), libspot0 (<< 2.15.1.0-1.1~) Suggests: libspot-dev Filename: armhf/libspotltsmin0_2.15.1.0-1_armhf.deb Size: 379792 MD5sum: b6529ef39f52244a2bf07f665ae122f9 SHA1: c9bc3b5da7932286d30949db876fcc152ed13264 SHA256: be15dce4037f99008e0f4c29aa2cd74b7bf998e58e81573a2f6fb6f1b1d96889 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.15.1.0-1 Auto-Built-Package: debug-symbols Architecture: armhf Maintainer: Alexandre Duret-Lutz Installed-Size: 677 Depends: libspotltsmin0 (= 2.15.1.0-1) Filename: armhf/libspotltsmin0-dbgsym_2.15.1.0-1_armhf.deb Size: 632628 MD5sum: 43ab67e61f1f2fa901a4d45ed012f39a SHA1: f881ccaf224725ac13b2cd52db806cf14f94f66b SHA256: ecdcf15f733f1b6805a0160951146eb7bae35fbc001b9d9ccfecf517c9428477 Section: debug Priority: optional Description: debug symbols for libspotltsmin0 Build-Ids: 1f05df0abe9d315f40f330794afdb1660e25f7cb Package: python3-spot Source: spot Version: 2.15.1.0-1 Architecture: armhf Maintainer: Alexandre Duret-Lutz Installed-Size: 46966 Depends: libbddx0 (>= 2.15.1.0), libc6 (>= 2.32), libgcc-s1 (>= 3.5), libspot0 (>= 2.15.1.0-1), libspotgen0 (>= 2.15.1.0), libspotltsmin0 (>= 2.15.1.0-1), libstdc++6 (>= 11), python3 (<< 3.12), python3 (>= 3.11~), python3:any, libspot0 (<< 2.15.1.0-1.1~), libspotltsmin0 (<< 2.15.1.0-1.1~) Suggests: ipython3 Filename: armhf/python3-spot_2.15.1.0-1_armhf.deb Size: 2417304 MD5sum: c37948a13f544e3cae2aee64d7b78b7a SHA1: 56b2f13c5805fb40f362dce26b19e854b7819a79 SHA256: 0634bd0c9af431f69e4620d32a77fb4a418b2ff4e502aa0cd964d8c8ca54d42d 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.15.1.0-1 Auto-Built-Package: debug-symbols Architecture: armhf Maintainer: Alexandre Duret-Lutz Installed-Size: 7595 Depends: python3-spot (= 2.15.1.0-1) Filename: armhf/python3-spot-dbgsym_2.15.1.0-1_armhf.deb Size: 6805996 MD5sum: 7b3ecebe27d82c5fb7e08594dab5da00 SHA1: f786cc4b934ce294e6a8face4dab431ad810dd89 SHA256: fce1827fe68110baa580089eed45780815909fdeff1fc38a940f2f95556e24e0 Section: debug Priority: optional Description: debug symbols for python3-spot Build-Ids: 1296bb848e9633b2239e19cf3e3b8423b6b04584 50c85df81d3762350b177defc3ff5a57b49b8bec 5ec24f084f987b00f7e9662a6e870001a4f9a0ed d8dc1dbcb22008fb53204b513dc600833eeb13a4 Package: spot Version: 2.15.1.0-1 Architecture: armhf Maintainer: Alexandre Duret-Lutz Installed-Size: 2920 Depends: libbddx0 (>= 2.15.1.0), libc6 (>= 2.34), libgcc-s1 (>= 3.5), 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: armhf/spot_2.15.1.0-1_armhf.deb Size: 997344 MD5sum: f3d31502db04402345c6e8f9ea3b6127 SHA1: 2e570eac6205576918180d6b07bcc7e4a90bb022 SHA256: 4e977cb1a1ada000e59c59aff9e17c7f204b4024bfad392b9b8ce5c994e2fc88 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-dbgsym Source: spot Version: 2.15.1.0-1 Auto-Built-Package: debug-symbols Architecture: armhf Maintainer: Alexandre Duret-Lutz Installed-Size: 9987 Depends: spot (= 2.15.1.0-1) Filename: armhf/spot-dbgsym_2.15.1.0-1_armhf.deb Size: 8924292 MD5sum: baaad509db3b938fb2228b6e9ac73a2a SHA1: ea23e32ed106d77002fdd9e4750a91b8a511a6f7 SHA256: 2c4314c7dd65c641dd6b683c76e12b294bf8555088c9cb041c6ca9e7c52ee9cf Section: debug Priority: optional Description: debug symbols for spot Build-Ids: 00eb34e3cc4b79c27647568e6030cffacad7ae9a 05697f9b9f5c66bf11f0bfc21bc9bd9ecd225597 15f1b440e292f5cfdde9fe451d629e7805438d82 1d11bdc26b1c3c41b9f76b3cc45607f6aa5ffb18 20f7e200da0064dae08f84342fbd6471d244989d 53a10b936d85a6a72fbb11f30fba10efcda7dfd2 63ec56b05a573db9e0d2f2126077efdbb3a25957 6a4dffaa36d87d452254870a37272e5ce6013864 8e6d78691d4ed493abe83ec4aae5b9136a5a9cca 93b539a69e5c795a76b4210070bdf9aeeaf9efc4 97b245b8959e3c2e5ee20e6937318a603fc08c0c adf79dd7618140bfc30a24fbd393b32c5bc504d7 ba1b62488d96de02d94b9309d118c5a1862b891f d1bbb42e6b20f8ea01f724bf4d85d52f87045ee8 e7447a38aaa7c25c2f24953182fce5902d0af42e f3ecddcc3b32a0fc8b0a216cf6b66982b014af85 Package: spot-doc Source: spot Version: 2.15.1.0-1 Architecture: all Maintainer: Alexandre Duret-Lutz Installed-Size: 26968 Depends: libjs-mathjax, libjs-jquery, libjs-requirejs Filename: all/spot-doc_2.15.1.0-1_all.deb Size: 2211784 MD5sum: fda32309e51f18a7356a89266a1654e2 SHA1: 8620fc161f8db8074a9726bcf65bfc569d3d7c06 SHA256: 149176de038d9c306c141659b3892bea95f488afd74d481d62566eb9388b942e Section: doc Priority: optional Homepage: http://spot.lrde.epita.fr/ Description: documentation for Spot HTML and PDF documentation for Spot.