Package: libbddx-dev Source: spot Version: 2.14.4.0-1 Architecture: armhf Maintainer: Alexandre Duret-Lutz Installed-Size: 286 Depends: libbddx0 (>= 2.14.4.0-1), libbddx0 (<< 2.14.4.0-1.1~) Filename: armhf/libbddx-dev_2.14.4.0-1_armhf.deb Size: 78052 MD5sum: 2bff9b592a6e4ea6cdd99b372028b78a SHA1: cd8c689b4d5a5e52811697ce2a95666100bcc558 SHA256: 86b16ad2c73751e5a746c220aa4724714cbf44d93bdea8734735013c5ecbe0e8 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.14.4.0-1 Architecture: armhf Maintainer: Alexandre Duret-Lutz Installed-Size: 154 Depends: libc6 (>= 2.29), libgcc-s1 (>= 3.5), libstdc++6 (>= 5) Recommends: graphviz Suggests: libbddx-dev Filename: armhf/libbddx0_2.14.4.0-1_armhf.deb Size: 61188 MD5sum: 8d993ed7ae577919b47cbb86712f7bec SHA1: a010f8fa4fa72cd58a55b19a15310939280db802 SHA256: ddca57b9fe164b5df26594b48cebe85bced1debb7062ee7956d5497463ba11d4 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.14.4.0-1 Auto-Built-Package: debug-symbols Architecture: armhf Maintainer: Alexandre Duret-Lutz Installed-Size: 223 Depends: libbddx0 (= 2.14.4.0-1) Filename: armhf/libbddx0-dbgsym_2.14.4.0-1_armhf.deb Size: 190304 MD5sum: 46b31841a1c6bcdce94cffcbf26f03d8 SHA1: 4ae13d35605a91572a3862ac947a9eb94c12787b SHA256: 54238836780d5873ac2e2a89e706b2e6a68b0dc090e14073897bd539cd1a83e9 Section: debug Priority: optional Description: debug symbols for libbddx0 Build-Ids: f066b90761eb04b8e91b7de78c69f002c8d2c4ba Package: libspot-dev Source: spot Version: 2.14.4.0-1 Architecture: armhf Maintainer: Alexandre Duret-Lutz Installed-Size: 14874 Depends: libspot0 (>= 2.14.4.0-1), libspot0 (<< 2.14.4.0-1.1~), libspotltsmin0 (>= 2.14.4.0-1), libspotltsmin0 (<< 2.14.4.0-1.1~), libbddx-dev Suggests: spot-doc Filename: armhf/libspot-dev_2.14.4.0-1_armhf.deb Size: 2740192 MD5sum: 9771d11f52747f006f576adf39767e2a SHA1: 9cdbfb5084e2a76db322065c8bd9deacf8eaf323 SHA256: 4d30c51959d3f3e77534f115ddb8b10032136080fe1d4e1d4808fa3601592fc2 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.14.4.0-1 Architecture: armhf Maintainer: Alexandre Duret-Lutz Installed-Size: 3524 Depends: libbddx0 (>= 2.14.4.0-1), libc6 (>= 2.33), libgcc-s1 (>= 3.5), libstdc++6 (>= 11), libbddx0 (<< 2.14.4.0-1.1~) Recommends: graphviz Suggests: libspot-dev, spot-doc, python3-spot Filename: armhf/libspot0_2.14.4.0-1_armhf.deb Size: 1507660 MD5sum: 583978f78b07c3d861b50dc3d1ab7783 SHA1: c093caa00d8fcc38c35d4eecea378cd80fd16922 SHA256: e2fab57beb9833410a276d23cd81e87dd9bc9c400e8229726740bca01047ecf7 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.14.4.0-1 Auto-Built-Package: debug-symbols Architecture: armhf Maintainer: Alexandre Duret-Lutz Installed-Size: 28448 Depends: libspot0 (= 2.14.4.0-1) Filename: armhf/libspot0-dbgsym_2.14.4.0-1_armhf.deb Size: 27902892 MD5sum: cd991ef758200226bd05af112d1f9e44 SHA1: fa5cc5aeb6d614aa7866f79051509350cc7d3e63 SHA256: a96244a04674b72d41f49de5bfd278a3ecf7d30005d59f97065b7e73894e77ab Section: debug Priority: optional Description: debug symbols for libspot0 Build-Ids: 134d7b6da81e8795905b08132cdbbac2bae05a07 Package: libspotgen0 Source: spot Version: 2.14.4.0-1 Architecture: armhf Maintainer: Alexandre Duret-Lutz Installed-Size: 541 Depends: libbddx0 (>= 2.14.4.0), libc6 (>= 2.32), libgcc-s1 (>= 3.5), libspot0 (>= 2.14.4.0-1), libstdc++6 (>= 11), libspot0 (<< 2.14.4.0-1.1~) Suggests: libspot-dev Filename: armhf/libspotgen0_2.14.4.0-1_armhf.deb Size: 409912 MD5sum: 12e445ec64f1bdeba8c588b5591947c2 SHA1: 47376752f4669708faef761ea5c5e60937497da5 SHA256: f5000ad300220443f7e1302e325104517c7e85e95ffb2b3104ad39703964e45c 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.14.4.0-1 Auto-Built-Package: debug-symbols Architecture: armhf Maintainer: Alexandre Duret-Lutz Installed-Size: 703 Depends: libspotgen0 (= 2.14.4.0-1) Filename: armhf/libspotgen0-dbgsym_2.14.4.0-1_armhf.deb Size: 682800 MD5sum: 1cdf5891b4310cd08a6d7660ebb8df35 SHA1: 01153d7ea9b2fa85893184345bf72c5860891c99 SHA256: e79bf0030c7a8a2240cbfa1db44df01450e1301562ffe7af906994af7baae6bd Section: debug Priority: optional Description: debug symbols for libspotgen0 Build-Ids: 48d15d50a69d7862237f4786f6538a734a67ab46 Package: libspotltsmin0 Source: spot Version: 2.14.4.0-1 Architecture: armhf Maintainer: Alexandre Duret-Lutz Installed-Size: 413 Depends: libbddx0 (>= 2.14.4.0), libc6 (>= 2.33), libgcc-s1 (>= 3.5), libltdl7 (>= 2.4.7), libspot0 (>= 2.14.4.0-1), libstdc++6 (>= 11), libspot0 (<< 2.14.4.0-1.1~) Suggests: libspot-dev Filename: armhf/libspotltsmin0_2.14.4.0-1_armhf.deb Size: 369252 MD5sum: d01fd942bd14aed6867cbf24a8b7fa49 SHA1: a4dbb2ef5a2b8118037f0a9bb4a22013f67bc5b0 SHA256: 6ff1260a4e4b2fcbc19b631f1a43408e2eddad3b9f7e2e6c42c779587e83e0ad 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.14.4.0-1 Auto-Built-Package: debug-symbols Architecture: armhf Maintainer: Alexandre Duret-Lutz Installed-Size: 659 Depends: libspotltsmin0 (= 2.14.4.0-1) Filename: armhf/libspotltsmin0-dbgsym_2.14.4.0-1_armhf.deb Size: 615792 MD5sum: d4cd752cff99161a27aee4afbf608e7b SHA1: e8df88e9b7809e48950a7591fa04b82b3fbb5eb6 SHA256: e073a48e2ff3b749dcd86ff6f6706c9cec836d868598d6a01a348d6691052494 Section: debug Priority: optional Description: debug symbols for libspotltsmin0 Build-Ids: c2195692cc60654e6e912f3c39dce4aa9f245b2d Package: python3-spot Source: spot Version: 2.14.4.0-1 Architecture: armhf Maintainer: Alexandre Duret-Lutz Installed-Size: 40800 Depends: libbddx0 (>= 2.14.4.0), libc6 (>= 2.32), libgcc-s1 (>= 3.5), libspot0 (>= 2.14.4.0-1), libspotgen0 (>= 2.14.4.0), libspotltsmin0 (>= 2.14.4.0-1), libstdc++6 (>= 11), python3 (<< 3.12), python3 (>= 3.11~), python3:any, libspot0 (<< 2.14.4.0-1.1~), libspotltsmin0 (<< 2.14.4.0-1.1~) Suggests: ipython3 Filename: armhf/python3-spot_2.14.4.0-1_armhf.deb Size: 2118516 MD5sum: 91a4c66f8fe5c165a668d95e43125a69 SHA1: 85fe60432f0c23f95eb7c1847b161006c287bae6 SHA256: ebebf9166d96532e8bd27abed33ba94b44ae1038fe94a4c9132785706f7e7f0f 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.14.4.0-1 Auto-Built-Package: debug-symbols Architecture: armhf Maintainer: Alexandre Duret-Lutz Installed-Size: 7272 Depends: python3-spot (= 2.14.4.0-1) Filename: armhf/python3-spot-dbgsym_2.14.4.0-1_armhf.deb Size: 6512968 MD5sum: c3c097eadee587b4542167b236a6ff3b SHA1: ebdd67814766412489cd598ab00bcbb64fcf53fc SHA256: 9d16e407aa67e12b92fbe43bb23fb023ac20a3392369d3b0952ace19949c9fa3 Section: debug Priority: optional Description: debug symbols for python3-spot Build-Ids: 28ba394336fc2c574403a025411172c08122868d 9af71d0994647d45d4cf89f344bc33829972fa99 9ba115623540f023d1624d0eddc3e622f3a1b2ae c9633e4f01f510ced9f99278f6f3ade8a0936592 Package: spot Version: 2.14.4.0-1 Architecture: armhf Maintainer: Alexandre Duret-Lutz Installed-Size: 2944 Depends: libbddx0 (>= 2.14.4.0), libc6 (>= 2.34), libgcc-s1 (>= 3.5), libspot0 (>= 2.14.4.0-1), libspotgen0 (>= 2.14.4.0-1), libstdc++6 (>= 11), libspot0 (<< 2.14.4.0-1.1~), libspotgen0 (<< 2.14.4.0-1.1~) Recommends: graphviz Suggests: libspot-dev, spot-doc, python3-spot Filename: armhf/spot_2.14.4.0-1_armhf.deb Size: 984304 MD5sum: c6fac64319d43f8ffba4102e31e119cc SHA1: d792d3dd2c2b9ca9386eee353d2b85e52af4aab7 SHA256: b2aa1d714fe19d688e00db5e1e12c20e1a7d3f0184ca9ab3d07321503ee9bb1f 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.14.4.0-1 Auto-Built-Package: debug-symbols Architecture: armhf Maintainer: Alexandre Duret-Lutz Installed-Size: 9879 Depends: spot (= 2.14.4.0-1) Filename: armhf/spot-dbgsym_2.14.4.0-1_armhf.deb Size: 8795208 MD5sum: 678965605bc0ae37bc8afdfbdb54196c SHA1: 63e81f2f0f5bbe3b9128f6eec6c04d24911d2338 SHA256: f9019a262e8c649bdb7e7149f6decd96ecaf1f916c8e294696d947edef36c257 Section: debug Priority: optional Description: debug symbols for spot Build-Ids: 09de583b7e4b3d3d5879942c996196e6a812c84a 1423dc1cf2eb15ba52b1b438ffd11d5349a51c43 1bece4fa8cfc5b3f6b3b6e942d677ce0ee6c7fd4 1eca16a1114a94868c52de5c6a39c8274892bbc7 364dad4a65caf3f86fee5873ff404de74272560a 3676d41a6a74cf89065afb93920507485fcb3270 3e3850920324d15e473b3afb27b7284627c25ca1 56f8c26e220136c3ef7a10b19b59278a9f2cc216 72948ff6ef3ac1eca527dc6b0701c98879b8c5b0 7e7a9a2a56ce1f731ddea2f1d761a742d9581436 80060b7fcd8ac467a7764d5ac878789c98f584a2 964a4fa4829d3ff423bc8007bc483cd4955a76f0 a18f99446d1ea95e8ab9b881e5a3caca35de04bb ac3013763c8ad51e5a8cbc06a14885ce99df2ec3 b7d1acfc0153a67e02f59e10b77291ba784d11ea d10e5b2e1ccad5d3169c41590f14e443865c2943 d777f4fa575639f4f9472fc7936e266e2430f40a Package: spot-doc Source: spot Version: 2.14.4.0-1 Architecture: all Maintainer: Alexandre Duret-Lutz Installed-Size: 31874 Depends: libjs-mathjax, libjs-jquery, libjs-requirejs Filename: all/spot-doc_2.14.4.0-1_all.deb Size: 2383668 MD5sum: 21e320c3e4f222cd3e930ce4236db7c1 SHA1: 25596df2c43652d746d8ad3e331d53ab869e9037 SHA256: 0bc4682a1e03b9257ab2a346440a1fd798163e66369126b7160ada28f07bcfb2 Section: doc Priority: optional Homepage: http://spot.lrde.epita.fr/ Description: documentation for Spot HTML and PDF documentation for Spot.