Package: libbddx-dev Source: spot Version: 2.14.2.0-1 Architecture: i386 Maintainer: Alexandre Duret-Lutz Installed-Size: 335 Depends: libbddx0 (>= 2.14.2.0-1), libbddx0 (<< 2.14.2.0-1.1~) Filename: i386/libbddx-dev_2.14.2.0-1_i386.deb Size: 94544 MD5sum: 42a4bc08fadc57cdcecabbac57e89cd4 SHA1: 7c46f2a95fe41cfa0a268b770c2bba4172453e23 SHA256: 557aa9ebc8e8026b583b7d0b7a4ea43791b98a715ba94719e32cba2b53b9f437 Section: libdevel Priority: optional Homepage: http://spot.lrde.epita.fr/ Description: headers for the BuDDy library C++ headers for the Buddy library. 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: 89624 MD5sum: 7e5215e53fb15db38348528c90cf4a2a SHA1: 139620372323b9469d4a1e1c5965b299143a22fb SHA256: 91fcf618f19f5f981de05d3371b850ec88e4c08cf56bae41e5e5b8abde5c792e 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: i386 Maintainer: Alexandre Duret-Lutz Installed-Size: 174 Depends: libc6 (>= 2.29), libgcc-s1 (>= 3.3.1), libstdc++6 (>= 5) Recommends: graphviz Suggests: libbddx-dev Filename: i386/libbddx0_2.14.2.0-1_i386.deb Size: 72248 MD5sum: 7fd7550e272d1980265685e72228cd20 SHA1: 7b8f656391a0094907be3430b028c058cf57d141 SHA256: a28397b968fa51fba00968efb7a96939500b5d0b8d225fa352fead5fe4a2a604 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 Source: spot Version: 2.14.2.0-1 Architecture: amd64 Maintainer: Alexandre Duret-Lutz Installed-Size: 167 Depends: libc6 (>= 2.29), libgcc-s1 (>= 3.3.1), libstdc++6 (>= 5) Recommends: graphviz Suggests: libbddx-dev Filename: amd64/libbddx0_2.14.2.0-1_amd64.deb Size: 74172 MD5sum: df9f1e0befac4c55398b83b179e7e21c SHA1: 41700e4b5a31b9e3f76ea637a33ec4594a6c765b SHA256: 8e42819fb53f481f7214528ec4a4cffc1daf05adb7f7b3385443379bf6ca0467 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: i386 Maintainer: Alexandre Duret-Lutz Installed-Size: 212 Depends: libbddx0 (= 2.14.2.0-1) Filename: i386/libbddx0-dbgsym_2.14.2.0-1_i386.deb Size: 182780 MD5sum: a6e1d3a37b4ddac5f58b21eaf837a0f8 SHA1: 44cb03a07849779d94d0e4a957519f383f5da25c SHA256: db8f05cf5bdd6dac8262b323ebb4a74181f6f6ffe9ce5f3726d277db0459e116 Section: debug Priority: optional Description: debug symbols for libbddx0 Build-Ids: 2052e42cbd9a7e9c415f25abbbee03b5e763a85e Package: libbddx0-dbgsym Source: spot Version: 2.14.2.0-1 Auto-Built-Package: debug-symbols Architecture: amd64 Maintainer: Alexandre Duret-Lutz Installed-Size: 228 Depends: libbddx0 (= 2.14.2.0-1) Filename: amd64/libbddx0-dbgsym_2.14.2.0-1_amd64.deb Size: 190052 MD5sum: 3b6ac38b44ff98c1031840fb371a9f93 SHA1: faa6078dc0d7f3b4fb9d1e0b816a7dac24e6ed47 SHA256: b8c12ef6c2d189ba14e914953cfb0e82a2f78b02f698d625f625869079b2f425 Section: debug Priority: optional Description: debug symbols for libbddx0 Build-Ids: 3723abe086da002ebc15c18fdf81019883ed6100 Package: libspot-dev Source: spot Version: 2.14.2.0-1 Architecture: i386 Maintainer: Alexandre Duret-Lutz Installed-Size: 15221 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: i386/libspot-dev_2.14.2.0-1_i386.deb Size: 3218196 MD5sum: a18ca578ed2c8b31f0378125ed2ab1cb SHA1: bed4e7dac10cbe0c4eedfcb1a4f7e7de6fade01c SHA256: 909eef921e44762b1cc6f2c9915258bebc3943659d7190ddcf38d8e3da65fb14 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: libspot-dev Source: spot Version: 2.14.2.0-1 Architecture: amd64 Maintainer: Alexandre Duret-Lutz Installed-Size: 17888 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: 3078040 MD5sum: 6a06e0d6b37ccb724a81a5919802f899 SHA1: 3a57048c556ae4ef5fb1419eae29bc83e3404384 SHA256: d3191f21e774b537f29f3d2fa1d7ceb5b4548bf3c02fbc994a59f4236bfe8bcb 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: i386 Maintainer: Alexandre Duret-Lutz Installed-Size: 4885 Depends: libbddx0 (>= 2.14.2.0-1), libc6 (>= 2.17), libgcc-s1 (>= 3.4), libstdc++6 (>= 9), libbddx0 (<< 2.14.2.0-1.1~) Recommends: graphviz Suggests: libspot-dev, spot-doc, python3-spot Filename: i386/libspot0_2.14.2.0-1_i386.deb Size: 2292432 MD5sum: 680d73ad096186443f254b69fb970d31 SHA1: ddf6f9b196f6889afa7b522b9edb8eeb1a00337d SHA256: 376875c2ac8d81d6faf7f69c0453e168df9073375b2279a9a6e5770643441159 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 Source: spot Version: 2.14.2.0-1 Architecture: amd64 Maintainer: Alexandre Duret-Lutz Installed-Size: 4712 Depends: libbddx0 (>= 2.14.2.0-1), libc6 (>= 2.29), libgcc-s1 (>= 3.4), libstdc++6 (>= 9), 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: 2215864 MD5sum: e7c8d520baec060fcd1e27fab463c114 SHA1: 861db25d9b267e73bdb98160077dafb96fec6116 SHA256: 41c4b81c0aadd768ee590c724a34ccbab25e498ea47510d39581d40c1ab032e4 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: i386 Maintainer: Alexandre Duret-Lutz Installed-Size: 30494 Depends: libspot0 (= 2.14.2.0-1) Filename: i386/libspot0-dbgsym_2.14.2.0-1_i386.deb Size: 29793336 MD5sum: a5a4b8b04ce156ec4c5fbaca2c3b1030 SHA1: 60f36fb230684523fd2e957dcef69deb7d889d6f SHA256: 6d9d8f2d140222e0c1749ff1c0ee6d2239a356de1a8ab71f46d6452fc2088629 Section: debug Priority: optional Description: debug symbols for libspot0 Build-Ids: bca35b097354417c74fdd3d354d4a8bbc58ff2dd Package: libspot0-dbgsym Source: spot Version: 2.14.2.0-1 Auto-Built-Package: debug-symbols Architecture: amd64 Maintainer: Alexandre Duret-Lutz Installed-Size: 31220 Depends: libspot0 (= 2.14.2.0-1) Filename: amd64/libspot0-dbgsym_2.14.2.0-1_amd64.deb Size: 30184392 MD5sum: 5336965379db9cba0a86a7bc560c5863 SHA1: cd0c9a6dd2cb3c217815eed1c880c49518d63394 SHA256: 67511347022ce63dc7cf5150f77beac88cf304ba1fde8f6fd3aadea4d1e8177f Section: debug Priority: optional Description: debug symbols for libspot0 Build-Ids: 4438c804066c7c715b9f2c4725126daca23929f2 Package: libspotgen0 Source: spot Version: 2.14.2.0-1 Architecture: i386 Maintainer: Alexandre Duret-Lutz Installed-Size: 571 Depends: libbddx0 (>= 2.14.2.0), libc6 (>= 2.1.3), libgcc-s1 (>= 3.3.1), libspot0 (>= 2.14.2.0-1), libstdc++6 (>= 9), libspot0 (<< 2.14.2.0-1.1~) Suggests: libspot-dev Filename: i386/libspotgen0_2.14.2.0-1_i386.deb Size: 431608 MD5sum: 5e36ee23f6ebb4267c4e9472a79de4c4 SHA1: fd5c2dee66c28fd0f30989dbdb974793973179b2 SHA256: fda50d403e2afdca578da5211b22da0da70d0d63a02e7a3313a889803d64dc76 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 Source: spot Version: 2.14.2.0-1 Architecture: amd64 Maintainer: Alexandre Duret-Lutz Installed-Size: 584 Depends: libbddx0 (>= 2.14.2.0), libc6 (>= 2.29), libgcc-s1 (>= 3.3.1), libspot0 (>= 2.14.2.0-1), libstdc++6 (>= 9), libspot0 (<< 2.14.2.0-1.1~) Suggests: libspot-dev Filename: amd64/libspotgen0_2.14.2.0-1_amd64.deb Size: 430328 MD5sum: 04e2dfac9298ed3977ea45cb88407ce5 SHA1: 07d6309b47cb0636326cebf1cf7a3b4abe54bf20 SHA256: cb064ebb985a8c22e183531b7db78555264f441d8696316afea2cd49babb6672 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: i386 Maintainer: Alexandre Duret-Lutz Installed-Size: 770 Depends: libspotgen0 (= 2.14.2.0-1) Filename: i386/libspotgen0-dbgsym_2.14.2.0-1_i386.deb Size: 744860 MD5sum: 0f688e1359c47262fbb057bcbdb7dc75 SHA1: 8296c442497db968ef18008837337fcd0d0cd3fa SHA256: 7621af21da40925df479b497d925f95fe6146d81e6682ef8a33ba6c562813011 Section: debug Priority: optional Description: debug symbols for libspotgen0 Build-Ids: 585c84b70d54d17ffee073bfd7bf809c032494df Package: libspotgen0-dbgsym Source: spot Version: 2.14.2.0-1 Auto-Built-Package: debug-symbols Architecture: amd64 Maintainer: Alexandre Duret-Lutz Installed-Size: 789 Depends: libspotgen0 (= 2.14.2.0-1) Filename: amd64/libspotgen0-dbgsym_2.14.2.0-1_amd64.deb Size: 753760 MD5sum: 6840eac257e48643338b9694c70140bd SHA1: 168d5caa6ea1f54cdad956f90856d1aa0c5c1120 SHA256: 44625409e3b48f887ec00dad476234b22c38a9ce040d81b998ff341eda2ab291 Section: debug Priority: optional Description: debug symbols for libspotgen0 Build-Ids: ace795b3cebdb420546e924cc61e855a2a98f2a4 Package: libspotltsmin0 Source: spot Version: 2.14.2.0-1 Architecture: i386 Maintainer: Alexandre Duret-Lutz Installed-Size: 423 Depends: libbddx0 (>= 2.14.2.0), libc6 (>= 2.3.6-6~), libgcc-s1 (>= 3.3.1), libltdl7 (>= 2.4.6), libspot0 (>= 2.14.2.0-1), libstdc++6 (>= 9), libspot0 (<< 2.14.2.0-1.1~) Suggests: libspot-dev Filename: i386/libspotltsmin0_2.14.2.0-1_i386.deb Size: 374292 MD5sum: 7ffc2342d2e98cc6d3148c3d5c914572 SHA1: b3ff13b6e3ed993405a2316e30c954b97b49009c SHA256: 3672be3dac052d16be7f13c682391acd050a35189c65e7bd77b6020955a4ad4d 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 Source: spot Version: 2.14.2.0-1 Architecture: amd64 Maintainer: Alexandre Duret-Lutz Installed-Size: 424 Depends: libbddx0 (>= 2.14.2.0), libc6 (>= 2.2.5), libgcc-s1 (>= 3.3.1), libltdl7 (>= 2.4.6), libspot0 (>= 2.14.2.0-1), libstdc++6 (>= 9), libspot0 (<< 2.14.2.0-1.1~) Suggests: libspot-dev Filename: amd64/libspotltsmin0_2.14.2.0-1_amd64.deb Size: 371712 MD5sum: 0c522db84d96a03d2dc0a96aaca38a44 SHA1: 11d55f257f708fef190544874501ac8c8aa3be6e SHA256: 78faa4a71a5fb25e02e0d893a33f882795e8363345038405e0aef66544919701 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: i386 Maintainer: Alexandre Duret-Lutz Installed-Size: 667 Depends: libspotltsmin0 (= 2.14.2.0-1) Filename: i386/libspotltsmin0-dbgsym_2.14.2.0-1_i386.deb Size: 626816 MD5sum: 0641923aea00db8cb82cc888248040ae SHA1: 69b30aff5869f8c8af607a42817cb0a77f6aeef9 SHA256: dc93adab1c7a75d0fab5b96493e1cbe0032a25843314d20a2f5ba843a7c888b7 Section: debug Priority: optional Description: debug symbols for libspotltsmin0 Build-Ids: 5ef8b116905c147ac8e4465833dfb80537709697 Package: libspotltsmin0-dbgsym Source: spot Version: 2.14.2.0-1 Auto-Built-Package: debug-symbols Architecture: amd64 Maintainer: Alexandre Duret-Lutz Installed-Size: 691 Depends: libspotltsmin0 (= 2.14.2.0-1) Filename: amd64/libspotltsmin0-dbgsym_2.14.2.0-1_amd64.deb Size: 634176 MD5sum: d5eb76c60f8556a074dac32a5ed626ca SHA1: 00db16c842924b56010a3a703e7e74a8303a31c6 SHA256: 64675c5a0526be0262d7f93314851f842a0d206e2dd1aa0d9d0e5ad574d7aec9 Section: debug Priority: optional Description: debug symbols for libspotltsmin0 Build-Ids: db173e8601952efb5564f384080a9d39abbb7872 Package: python3-spot Source: spot Version: 2.14.2.0-1 Architecture: i386 Maintainer: Alexandre Duret-Lutz Installed-Size: 31495 Depends: libbddx0 (>= 2.14.2.0), libc6 (>= 2.3.6-6~), libgcc-s1 (>= 3.4), libspot0 (>= 2.14.2.0-1), libspotgen0 (>= 2.14.2.0), libspotltsmin0 (>= 2.14.2.0-1), libstdc++6 (>= 9), python3 (<< 3.10), python3 (>= 3.9~), python3:any, libspot0 (<< 2.14.2.0-1.1~), libspotltsmin0 (<< 2.14.2.0-1.1~) Suggests: ipython3 Filename: i386/python3-spot_2.14.2.0-1_i386.deb Size: 2271528 MD5sum: ea512e474a8bc9289057d5c0dab0d9a3 SHA1: 84e22e55b33f9da37616f6b028ce631c61bc6625 SHA256: 3dd4de629117dc8aef15874b6629fe8e9c1e15cb768ed4f82e3f8d59d4877b0f 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 Source: spot Version: 2.14.2.0-1 Architecture: amd64 Maintainer: Alexandre Duret-Lutz Installed-Size: 31797 Depends: libbddx0 (>= 2.14.2.0), libc6 (>= 2.14), libgcc-s1 (>= 3.4), libspot0 (>= 2.14.2.0-1), libspotgen0 (>= 2.14.2.0), libspotltsmin0 (>= 2.14.2.0-1), libstdc++6 (>= 9), python3 (<< 3.10), python3 (>= 3.9~), 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: 2245044 MD5sum: 0c9551f94f8db1a78904b7b930980e1c SHA1: ebd30d2de7b2ab558f543c1df5ee07cbfd2546da SHA256: 02637cef3353e84a0f42153c7badc5ee73a2efbc60db2b824e685eb56dba28a9 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: i386 Maintainer: Alexandre Duret-Lutz Installed-Size: 7842 Depends: python3-spot (= 2.14.2.0-1) Filename: i386/python3-spot-dbgsym_2.14.2.0-1_i386.deb Size: 7157656 MD5sum: e68443c82fb2fe710079d10dffcbaf19 SHA1: b6e663351da137b10bee8c36269f7d3089e36de7 SHA256: 7f14c6018ac16b9d82802d888d2c02d622fcc7f181de241cdf0679ece71771d3 Section: debug Priority: optional Description: debug symbols for python3-spot Build-Ids: 250332d21b93ccaf95fa2de9a7bd423a5506245f 6a2c790e523f6f339603a80522dc4eb79d21db41 6db26243bc05e1ddaabd3631d20258209542d819 9fa73af6a219a16327d0a879931bac0165338f8d 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: 8260 Depends: python3-spot (= 2.14.2.0-1) Filename: amd64/python3-spot-dbgsym_2.14.2.0-1_amd64.deb Size: 7395728 MD5sum: 504d3f3141479d7dc05b798f560b0a98 SHA1: 9bf3a966ee235da9b85814cbf4c5c0c1fdffe4da SHA256: 617b4d35fe14a041f19adf73602e7d0845329314769b34e598d8ceabf38385fc Section: debug Priority: optional Description: debug symbols for python3-spot Build-Ids: 634e699a4d284e326381446e8ab5967fb5735aed 9596b40deb39dd25e181f164428aa6ded5ebb1a8 9a244e057826c2c1604de0343d563401dff8118b e7bc1e452d93cd52277907554c42444a31b6bd82 Package: spot Version: 2.14.2.0-1 Architecture: i386 Maintainer: Alexandre Duret-Lutz Installed-Size: 3643 Depends: libbddx0 (>= 2.14.2.0), libc6 (>= 2.15), libgcc-s1 (>= 4.2), libspot0 (>= 2.14.2.0-1), libspotgen0 (>= 2.14.2.0-1), libstdc++6 (>= 9), libspot0 (<< 2.14.2.0-1.1~), libspotgen0 (<< 2.14.2.0-1.1~) Recommends: graphviz Suggests: libspot-dev, spot-doc, python3-spot Filename: i386/spot_2.14.2.0-1_i386.deb Size: 1252336 MD5sum: bccf1c6064bace282f47999f862e7970 SHA1: 02db522a01c580d65d12a2453ab280f07f6c3fc0 SHA256: 735cfd748db6811a9e8a48ceba11d520b2ee607684446f84a92265713153dd17 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 Version: 2.14.2.0-1 Architecture: amd64 Maintainer: Alexandre Duret-Lutz Installed-Size: 3759 Depends: libbddx0 (>= 2.14.2.0), libc6 (>= 2.15), libgcc-s1 (>= 3.3.1), libspot0 (>= 2.14.2.0-1), libspotgen0 (>= 2.14.2.0-1), libstdc++6 (>= 9), 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: 1241088 MD5sum: fc0f7314835522e45199b40339f6bac2 SHA1: 17ae3dacce1c62a81f87cdcf26fa22297e3660e8 SHA256: 771af817c8a887ef046eb98c32353ba0f8b5877da1ef1a23dd9003876678ac3e 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: i386 Maintainer: Alexandre Duret-Lutz Installed-Size: 10292 Depends: spot (= 2.14.2.0-1) Filename: i386/spot-dbgsym_2.14.2.0-1_i386.deb Size: 9144076 MD5sum: 9b644ead2dce24c89bb37960a3a30626 SHA1: 0c3d401a275f86e7b5e9df735b0fe5bcc3bf2432 SHA256: f8b72ccf58dab0432f5fb6aaa8e21efe0b7cc01ffd5a2b1d30c25882f07ccd10 Section: debug Priority: optional Description: debug symbols for spot Build-Ids: 0e9b2b017f2f8d3bf59b5c82864b740ae852593d 273062deaf4cb2742bb1d1b38acf9bc86bfcf5ac 2a8bd7d10658014804a4f19bf3bf2abe02ee5e3e 3a2667a4c00ac08fb671fee2bc571c0932fa3237 3a885a0533cee807f1cc3e0046db2a36999258b3 4d61d4cb9ea40de3ae6b994a8fbfaf48d823b5bc 5eb66869618dc26cb510df5d0e77744f4671767e 687325bf5342f94265f76e6e5ec87a7dfb4275f3 6876cd93c53815ce04925152aafa1c8f36a614af 6be8a79c150b47300d8d7afcba17132871c0af8c 6d934cf999af0a955e9a67d846fd827e42339a34 902f93605e8f9c5f7d44d793fc485acfd91fb9bf b4939fcb7f4a697587adcde60d6dee949d8cc952 ccaecf5d375c9499dc83392f6862e37f88c53448 ce1ae28f64a965f59e4b82281d32051700a400cf db16b201f97765e2d1583f7de219c3f2b6500325 e47b5157c70e8eb5224bbb68db3e23647224e4fd Package: spot-dbgsym Source: spot Version: 2.14.2.0-1 Auto-Built-Package: debug-symbols Architecture: amd64 Maintainer: Alexandre Duret-Lutz Installed-Size: 10949 Depends: spot (= 2.14.2.0-1) Filename: amd64/spot-dbgsym_2.14.2.0-1_amd64.deb Size: 9440628 MD5sum: 48d050cf37b5b241583c8e07f22d6e47 SHA1: 4d43766fcf40e92553063c80e24f8f49ab6d8097 SHA256: 52957560e87cf7f2a817bc41a224d964a036b88330ecb5e8d10617d77f0ac71a Section: debug Priority: optional Description: debug symbols for spot Build-Ids: 1e0d58329061907926b9fd577ff27cd6e02ef700 483cec83b3dbf74dd8deafecfb86d198d51985f2 4d12e0fa8427c1721a601479b59dc8311476551e 547b7da607fd4d5c03f5133ab9568f7f3ff1f01b 599271e0805436810cfd3114da7990c5f6d2a19c 5a0addc6eb7332d1f1e8734703b9a8502d39c598 631946f0addca045505eb27c2200bbd91c8a220c 6565667172cfb7f5b9569f13ff8b4c1ea87e251c 7fefa77cba273631b1cb882df453b01d14f7342c 90af47c8590daa63ae9d7bdd5921e7c683ab7a99 951edddd942929e6e24585e0b8e0a9bd311aceba a0bc1d3d7cc7a97bef8f029988b9e9c3115fc2bb abecff625436056b8b1fa5f51671cac832345ea8 af0a00d8d390e7e38506157564e16fa4deadac66 b36738379c5ad2ed04376a52885eb0fa8539b0ec d57c4a7434d843c73d2f1918a30636bd65ceac0e f9bd6b875e49a91054561ccde4c9304ae8280ca8 Package: spot-doc Source: spot Version: 2.14.2.0-1 Architecture: all Maintainer: Alexandre Duret-Lutz Installed-Size: 30924 Depends: libjs-mathjax, libjs-jquery, libjs-requirejs Filename: all/spot-doc_2.14.2.0-1_all.deb Size: 2344648 MD5sum: de252a5eb5ad400b0517ae2c5a840154 SHA1: 61dcee8787885d0f3d47454b9768b7d3b02b45b8 SHA256: 4b75a78167ac7c3eeb69999139c46b7aa8ff86681c7298103df0fff8f295b576 Section: doc Priority: optional Homepage: http://spot.lrde.epita.fr/ Description: documentation for Spot HTML and PDF documentation for Spot.