Package: libbddx-dev Source: spot Version: 2.14.2.0-1 Architecture: amd64 Maintainer: Alexandre Duret-Lutz Installed-Size: 381 Depends: libbddx0 (>= 2.14.2.0-1), libbddx0 (<< 2.14.2.0-1.1~) Filename: amd64/libbddx-dev_2.14.2.0-1_amd64.deb Size: 90808 MD5sum: 01ef38d141f6e95e31b0ac850a35441e SHA1: 125b29c6f96ee282179b17c09fd9c50b99209ba9 SHA256: 863ed382b69bc6e50ca4093a2fabdc162d4f241c81ce372e96455ff93bff9594 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.2.0-1 Architecture: amd64 Maintainer: Alexandre Duret-Lutz Installed-Size: 159 Depends: libc6 (>= 2.29), libgcc-s1 (>= 3.3.1), libstdc++6 (>= 13.1) Recommends: graphviz Suggests: libbddx-dev Filename: amd64/libbddx0_2.14.2.0-1_amd64.deb Size: 66700 MD5sum: 0bfb2595b83f2e3e4c754ab6b7408865 SHA1: b04ab09edb7feca1eb32e8b340a2a424595bad10 SHA256: f2a34ee59c42ea66531e4b93389b733ab2a1890e35b1b3bfb9d4bc5e13df2452 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.2.0-1 Auto-Built-Package: debug-symbols Architecture: amd64 Maintainer: Alexandre Duret-Lutz Installed-Size: 201 Depends: libbddx0 (= 2.14.2.0-1) Filename: amd64/libbddx0-dbgsym_2.14.2.0-1_amd64.deb Size: 177700 MD5sum: 3d532bf785dff7334c1fa300207f5396 SHA1: 1e2d916b1acc3f833efc4313353ec7d2b7fdc500 SHA256: d861ce9da830827ec66b58b32f35aae58980a37262cdb760985f409140020795 Section: debug Priority: optional Description: debug symbols for libbddx0 Build-Ids: 0ccf525898fada9c4d137f60eb7ff5c9f7fa9a9c Package: libspot-dev Source: spot Version: 2.14.2.0-1 Architecture: amd64 Maintainer: Alexandre Duret-Lutz Installed-Size: 18000 Depends: libspot0 (>= 2.14.2.0-1), libspot0 (<< 2.14.2.0-1.1~), libspotltsmin0 (>= 2.14.2.0-1), libspotltsmin0 (<< 2.14.2.0-1.1~), libbddx-dev Suggests: spot-doc Filename: amd64/libspot-dev_2.14.2.0-1_amd64.deb Size: 3299704 MD5sum: b7b895a5baf2b04f683b3b179de29ec7 SHA1: 418e655ed093b5c5efbf5ba6d62b39aaf8a1e480 SHA256: 2253d897cc431cc4e3f4ae5997c1176db826b560d7ca23c17f71025c2e2ed21a 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.2.0-1 Architecture: amd64 Maintainer: Alexandre Duret-Lutz Installed-Size: 4056 Depends: libbddx0 (>= 2.14.2.0-1), libc6 (>= 2.38), libgcc-s1 (>= 3.3.1), libstdc++6 (>= 14), libbddx0 (<< 2.14.2.0-1.1~) Recommends: graphviz Suggests: libspot-dev, spot-doc, python3-spot Filename: amd64/libspot0_2.14.2.0-1_amd64.deb Size: 1845804 MD5sum: 3f6f2cf73be56ca4471d8b71e6c3e725 SHA1: 3b42ce572bef2fa8224e4272fe606508894e1d0b SHA256: 840a3470b81c9725f789f25316a4c487e37cc1e62e7c15ef235775dfa0d9870e 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.2.0-1 Auto-Built-Package: debug-symbols Architecture: amd64 Maintainer: Alexandre Duret-Lutz Installed-Size: 29290 Depends: libspot0 (= 2.14.2.0-1) Filename: amd64/libspot0-dbgsym_2.14.2.0-1_amd64.deb Size: 28985592 MD5sum: eb323938f8e52a75ffcdcfc7578f7e7d SHA1: 2484887991d3a192c220038576864951535af895 SHA256: a37d10de813098bc6cccdb18fcb1e3c25f2d3c7ee5949d9fafb19a2eb8c4b274 Section: debug Priority: optional Description: debug symbols for libspot0 Build-Ids: 15ded52633d6eaa9a8ae89c2450ec0dd6580e204 Package: libspotgen0 Source: spot Version: 2.14.2.0-1 Architecture: amd64 Maintainer: Alexandre Duret-Lutz Installed-Size: 572 Depends: libbddx0 (>= 2.14.2.0), libc6 (>= 2.32), libgcc-s1 (>= 3.3.1), libspot0 (>= 2.14.2.0-1), libstdc++6 (>= 13.1), libspot0 (<< 2.14.2.0-1.1~) Suggests: libspot-dev Filename: amd64/libspotgen0_2.14.2.0-1_amd64.deb Size: 425660 MD5sum: 31881d0f8f699bbb6a9a187ce25f7fdb SHA1: 5a71f8ad2fd976d602ce046c1aef4c0a22796260 SHA256: b6054405868544d692675aa22df24ba30fa6e30ac81e53b3668f388e24a05f22 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.2.0-1 Auto-Built-Package: debug-symbols Architecture: amd64 Maintainer: Alexandre Duret-Lutz Installed-Size: 677 Depends: libspotgen0 (= 2.14.2.0-1) Filename: amd64/libspotgen0-dbgsym_2.14.2.0-1_amd64.deb Size: 655024 MD5sum: f493463cde05b1eadd707adf5bac9f39 SHA1: 98bdf609af2d1b2be3ac7ddb065a98ccd4f50040 SHA256: a794cc58b3e2c89babf67c2e7bebf0904b7fe820939c2a046bd5e03d6290f125 Section: debug Priority: optional Description: debug symbols for libspotgen0 Build-Ids: c2dd236cea28345ca04c4b0c8e684d6ae845d7d5 Package: libspotltsmin0 Source: spot Version: 2.14.2.0-1 Architecture: amd64 Maintainer: Alexandre Duret-Lutz Installed-Size: 420 Depends: libbddx0 (>= 2.14.2.0), libc6 (>= 2.38), libgcc-s1 (>= 3.3.1), libltdl7 (>= 2.5.4), libspot0 (>= 2.14.2.0-1), libstdc++6 (>= 13.1), libspot0 (<< 2.14.2.0-1.1~) Suggests: libspot-dev Filename: amd64/libspotltsmin0_2.14.2.0-1_amd64.deb Size: 369816 MD5sum: eda402f2eea46e3347904ad581122329 SHA1: dd42e192a0c2b750b0fed4910bd1ed38cca678fd SHA256: 4ca0a901ff64343629161bd24729e36e91d861265c9af646a1e8e36f596c7de8 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.2.0-1 Auto-Built-Package: debug-symbols Architecture: amd64 Maintainer: Alexandre Duret-Lutz Installed-Size: 621 Depends: libspotltsmin0 (= 2.14.2.0-1) Filename: amd64/libspotltsmin0-dbgsym_2.14.2.0-1_amd64.deb Size: 602108 MD5sum: 5b19741167f88e0c281e39b205a66515 SHA1: 243dd0d102adba4efeeea3115340c34a5c69a228 SHA256: 05feda51668aee18985743045a8c4ae01fdcf94a0a7d18016f270e7ad4c507aa Section: debug Priority: optional Description: debug symbols for libspotltsmin0 Build-Ids: a54b307279e1f269086368260b7c2d552831b906 Package: python3-spot Source: spot Version: 2.14.2.0-1 Architecture: amd64 Maintainer: Alexandre Duret-Lutz Installed-Size: 32099 Depends: libbddx0 (>= 2.14.2.0), libc6 (>= 2.32), libgcc-s1 (>= 3.3.1), libspot0 (>= 2.14.2.0-1), libspotgen0 (>= 2.14.2.0), libspotltsmin0 (>= 2.14.2.0-1), libstdc++6 (>= 13.1), python3 (<< 3.14), python3 (>= 3.13~), python3:any, libspot0 (<< 2.14.2.0-1.1~), libspotltsmin0 (<< 2.14.2.0-1.1~) Suggests: ipython3 Filename: amd64/python3-spot_2.14.2.0-1_amd64.deb Size: 2253492 MD5sum: 5d8e52ff0e49c8576f27f641d4bb5a03 SHA1: dd35f8f0b1c38c63e45bc8c8a25f6cd277ae99b7 SHA256: 25bbc9d84a07b70a6a044534fb12c881d73bb51cb5cf19852b154f4ccd3c7c32 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.2.0-1 Auto-Built-Package: debug-symbols Architecture: amd64 Maintainer: Alexandre Duret-Lutz Installed-Size: 7615 Depends: python3-spot (= 2.14.2.0-1) Filename: amd64/python3-spot-dbgsym_2.14.2.0-1_amd64.deb Size: 7022352 MD5sum: 217aca97d2a9c8dd692e8ab61369acae SHA1: ee3da9efe22ec68d3ac3d96b4b1f090c877e879e SHA256: 9783bc33f1a36f06fbe9124603603519312c3bcd6a35c089a37bdd8247344924 Section: debug Priority: optional Description: debug symbols for python3-spot Build-Ids: 446d52ceaacc70e2626e7853b346de288177a415 6568b65c10e1a4baee2d4ad8f3c5a1b4d0cc0202 8385c1defcc3cd1a80919a56a5b7f6bfddc7aead ccf8bbdd0bed647308d9db16789594dad3565f3e Package: spot Version: 2.14.2.0-1 Architecture: amd64 Maintainer: Alexandre Duret-Lutz Installed-Size: 3619 Depends: libbddx0 (>= 2.14.2.0), libc6 (>= 2.38), libgcc-s1 (>= 3.3.1), libspot0 (>= 2.14.2.0-1), libspotgen0 (>= 2.14.2.0-1), libstdc++6 (>= 14), libspot0 (<< 2.14.2.0-1.1~), libspotgen0 (<< 2.14.2.0-1.1~) Recommends: graphviz Suggests: libspot-dev, spot-doc, python3-spot Filename: amd64/spot_2.14.2.0-1_amd64.deb Size: 1165252 MD5sum: f99cdf84495cfa54e33ea63b6b0ff5fc SHA1: 5ff9e0861b7f99dd65ea166eebeef6e92520b400 SHA256: 4747bd6e4f789e52d2a876706029a2462df5ef4906ecaa5e679e8ca06c7c7e95 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.2.0-1 Auto-Built-Package: debug-symbols Architecture: amd64 Maintainer: Alexandre Duret-Lutz Installed-Size: 16401 Depends: spot (= 2.14.2.0-1) Filename: amd64/spot-dbgsym_2.14.2.0-1_amd64.deb Size: 15184600 MD5sum: 762cf2007062adb393ff7afe4436e694 SHA1: efefe85c186ec164498c44e12ea1c421d0c4dec9 SHA256: 8a0f9b5051bdbad2e65bbb09f3ffe1b96e13b610434ae8e9734e3f8765b5e683 Section: debug Priority: optional Description: debug symbols for spot Build-Ids: 076e1848e988aaae3289f165c60c3f64734aa528 0ccf93d97e40e639d43ababa4904930b262aea98 20773ad51f39d8922d24b71cb8226517de958daf 2e1e353a87b3f0843e4a784ce71f8eb44e1b4c00 38093813db221e758e0eb44ddce183b551674de6 5d755421a5def18d41e623821e2e586cd09c94ac 610a0cd2528d72dd5a61e0e930a67151f891727b 7284bf7c9faf0828ce50a853939bb724f22a8a46 777bc9411dbd7858ebd86df43e29080b6565a7af 7c5055317e3552ae358a7710bf4fbe48dabec2fa 7d2908eb52db881676fce3c43dafcd770ad07d0a a4edd5f08bc5355390efeb6eb8c50fa092e4b955 b2708a6885c0124665e61033a2fcf74b34a9024b b936f208702317ea018b63c727b675711c692cec ba7a777a0114429c64d071e507ccd23ca100b00b e311d3f2d96d1c130347d36cf543199cbc5f58c3 fe8f702e1213bc837c2f6410dc7d09e55d5cd260 Package: spot-doc Source: spot Version: 2.14.2.0-1 Architecture: all Maintainer: Alexandre Duret-Lutz Installed-Size: 35310 Depends: libjs-mathjax, libjs-jquery, libjs-requirejs Filename: all/spot-doc_2.14.2.0-1_all.deb Size: 2519560 MD5sum: c0ceebd78eb317755c8c9f644a8a1c48 SHA1: 88ae509e695318b254f2fe205aa7f736fa8b939d SHA256: be31d75b84c15b70465b68eb444a706155d049d2c73082cc29eeef7dfdb3e595 Section: doc Priority: optional Homepage: http://spot.lrde.epita.fr/ Description: documentation for Spot HTML and PDF documentation for Spot.