Package: libbddx-dev Source: spot Version: 2.16.1.0-1 Architecture: i386 Maintainer: Alexandre Duret-Lutz Installed-Size: 396 Depends: libbddx0 (>= 2.16.1.0-1), libbddx0 (<< 2.16.1.0-1.1~) Filename: i386/libbddx-dev_2.16.1.0-1_i386.deb Size: 113212 MD5sum: df5a077ddbe55eddefed7e06836238de SHA1: a2754c3addf084be8d0eb744d29b3e7781b6a234 SHA256: f574f6d1f6e461f4b4c26f05b0ceeb1ef16574e048797edba477ddab98ac131a 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.16.1.0-1 Architecture: amd64 Maintainer: Alexandre Duret-Lutz Installed-Size: 452 Depends: libbddx0 (>= 2.16.1.0-1), libbddx0 (<< 2.16.1.0-1.1~) Filename: amd64/libbddx-dev_2.16.1.0-1_amd64.deb Size: 107452 MD5sum: 269b6daa594a8d0d48a68d36a8d76d45 SHA1: 1933f2dc4b8e05f75d57a68d69ca5914aa5e4434 SHA256: f3de9250ca055cd9b9b360bb2d11f4ca8e63547429ad45b36cf6ea27ce77f88d 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.1.0-1 Architecture: i386 Maintainer: Alexandre Duret-Lutz Installed-Size: 199 Depends: libc6 (>= 2.29), libgcc-s1 (>= 3.3.1), libstdc++6 (>= 5) Recommends: graphviz Suggests: libbddx-dev Filename: i386/libbddx0_2.16.1.0-1_i386.deb Size: 85964 MD5sum: 3d29a9c640050bd59d5ee9027ba526c6 SHA1: aee8671b742bf9bfb5b61969e2d67e62fc011baa SHA256: 5165f11d09eaa6ff5ca8b069fcffdcc66850921b3adc743b5533900aae1fefe3 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.16.1.0-1 Architecture: amd64 Maintainer: Alexandre Duret-Lutz Installed-Size: 192 Depends: libc6 (>= 2.29), libgcc-s1 (>= 3.3.1), libstdc++6 (>= 5) Recommends: graphviz Suggests: libbddx-dev Filename: amd64/libbddx0_2.16.1.0-1_amd64.deb Size: 87592 MD5sum: c486a7ad8e1a808a7c64e896dd642a96 SHA1: 3356254869539de9af32681513f420db74b3125c SHA256: 80a78a2424b44f62cff1fa1ec29b6b4b45eb58034127eec595c5236c9519bc6c 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.1.0-1 Auto-Built-Package: debug-symbols Architecture: i386 Maintainer: Alexandre Duret-Lutz Installed-Size: 402 Depends: libbddx0 (= 2.16.1.0-1) Filename: i386/libbddx0-dbgsym_2.16.1.0-1_i386.deb Size: 367212 MD5sum: 51ef97c21560dad00b163acf096bb1a8 SHA1: 6c3f643f398cf224dddbb2468b116719c2d746bd SHA256: 8b11e14cbb4b6e6339c44cd279a3f17215cb601e73b68bd695f2ccdbaff337d3 Section: debug Priority: optional Description: debug symbols for libbddx0 Build-Ids: bd22e8573c42fd9c96f5e845fadade80d27e5ab9 Package: libbddx0-dbgsym Source: spot Version: 2.16.1.0-1 Auto-Built-Package: debug-symbols Architecture: amd64 Maintainer: Alexandre Duret-Lutz Installed-Size: 420 Depends: libbddx0 (= 2.16.1.0-1) Filename: amd64/libbddx0-dbgsym_2.16.1.0-1_amd64.deb Size: 373948 MD5sum: 705b2cab6f09b5daf5667b6e963a4f38 SHA1: fa2391802d2431251d49eb804b6c379891271e48 SHA256: e40bd5c6aa168335caea48dbe86c84a99779bb7af083656cc2d45932ed8a4401 Section: debug Priority: optional Description: debug symbols for libbddx0 Build-Ids: 8523038c5b992df5f32b31995972d22684bc1c2b Package: libspot-dev Source: spot Version: 2.16.1.0-1 Architecture: i386 Maintainer: Alexandre Duret-Lutz Installed-Size: 16118 Depends: libspot0 (>= 2.16.1.0-1), libspot0 (<< 2.16.1.0-1.1~), libspotltsmin0 (>= 2.16.1.0-1), libspotltsmin0 (<< 2.16.1.0-1.1~), libbddx-dev Suggests: spot-doc Filename: i386/libspot-dev_2.16.1.0-1_i386.deb Size: 3413580 MD5sum: f9a66f88be4aa8f1bc5439c85e5bb9bb SHA1: 615ee4c10ca176f082e68c87ecf9a673fc94fbc5 SHA256: 1fc3cd9f431490ecb1b697aaeef37849e0486af4737918bdc9e373412e07d91d 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.16.1.0-1 Architecture: amd64 Maintainer: Alexandre Duret-Lutz Installed-Size: 18903 Depends: libspot0 (>= 2.16.1.0-1), libspot0 (<< 2.16.1.0-1.1~), libspotltsmin0 (>= 2.16.1.0-1), libspotltsmin0 (<< 2.16.1.0-1.1~), libbddx-dev Suggests: spot-doc Filename: amd64/libspot-dev_2.16.1.0-1_amd64.deb Size: 3266740 MD5sum: 2457c6b30be964256c2bf56e487fd130 SHA1: fbd7866904d6834301e5879e5a3e8ae85bb98add SHA256: 0e04e707724da010e8bb325874847bc62c33f20490b83aaa7e929d8c2464c590 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.1.0-1 Architecture: i386 Maintainer: Alexandre Duret-Lutz Installed-Size: 5134 Depends: libbddx0 (>= 2.16.1.0-1), libc6 (>= 2.17), libgcc-s1 (>= 3.4), libstdc++6 (>= 9), libbddx0 (<< 2.16.1.0-1.1~) Recommends: graphviz Suggests: libspot-dev, spot-doc, python3-spot Filename: i386/libspot0_2.16.1.0-1_i386.deb Size: 2430356 MD5sum: 066d26f515726fa7bfab2e53d0c9dbcc SHA1: d3d5373ddc89bd26e1e2bb57b8a041d44af14790 SHA256: 5e79722e8cbec62c16a9bee264d0007f03eb6a61253768d0dd41c51476c6930c 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.16.1.0-1 Architecture: amd64 Maintainer: Alexandre Duret-Lutz Installed-Size: 4957 Depends: libbddx0 (>= 2.16.1.0-1), libc6 (>= 2.29), libgcc-s1 (>= 3.4), libstdc++6 (>= 9), libbddx0 (<< 2.16.1.0-1.1~) Recommends: graphviz Suggests: libspot-dev, spot-doc, python3-spot Filename: amd64/libspot0_2.16.1.0-1_amd64.deb Size: 2351668 MD5sum: 8efc38685e74dd28e1e0419ccd3591ef SHA1: c4e549fb690106126d83b3e8a5a86fbaecce6239 SHA256: ed114cc6731820e12fa78b03866ed051887507bc83e45814efbadc943a1a093b 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.1.0-1 Auto-Built-Package: debug-symbols Architecture: i386 Maintainer: Alexandre Duret-Lutz Installed-Size: 31545 Depends: libspot0 (= 2.16.1.0-1) Filename: i386/libspot0-dbgsym_2.16.1.0-1_i386.deb Size: 30742896 MD5sum: 51e4eb6c9ff295162ed9a0df2279e030 SHA1: 618858acbecc5b171ffaa4e0f06a3c14913f3f0f SHA256: de1185d7c8601fd2954049e8395777726a69e1db5210b6279207adc0e5700f5c Section: debug Priority: optional Description: debug symbols for libspot0 Build-Ids: 32ed6745ea97a0681a6098f35bf05f3892406b75 Package: libspot0-dbgsym Source: spot Version: 2.16.1.0-1 Auto-Built-Package: debug-symbols Architecture: amd64 Maintainer: Alexandre Duret-Lutz Installed-Size: 32371 Depends: libspot0 (= 2.16.1.0-1) Filename: amd64/libspot0-dbgsym_2.16.1.0-1_amd64.deb Size: 31178152 MD5sum: 4df086f1be173256cc5adecb7fe8d9b3 SHA1: 969d049f5e596765d4c4072e9f9dd191c97713b1 SHA256: 1d27b2e4cf4fd3a7f23dc47709a18cc147d6455490284bb41b47449ff9d83afe Section: debug Priority: optional Description: debug symbols for libspot0 Build-Ids: 262bc79a250d415447114337b602e6a1f45bc900 Package: libspotgen0 Source: spot Version: 2.16.1.0-1 Architecture: i386 Maintainer: Alexandre Duret-Lutz Installed-Size: 572 Depends: libbddx0 (>= 2.16.1.0), libc6 (>= 2.1.3), libgcc-s1 (>= 3.3.1), libspot0 (>= 2.16.1.0-1), libstdc++6 (>= 9), libspot0 (<< 2.16.1.0-1.1~) Suggests: libspot-dev Filename: i386/libspotgen0_2.16.1.0-1_i386.deb Size: 450048 MD5sum: 9e7978c8d5e069852f09d829f67dd799 SHA1: 33921254bd8ed23b9925548d3b77ceac305901e7 SHA256: 6f2b11aaefc90d133653b11dd199335455b284b9413c10537cec5d384b6e60c7 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.16.1.0-1 Architecture: amd64 Maintainer: Alexandre Duret-Lutz Installed-Size: 577 Depends: libbddx0 (>= 2.16.1.0), libc6 (>= 2.29), libgcc-s1 (>= 3.3.1), libspot0 (>= 2.16.1.0-1), libstdc++6 (>= 9), libspot0 (<< 2.16.1.0-1.1~) Suggests: libspot-dev Filename: amd64/libspotgen0_2.16.1.0-1_amd64.deb Size: 446568 MD5sum: fde774ffd0c617a9bf9913d71a5b1dc4 SHA1: 6f0e7eb8bfb9fc727c60f0d2f8632a938ff8e620 SHA256: 8e8f1e10e56973ac8be8434d8a86cd6941d8d09d02942d9e53c86ebdb7d8d51f 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.1.0-1 Auto-Built-Package: debug-symbols Architecture: i386 Maintainer: Alexandre Duret-Lutz Installed-Size: 772 Depends: libspotgen0 (= 2.16.1.0-1) Filename: i386/libspotgen0-dbgsym_2.16.1.0-1_i386.deb Size: 743656 MD5sum: 73d48dce31811dc7f52218acde0d10d8 SHA1: 79cafe0404f7ed6a70ea4bc0d48c5c7a441988ce SHA256: 1cb99be0060d7760be146dc31f45f3cef871244db1e6c95b0e4a1f7ab3393922 Section: debug Priority: optional Description: debug symbols for libspotgen0 Build-Ids: 930c93d99db89821f1629ec1706917ca58344167 Package: libspotgen0-dbgsym Source: spot Version: 2.16.1.0-1 Auto-Built-Package: debug-symbols Architecture: amd64 Maintainer: Alexandre Duret-Lutz Installed-Size: 792 Depends: libspotgen0 (= 2.16.1.0-1) Filename: amd64/libspotgen0-dbgsym_2.16.1.0-1_amd64.deb Size: 751000 MD5sum: 5a2b98de6e197919e6a143f19863e203 SHA1: 7bf967f6699fa714a9bc9c7af1cb978acc3369be SHA256: 46dc4b9bcab8dbfecc122f05433c94bfa2d88a80c056bfb403a90562be0fcb95 Section: debug Priority: optional Description: debug symbols for libspotgen0 Build-Ids: 25980bcf017dc5b250ee03e87daec250b1b9668a Package: libspotltsmin0 Source: spot Version: 2.16.1.0-1 Architecture: i386 Maintainer: Alexandre Duret-Lutz Installed-Size: 456 Depends: libbddx0 (>= 2.16.1.0), libc6 (>= 2.3.6-6~), libgcc-s1 (>= 3.3.1), libltdl7 (>= 2.4.6), libspot0 (>= 2.16.1.0-1), libstdc++6 (>= 9), libspot0 (<< 2.16.1.0-1.1~) Suggests: libspot-dev Filename: i386/libspotltsmin0_2.16.1.0-1_i386.deb Size: 404868 MD5sum: 36f6f73a0256ca565dc72bc0bcdbeab6 SHA1: 1ee7fcf7a555195c13bd211a13d328ff90405909 SHA256: 5a3e948363f7ad26a4608a00380bdd019923ef7ed4d9a33cd61d67f657b41bfa 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.16.1.0-1 Architecture: amd64 Maintainer: Alexandre Duret-Lutz Installed-Size: 453 Depends: libbddx0 (>= 2.16.1.0), libc6 (>= 2.2.5), libgcc-s1 (>= 3.3.1), libltdl7 (>= 2.4.6), libspot0 (>= 2.16.1.0-1), libstdc++6 (>= 9), libspot0 (<< 2.16.1.0-1.1~) Suggests: libspot-dev Filename: amd64/libspotltsmin0_2.16.1.0-1_amd64.deb Size: 402272 MD5sum: 39b92a85478f98ab721442ddb5126053 SHA1: 0773018c6162ea262593b1ffa35334f1259dafda SHA256: eabd95f9b2691e1da60c7f3bba83ad9fd73470367fb6c7bbd65f7c931e08f491 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.1.0-1 Auto-Built-Package: debug-symbols Architecture: i386 Maintainer: Alexandre Duret-Lutz Installed-Size: 695 Depends: libspotltsmin0 (= 2.16.1.0-1) Filename: i386/libspotltsmin0-dbgsym_2.16.1.0-1_i386.deb Size: 654460 MD5sum: 88773bb63ae2b831b19ed464650250b7 SHA1: fcea55eaf53eeb3ef3bc7009ec3a410b7034aa53 SHA256: 54b42d81f01372df78d9f5244932b1d044f04f70577f96966fb277c0123a5c50 Section: debug Priority: optional Description: debug symbols for libspotltsmin0 Build-Ids: 2ac3c85aee48626a91075d572b27e783ce21e151 Package: libspotltsmin0-dbgsym Source: spot Version: 2.16.1.0-1 Auto-Built-Package: debug-symbols Architecture: amd64 Maintainer: Alexandre Duret-Lutz Installed-Size: 720 Depends: libspotltsmin0 (= 2.16.1.0-1) Filename: amd64/libspotltsmin0-dbgsym_2.16.1.0-1_amd64.deb Size: 662160 MD5sum: 0a01826de225fa47b4d0166a31288eca SHA1: 8fe0122c5ae1564c5a33d9c15675a3a78830b1bc SHA256: c2fda33c61fa8a1200c990ca9972a185a488176fd22e0787c487160101493588 Section: debug Priority: optional Description: debug symbols for libspotltsmin0 Build-Ids: 85f9bb51bfa9693c1ef120093e5ec1828fefba15 Package: python3-spot Source: spot Version: 2.16.1.0-1 Architecture: i386 Maintainer: Alexandre Duret-Lutz Installed-Size: 39485 Depends: libbddx0 (>= 2.16.1.0), libc6 (>= 2.3.6-6~), libgcc-s1 (>= 3.4), libspot0 (>= 2.16.1.0-1), libspotgen0 (>= 2.16.1.0), libspotltsmin0 (>= 2.16.1.0-1), libstdc++6 (>= 9), python3 (<< 3.10), python3 (>= 3.9~), python3:any, libspot0 (<< 2.16.1.0-1.1~), libspotltsmin0 (<< 2.16.1.0-1.1~) Suggests: ipython3 Filename: i386/python3-spot_2.16.1.0-1_i386.deb Size: 2882648 MD5sum: 7d1181db8fd5b7c9e55aa520ce92e8e6 SHA1: 13d33b1b610fa3455783c6bc8f3b37e14f63d4bf SHA256: 6b57b2507273579f9469c25188f563dac7133d0012c594cdacf07f9fc5f61bad 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.16.1.0-1 Architecture: amd64 Maintainer: Alexandre Duret-Lutz Installed-Size: 39846 Depends: libbddx0 (>= 2.16.1.0), libc6 (>= 2.14), libgcc-s1 (>= 3.4), libspot0 (>= 2.16.1.0-1), libspotgen0 (>= 2.16.1.0), libspotltsmin0 (>= 2.16.1.0-1), libstdc++6 (>= 9), python3 (<< 3.10), python3 (>= 3.9~), python3:any, libspot0 (<< 2.16.1.0-1.1~), libspotltsmin0 (<< 2.16.1.0-1.1~) Suggests: ipython3 Filename: amd64/python3-spot_2.16.1.0-1_amd64.deb Size: 2856424 MD5sum: ae72f9329dd7ea274079135ee64aa293 SHA1: a623867efd40443fa5315abd9f497bb021d7215a SHA256: 3083c734a3042e9a3add8cc25b6d611da32613cfe15cc13d00482fb7c760eeda 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.1.0-1 Auto-Built-Package: debug-symbols Architecture: i386 Maintainer: Alexandre Duret-Lutz Installed-Size: 8560 Depends: python3-spot (= 2.16.1.0-1) Filename: i386/python3-spot-dbgsym_2.16.1.0-1_i386.deb Size: 7804604 MD5sum: 54042716ccb5d3309d9297ea189d21c3 SHA1: f4bdb4bf2d05a41179b3adb6241fcfa7c05d0b29 SHA256: 59dd07964d352643909a76cbadfa3545936074af267536bda1b3bc02f65e2937 Section: debug Priority: optional Description: debug symbols for python3-spot Build-Ids: 350bf69baa1ac5c9967e41842e72d93c93ef7f62 821b41aba9753c266aec7a6736bb1f37d9c37482 856b135c9e4ae28bc7138c591aef11845a82cb31 d224ada95e13156b631e4326648980e2d62c0373 Package: python3-spot-dbgsym Source: spot Version: 2.16.1.0-1 Auto-Built-Package: debug-symbols Architecture: amd64 Maintainer: Alexandre Duret-Lutz Installed-Size: 9017 Depends: python3-spot (= 2.16.1.0-1) Filename: amd64/python3-spot-dbgsym_2.16.1.0-1_amd64.deb Size: 8060064 MD5sum: 41e3fd621669f33db1f4aec1863daef5 SHA1: 9a8c2ea110e3c1b4e8283ef6fabf2d498154f138 SHA256: 9e887439e8758f936998cd8410fa1ea640e1be69d3e5619746c7fe7312d86734 Section: debug Priority: optional Description: debug symbols for python3-spot Build-Ids: 44badcba343a8b9bc236eb3dd1b3666a1fa794b4 698a0b8721d93a06c861b5716086ba46e4a4f3a2 95cd896fb2f834b41cb95ed82e603e607309798a d44d7075c9b83e89021a6ad19bea3d6f17ea88ba Package: spot Version: 2.16.1.0-1 Architecture: i386 Maintainer: Alexandre Duret-Lutz Installed-Size: 4061 Depends: libbddx0 (>= 2.16.1.0), libc6 (>= 2.15), libgcc-s1 (>= 4.2), libspot0 (>= 2.16.1.0-1), libspotgen0 (>= 2.16.1.0-1), libstdc++6 (>= 9), libspot0 (<< 2.16.1.0-1.1~), libspotgen0 (<< 2.16.1.0-1.1~) Recommends: graphviz Suggests: libspot-dev, spot-doc, python3-spot Filename: i386/spot_2.16.1.0-1_i386.deb Size: 1387836 MD5sum: b718644c96c6550270f1f179298e864c SHA1: e28e7d19f6b4a8ad588a14d033c4b090d1571c0a SHA256: acea590034e646fae9a4a92b570cf40ea17b20dfb4a80e29d9057d849a8d0dd7 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 Version: 2.16.1.0-1 Architecture: amd64 Maintainer: Alexandre Duret-Lutz Installed-Size: 4185 Depends: libbddx0 (>= 2.16.1.0), libc6 (>= 2.15), libgcc-s1 (>= 3.3.1), libspot0 (>= 2.16.1.0-1), libspotgen0 (>= 2.16.1.0-1), libstdc++6 (>= 9), libspot0 (<< 2.16.1.0-1.1~), libspotgen0 (<< 2.16.1.0-1.1~) Recommends: graphviz Suggests: libspot-dev, spot-doc, python3-spot Filename: amd64/spot_2.16.1.0-1_amd64.deb Size: 1373868 MD5sum: acc875325110cc5c6e0a19585947f2d7 SHA1: 5acfaf388e4e8a8830c20d1494afb622335fbd6b SHA256: a773081992a2de0a10b56fc5334e85141677aa7f3de5b129f3370deda58546f1 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.1.0-1 Auto-Built-Package: debug-symbols Architecture: i386 Maintainer: Alexandre Duret-Lutz Installed-Size: 11753 Depends: spot (= 2.16.1.0-1) Filename: i386/spot-dbgsym_2.16.1.0-1_i386.deb Size: 10456796 MD5sum: f5ef6a15ed58b2253af926cbe90cfdcb SHA1: b7c0a189edc12db1164823649dfd6ccc6313b618 SHA256: be7ad04702ad42a00cdf788971747775d2eb84821ace663322fd5b35c20f01f1 Section: debug Priority: optional Description: debug symbols for spot Build-Ids: 0d35d70f39cadfb9df9a35100a76af41f19f2e0c 0f64f0c098c3b2ddef9bd485e0bdfe54a88315e4 22f151083191763e054dc6173ce049803791bb60 2f0ff6f5d07c420537a7d43436fd87bda7b8734f 33605cae80905aa6ae7d361407640025ff7dbb25 3972fc2c5c6459e5f8377979c37c42ff6451255c 4fc9e10f833ad105bf7da7773df76e5880da477d 5ff953b2df495a35a93baa0a89b22a8775e8ae12 6bae5f1ab8d257508882bdec9be57874838283f2 6cf4c3076bd366119e967058b6811e7dc961d98f 7d8b2db0a7515ce7bb16376c324ac2e1b9cc2db4 800f3160e68e40b96d6a6e5b7495a73bfcd4cb76 a5aae38bcc6feffd0a4156eab61ef05ba38a91f3 b267a6e48c64f8aff749ab56e1884ee6f36340ff b670a452b425e8c07672751287c8a0143f6343c3 d25aa0c72cac1811c93c461712301ce677aa97cf d6c177478c1688d0169e47842a16fff923670811 d6de96431ac1ce9964d7a8ea5729836cb0fa93cc Package: spot-dbgsym Source: spot Version: 2.16.1.0-1 Auto-Built-Package: debug-symbols Architecture: amd64 Maintainer: Alexandre Duret-Lutz Installed-Size: 12480 Depends: spot (= 2.16.1.0-1) Filename: amd64/spot-dbgsym_2.16.1.0-1_amd64.deb Size: 10780504 MD5sum: 2ab2563aa0023c5ba14c5e4f5d6a106a SHA1: 675ee0dcd448fb7571ac0ce8c3ac1c418e11bbed SHA256: 1783c5acd65f926336695feef36192ade26ec26ad509d36e3f86b20f1615d0dc Section: debug Priority: optional Description: debug symbols for spot Build-Ids: 06cae2ca2cba00e431fc4708e2a48d4ef23e43f5 18416402fece32f4fa0161e8d4b7fa9be42b911c 1859ac4be0977b0381c1783dc204c05b6165ba94 307f6c02ceab5d72281e45569d5cd6714f6047c4 32eaae51d821eb541563da196fe1fe5913d2d5ce 3dd454947444d335664847f0468ae9f27ada8873 4dd3a5b4a056ce292a56a034876b56efa3a366e0 52293f9a2199f058c267d2bbb05aff9fce6def65 5c211ea31dca52f7448721857d6646da8f8835ec 65e90145cd014bff0e441fd32adc9d5bd81d6490 80f23bc2a18159268718b3d014bf1e9eaf4a82fa 839f15217ac3dd09a563984bac2100c650c0b11a 997ca642032c658e27ed74fd6e6cb17d9ea772d9 a0e6b0bb38b19baafce9bdcd4b1d5c1b39d559eb b405786af7e69544e95532da2fff824223eb1ac9 c8d4de387498d8e79bccf7f7b6f0bc775c88615d d80f01cc8c384a8c8bf07c5f3ce4a1534ee58501 ec48a1e4d981ee7a91881bfaf2b7b95cc4fc1557 Package: spot-doc Source: spot Version: 2.16.1.0-1 Architecture: all Maintainer: Alexandre Duret-Lutz Installed-Size: 30574 Depends: libjs-mathjax, libjs-jquery, libjs-requirejs Filename: all/spot-doc_2.16.1.0-1_all.deb Size: 2460972 MD5sum: 5a7945553a2bd2c06f57ac1789484956 SHA1: 4a8ab9260cffaf8b67da56f1790aeef39c13ad4c SHA256: 39c94d27265991e067d34af03cba8a90c1eb9d3a213a2bdd4f1e76192133a9e2 Section: doc Priority: optional Homepage: http://spot.lrde.epita.fr/ Description: documentation for Spot HTML and PDF documentation for Spot.