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: 1502040 MD5sum: 60c30453b84c77debe04c46187e7d284 SHA1: 1fa8af65f85aee1150a153c7e036bc5c9e240740 SHA256: e73debf701f05869d32798070a7a26bdc8ae74623ad497c571a20dd53f3872d2 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: 27836 Depends: libspot0 (= 2.15.1.0-1) Filename: armhf/libspot0-dbgsym_2.15.1.0-1_armhf.deb Size: 27230584 MD5sum: 387bc5392631bd1a931e0a635d42e319 SHA1: fae0b25cf25fc02fe57a797fe0a00d215cfd0e8f SHA256: f379a7558ca003ab535a170fcbce70f0f8efc5d7664c8ff50d290572c5104b2b Section: debug Priority: optional Description: debug symbols for libspot0 Build-Ids: 17c85316c82452ae408292c8b0146fc5223abf02 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: 2418132 MD5sum: 9f0221f28efdf316869816a208cd4c97 SHA1: 92e80f74a8600b6233654f4b6fdc2c9efb16514c SHA256: f4639b27f4cf0010c5fd91f3343495ac020060882a71e95f92c98ce7db51a60a 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: 6803664 MD5sum: d1815b559444567fa57388ffadbfb193 SHA1: 3dbd626b12b26c6a5381a979a323e816aa6fd876 SHA256: b1ed307aafffeaa5097b32df7c7c0539d9dc0a9562334bcfd6ad7fe21c71894a Section: debug Priority: optional Description: debug symbols for python3-spot Build-Ids: 1296bb848e9633b2239e19cf3e3b8423b6b04584 5ec24f084f987b00f7e9662a6e870001a4f9a0ed d8dc1dbcb22008fb53204b513dc600833eeb13a4 de1cc47be6a4819b7b166ceedc2320fda4c0aa05 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.