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: 1501412 MD5sum: ce21270812d6be55f19bdb024816f3cf SHA1: 967c2fa116d9ec318cc11df1cff19000f60ded01 SHA256: b310e729d270e5a8b7f96a49ce8cdd98182f4d2ce2639150b195dceed10cc87d 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: 27829 Depends: libspot0 (= 2.15.1.0-1) Filename: armhf/libspot0-dbgsym_2.15.1.0-1_armhf.deb Size: 27223936 MD5sum: de5e7e92413f5cf421852f85da3a0207 SHA1: e5e6e3bf66d3becdcf65abcc553fe10c1f91965f SHA256: 0a4707b8262b76584a54e80091779d8db2ae95faab1533942ad440764b357a21 Section: debug Priority: optional Description: debug symbols for libspot0 Build-Ids: 7b35b095c9f168d73027f74a1ec43c97824c356d 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: 2418496 MD5sum: ffcada77bd4855fca4b9bb0c2ef974ba SHA1: 3e0cb05681ead5debe0c7405272c0d9b5e48274f SHA256: 59215535cd16b1b47e0fb06a0143713b3855f10e6984e9404e7ed44f067f8b03 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: 7593 Depends: python3-spot (= 2.15.1.0-1) Filename: armhf/python3-spot-dbgsym_2.15.1.0-1_armhf.deb Size: 6802896 MD5sum: fa3f3d29032db2e3d392cb1a0c916899 SHA1: da9bd3e7af574b62fe370e4e566fec84952b6180 SHA256: f29c59ba79eb42e07dbae9e9ac24db6a4a2c8d25e2512058d2d90d32243d2817 Section: debug Priority: optional Description: debug symbols for python3-spot Build-Ids: 5ec24f084f987b00f7e9662a6e870001a4f9a0ed d8dc1dbcb22008fb53204b513dc600833eeb13a4 f5c835683dd0098bfa0d7e6dbdd08a43dee7ed9d febad41b04c91f7f26b4a35e20092fa167b1cb4b 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: 997352 MD5sum: b709dad84497c3517dd7a8cae9b766a7 SHA1: c54bb75828dd2cb39d73e663f97f27811ba1b8ba SHA256: 2123779b5c3474d59fb165375e32a2846445451c2ee6287dfe2dd415a5c52357 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: 8924736 MD5sum: c9b1e1513b8cad31a0f2e598d8ec81f5 SHA1: 5f18f924179139aef30d8ac2fff9aec9ef2cbc17 SHA256: 895a5a9216f5a3ed648d6f1820e55ffc0a0d76fc429b6190b30cf29d6f21cf2e Section: debug Priority: optional Description: debug symbols for spot Build-Ids: 11b9f972ed55bbdf9fde5bddba076e29b9149224 20f7e200da0064dae08f84342fbd6471d244989d 22a382860fbdc5fcb199b17e7265da7c166b0359 3b90bbc33c57cc71c53823cdf30c9510009934b5 5cf8e85eedadec0ed618b3a305e19a6cb578ef24 72446563481a8179ba7c555589df265eae16c98e 9456b337e284a057e54e85dc240c896147a193aa 97b245b8959e3c2e5ee20e6937318a603fc08c0c 98098a53fadfa54abaf322e197b98b678b7a7ede ab070b37070897afb52871eb91ebf99f415fd47a b950b786ef764f95a265d890ff7fdce0729635e4 d1bbb42e6b20f8ea01f724bf4d85d52f87045ee8 d9ef8dc21f946afe76a4cb557d30bfc491a75867 f10822fa5c64e43c56148af51bbce50ebede06d1 fc09c216782fb07dabca3eedf67f80e85a22f64c fc579102f5b7605391418df261e4482b07fb47f8 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.