Package: libbddx-dev Source: spot Version: 2.16.0-1 Architecture: armhf Maintainer: Alexandre Duret-Lutz Installed-Size: 350 Depends: libbddx0 (>= 2.16.0-1), libbddx0 (<< 2.16.0-1.1~) Filename: armhf/libbddx-dev_2.16.0-1_armhf.deb Size: 93576 MD5sum: e7a9d80eefe5c21fa3b81a013af6b716 SHA1: 74a89e442a71fc1f5fcd9bd166cf4cd3c02bc31f SHA256: d2f377037c79b6cca12a11c048facfd890f0e91ec1ba8dec92bd486584e63c14 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.16.0-1 Architecture: armhf Maintainer: Alexandre Duret-Lutz Installed-Size: 175 Depends: libc6 (>= 2.29), libgcc-s1 (>= 3.5), libstdc++6 (>= 11) Recommends: graphviz Suggests: libbddx-dev Filename: armhf/libbddx0_2.16.0-1_armhf.deb Size: 71148 MD5sum: 802a53f6bc7b18e42c4795a8041b09f2 SHA1: 2b6b1d8ab6ce571af97573fe24eb2cd2b8cd329d SHA256: f28e260105793527228a8fae9a248459e08c9843269e50f30b9c2e6e0238bcad 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.16.0-1 Auto-Built-Package: debug-symbols Architecture: armhf Maintainer: Alexandre Duret-Lutz Installed-Size: 399 Depends: libbddx0 (= 2.16.0-1) Filename: armhf/libbddx0-dbgsym_2.16.0-1_armhf.deb Size: 362132 MD5sum: a09dec2a8bfe9a2f83b360182f690287 SHA1: 24efbf50ad8c107b5236a04d5395a29d529f64b9 SHA256: 8cd3d57d8412b81367ad79e0b21d9b634f7c5b01e63b7bcc57a83b301fff32f7 Section: debug Priority: optional Description: debug symbols for libbddx0 Build-Ids: 1bad4b348b4102eef46b782680b1838c1a9c4ff1 Package: libspot-dev Source: spot Version: 2.16.0-1 Architecture: armhf Maintainer: Alexandre Duret-Lutz Installed-Size: 14958 Depends: libspot0 (>= 2.16.0-1), libspot0 (<< 2.16.0-1.1~), libspotltsmin0 (>= 2.16.0-1), libspotltsmin0 (<< 2.16.0-1.1~), libbddx-dev Suggests: spot-doc Filename: armhf/libspot-dev_2.16.0-1_armhf.deb Size: 2890360 MD5sum: 6a8b47c5a819e85b486818b42b0eefcd SHA1: 93dba9dd66fe377e13b4c63c65365b1004048d77 SHA256: 74a8824c8cc16490b3f63cea59162ce7107166cb2dd36b687442230ec31e380c 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.16.0-1 Architecture: armhf Maintainer: Alexandre Duret-Lutz Installed-Size: 3768 Depends: libbddx0 (>= 2.16.0-1), libc6 (>= 2.33), libgcc-s1 (>= 3.5), libstdc++6 (>= 11), libbddx0 (<< 2.16.0-1.1~) Recommends: graphviz Suggests: libspot-dev, spot-doc, python3-spot Filename: armhf/libspot0_2.16.0-1_armhf.deb Size: 1614056 MD5sum: c24b9aa13ea5ece6d6fdc44577e733bd SHA1: cc492275ad60d940bacadb405748b85271670411 SHA256: 24dd6bfa229d039db360daa3eae4c59bd50bec5f8ab6cd587d63a5d8aa8da27f 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.16.0-1 Auto-Built-Package: debug-symbols Architecture: armhf Maintainer: Alexandre Duret-Lutz Installed-Size: 29428 Depends: libspot0 (= 2.16.0-1) Filename: armhf/libspot0-dbgsym_2.16.0-1_armhf.deb Size: 28819924 MD5sum: 3b2cd0b1cca43997abc4298ef1b2701d SHA1: a109d47fcc7390a236f451ff84ccff5c0d15e178 SHA256: f4d739e26fea66ca6c7cc6644d9f52365fdb69a2c3cb9d57988d08ea54a98739 Section: debug Priority: optional Description: debug symbols for libspot0 Build-Ids: 8a6615cb62699329a4eed11b503676aeed9fed88 Package: libspotgen0 Source: spot Version: 2.16.0-1 Architecture: armhf Maintainer: Alexandre Duret-Lutz Installed-Size: 521 Depends: libbddx0 (>= 2.16.0), libc6 (>= 2.32), libgcc-s1 (>= 3.5), libspot0 (>= 2.16.0-1), libstdc++6 (>= 11), libspot0 (<< 2.16.0-1.1~) Suggests: libspot-dev Filename: armhf/libspotgen0_2.16.0-1_armhf.deb Size: 423100 MD5sum: 03e294cc11a2d1103f97a650b0ae57eb SHA1: c4bf222d62caaab15ed703a990e3a80a79f4bba2 SHA256: 01efe49c1845d71c3d73c9ef49926c3d5b1f2b9159db38908d452b152181c20d 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.16.0-1 Auto-Built-Package: debug-symbols Architecture: armhf Maintainer: Alexandre Duret-Lutz Installed-Size: 705 Depends: libspotgen0 (= 2.16.0-1) Filename: armhf/libspotgen0-dbgsym_2.16.0-1_armhf.deb Size: 682368 MD5sum: 7fe19a172b75ee0258617c33a0b51aab SHA1: 71d9e5da0104a012ab908308e2717b3ef6cb82d8 SHA256: 576b97b5de798b22367494970ec6dec1e92f285ca76ea1cc1ab1e8c35b17a6e2 Section: debug Priority: optional Description: debug symbols for libspotgen0 Build-Ids: 5aee0f7b75f69e39e821acec6e1332950dd5bc0d Package: libspotltsmin0 Source: spot Version: 2.16.0-1 Architecture: armhf Maintainer: Alexandre Duret-Lutz Installed-Size: 437 Depends: libbddx0 (>= 2.16.0), libc6 (>= 2.33), libgcc-s1 (>= 3.5), libltdl7 (>= 2.4.7), libspot0 (>= 2.16.0-1), libstdc++6 (>= 11), libspot0 (<< 2.16.0-1.1~) Suggests: libspot-dev Filename: armhf/libspotltsmin0_2.16.0-1_armhf.deb Size: 394480 MD5sum: 81504bf6a2eeb308cf91142feaba540f SHA1: 147876120335ef79a20864ba988a68c3df225fe4 SHA256: 91a38c9c5b5bf5cb63901162e7e58d742ff4ba0a6af6640861ca08c36492c40e 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.16.0-1 Auto-Built-Package: debug-symbols Architecture: armhf Maintainer: Alexandre Duret-Lutz Installed-Size: 685 Depends: libspotltsmin0 (= 2.16.0-1) Filename: armhf/libspotltsmin0-dbgsym_2.16.0-1_armhf.deb Size: 641104 MD5sum: 89819be74afad35acce33aea6748cb14 SHA1: 7b6187d6fc53c03bf9b6863b1900d4a545fd471e SHA256: 144bb07f68fa1f3d86f6cb3fb94978841d42f266e9665dfedb3a7785234b694e Section: debug Priority: optional Description: debug symbols for libspotltsmin0 Build-Ids: 33bc0ff402b113146d7cdfa6d927a78f7844c2b4 Package: python3-spot Source: spot Version: 2.16.0-1 Architecture: armhf Maintainer: Alexandre Duret-Lutz Installed-Size: 48980 Depends: libbddx0 (>= 2.16.0), libc6 (>= 2.32), libgcc-s1 (>= 3.5), libspot0 (>= 2.16.0-1), libspotgen0 (>= 2.16.0), libspotltsmin0 (>= 2.16.0-1), libstdc++6 (>= 11), python3 (<< 3.12), python3 (>= 3.11~), python3:any, libspot0 (<< 2.16.0-1.1~), libspotltsmin0 (<< 2.16.0-1.1~) Suggests: ipython3 Filename: armhf/python3-spot_2.16.0-1_armhf.deb Size: 2651380 MD5sum: 9f909aff8cfb952b1f4d629438d9b6d2 SHA1: 21901a9cc89df750269be43693f9f00862633419 SHA256: 9166fd1c278a0097984047ca0521ed31a5fec399c6eeffed77763f80e6c49bd0 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.16.0-1 Auto-Built-Package: debug-symbols Architecture: armhf Maintainer: Alexandre Duret-Lutz Installed-Size: 8034 Depends: python3-spot (= 2.16.0-1) Filename: armhf/python3-spot-dbgsym_2.16.0-1_armhf.deb Size: 7200716 MD5sum: 93c78861f11adf90bd53a91b4a75e707 SHA1: 1e722f3ed8ea07352b8b1f7a7543178c23d82c47 SHA256: f0a3a575bec9141a38a6fab1d4a96f95d6f870cac8892c95af31f8527bc9a2ef Section: debug Priority: optional Description: debug symbols for python3-spot Build-Ids: 4e0ff16a49dc7aae1845790f0ec54ec7b0a6fbed 5f58e297212a172f6e46f0f26a79822ace0be9e8 797184ec2988b47066bb4e9fae40ea84993412ab 7c9543bd5244c01e3728d38f9e881611c4415838 Package: spot Version: 2.16.0-1 Architecture: armhf Maintainer: Alexandre Duret-Lutz Installed-Size: 3257 Depends: libbddx0 (>= 2.16.0), libc6 (>= 2.34), libgcc-s1 (>= 3.5), libspot0 (>= 2.16.0-1), libspotgen0 (>= 2.16.0-1), libstdc++6 (>= 11), libspot0 (<< 2.16.0-1.1~), libspotgen0 (<< 2.16.0-1.1~) Recommends: graphviz Suggests: libspot-dev, spot-doc, python3-spot Filename: armhf/spot_2.16.0-1_armhf.deb Size: 1063212 MD5sum: 62916dfeb994fc6d94ba54db1b4ab0d3 SHA1: 9fbd045b15927f6fcd11d080613198813d500129 SHA256: be28fcb7d2ffa66d237862f850851f4b0a8295852ef1970265ce0b4a85b65ff8 Section: science Priority: optional Homepage: http://spot.lrde.epita.fr/ Description: model checking and omega-automata manipulation tools Tools to manipulate omega-automata as well as linear-time temporal logic (LTL & PSL). Package: spot-dbgsym Source: spot Version: 2.16.0-1 Auto-Built-Package: debug-symbols Architecture: armhf Maintainer: Alexandre Duret-Lutz Installed-Size: 11122 Depends: spot (= 2.16.0-1) Filename: armhf/spot-dbgsym_2.16.0-1_armhf.deb Size: 9922372 MD5sum: 7851ccf78e8d5aadf8cec248e99d29e8 SHA1: 982e32daba10de6176e24835590d0f109ed21199 SHA256: e0d44f1357a9ea621001a497c5e225ff6c60181dce4a731e1d6879832e94b5f8 Section: debug Priority: optional Description: debug symbols for spot Build-Ids: 03d41e75eb7ce62c56e0d71665b9b2ca68592521 1836ffa1cc1b41f4ed811105dec58c5526e937b2 1f122f1f473089b9333c40fb3961c8b3197f1610 27f3e590d0201985b754f0da625b08879858b085 3049b7cdbdcade3185fbdc98b9783f514110403e 373fe2804abc0c9da0f0d8cfcf4163a19db117f8 4847b41998caa9f48eae79112826afad944897de 4e577d9db6fb31d25bb600885f43230fc08addf8 51d2d0d46a36a47b1be3a51d6fa42fc0cca5e054 6139df6706cf0f8884d02c66a22e9db89ac3958c 620ec0e54ae3c48e52f7fc8e5394b0a2684b9bf8 7c94442e99d18ca729f4fdabe855a10b782769f2 9981d3650728edf339e76fc9fa21b925193f756b 9e72dca85c33718470e105fc292ed7fdd2d96dda a3a5b919ff8a6fc8f9493105be06b808f106b715 ac0d26e7ab00e9f6c39b3e088f23b2416de61c48 acfefb2991a4511f51abbe565c93c50f09f261b6 d0a2c2ca9a0872def99c8fb06d3ce88dad2aa5eb Package: spot-doc Source: spot Version: 2.16.0-1 Architecture: all Maintainer: Alexandre Duret-Lutz Installed-Size: 31136 Depends: libjs-mathjax, libjs-jquery, libjs-requirejs Filename: all/spot-doc_2.16.0-1_all.deb Size: 2484088 MD5sum: 2c16694eab67346c624334ca099951b2 SHA1: f37934138a54ee6d7d2c51f7db6806e295d30441 SHA256: 9e99286e4ed77b654142ee01c1b8c42e987d80a502084c42c337d8b4094368a9 Section: doc Priority: optional Homepage: http://spot.lrde.epita.fr/ Description: documentation for Spot HTML and PDF documentation for Spot.