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: 1501492 MD5sum: 3270ca1aadb628a132e0a6d6f87303cc SHA1: c18a1641893b8aab865eae209ec1035c1e04ea72 SHA256: ece84049ee7a62a27dc77cedb512b1f34420c793759bc50c3698d22e001885cd 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: 27834 Depends: libspot0 (= 2.15.1.0-1) Filename: armhf/libspot0-dbgsym_2.15.1.0-1_armhf.deb Size: 27228504 MD5sum: 4468b56672544763be3d8dcc448ae512 SHA1: dfe840a578ab6a4a67e93565b551cf5fb9929a90 SHA256: 7ff190ce2339ab4d378973afb4d0d6ce60a50978f16f395d5e45dc3e6e11bcd0 Section: debug Priority: optional Description: debug symbols for libspot0 Build-Ids: 921381146040218211d7a7428bb9467a2a6b97be 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: 997048 MD5sum: 2ec3ec5da1e2567c5f439e9b5f8a701e SHA1: d48cc4cc47263b053b73151f333b4471bc598fb0 SHA256: 1088cfdc49767860da32f00a7125df7f5bfe6bca4207dcc5e520e4451024a5d0 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: 9986 Depends: spot (= 2.15.1.0-1) Filename: armhf/spot-dbgsym_2.15.1.0-1_armhf.deb Size: 8924180 MD5sum: 2a925f2d5aa3407be0be778cfbbd92b8 SHA1: f3dcf52372d67820559204fb20b0f682a343cb68 SHA256: 79ffb2de08ef54ae037f495581949d9b8b3e19d8f7bf1644ad1ef62a0a70ab2c Section: debug Priority: optional Description: debug symbols for spot Build-Ids: 00eb34e3cc4b79c27647568e6030cffacad7ae9a 05697f9b9f5c66bf11f0bfc21bc9bd9ecd225597 15f1b440e292f5cfdde9fe451d629e7805438d82 1d11bdc26b1c3c41b9f76b3cc45607f6aa5ffb18 20f7e200da0064dae08f84342fbd6471d244989d 28196372976c21ef08560695ef6e7beaa7a1f2a4 53a10b936d85a6a72fbb11f30fba10efcda7dfd2 63ec56b05a573db9e0d2f2126077efdbb3a25957 6a4dffaa36d87d452254870a37272e5ce6013864 8e6d78691d4ed493abe83ec4aae5b9136a5a9cca 93b539a69e5c795a76b4210070bdf9aeeaf9efc4 97b245b8959e3c2e5ee20e6937318a603fc08c0c ad895982c0834a157517473d849236a7d283f3ae adf79dd7618140bfc30a24fbd393b32c5bc504d7 d1bbb42e6b20f8ea01f724bf4d85d52f87045ee8 e7447a38aaa7c25c2f24953182fce5902d0af42e 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.