Package: libbddx-dev Source: spot Version: 2.16.0-1 Architecture: i386 Maintainer: Alexandre Duret-Lutz Installed-Size: 396 Depends: libbddx0 (>= 2.16.0-1), libbddx0 (<< 2.16.0-1.1~) Filename: i386/libbddx-dev_2.16.0-1_i386.deb Size: 113216 MD5sum: 80ac642ade12e73c7283efd1acf30366 SHA1: e1460d0de04c0ec822987f53cec298690a47f415 SHA256: 6c8cfc51b63d123ca0ee2bcf954a18ec4114aed73f6b7bb984e6a6fb879b6828 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.0-1 Architecture: amd64 Maintainer: Alexandre Duret-Lutz Installed-Size: 452 Depends: libbddx0 (>= 2.16.0-1), libbddx0 (<< 2.16.0-1.1~) Filename: amd64/libbddx-dev_2.16.0-1_amd64.deb Size: 107448 MD5sum: d24d41d6dc38b83065cbf6f95f86ba7c SHA1: d8632ffc3ebbe98859d20a2aeec264aa77b4a8ce SHA256: b2712075eea0323ebec3b65f118a9d6c4a2d323057fddd3820796411d1cde00b 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: 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.0-1_i386.deb Size: 85844 MD5sum: c039374a71a048485e92ec357ed90504 SHA1: 5959cb805c9ea6d658a42c5bbc0cdfaec2ec2624 SHA256: 0d03241ddda1e190f68fb1c511f5115c0e907c96f6bc519333a49309783b5527 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.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.0-1_amd64.deb Size: 87588 MD5sum: c5667014bf1058e1eb2f7b509755f8e3 SHA1: 3caab6845df337897f059aa3b03499199ab57e06 SHA256: b65e62b771be6fe8f5e5abe925f2c1d732a839deab1817f207842ab1501957b5 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: i386 Maintainer: Alexandre Duret-Lutz Installed-Size: 401 Depends: libbddx0 (= 2.16.0-1) Filename: i386/libbddx0-dbgsym_2.16.0-1_i386.deb Size: 367052 MD5sum: 53baaec8ed8178fd17513cea7585c80e SHA1: 5d222d52e865ed1a500fac31caac5a21440d2d53 SHA256: 4ccf02a16fd4df5a2793bb8389fb3ba01e2204abf9ccbbafad558d951d5510d6 Section: debug Priority: optional Description: debug symbols for libbddx0 Build-Ids: 61fc3a8cff357bd08c51f9577935e2a6ec684e1a Package: libbddx0-dbgsym Source: spot Version: 2.16.0-1 Auto-Built-Package: debug-symbols Architecture: amd64 Maintainer: Alexandre Duret-Lutz Installed-Size: 420 Depends: libbddx0 (= 2.16.0-1) Filename: amd64/libbddx0-dbgsym_2.16.0-1_amd64.deb Size: 373892 MD5sum: 8eb2feedef733ac580a9e1113dd8b0a4 SHA1: 2285ed09760da254d44a4c2704148ee56db1b64a SHA256: ea4497333c64205d9c3db8359768fcf3534f96b5157580f845fbeb09c04353da Section: debug Priority: optional Description: debug symbols for libbddx0 Build-Ids: ed36702e05d35e3eb4bc2e4d73510b2eade3c7a4 Package: libspot-dev Source: spot Version: 2.16.0-1 Architecture: i386 Maintainer: Alexandre Duret-Lutz Installed-Size: 16132 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: i386/libspot-dev_2.16.0-1_i386.deb Size: 3415200 MD5sum: b65311a8bced4e4a8b5158327876779c SHA1: 9817f058645ebcfb3cd906d948f2cf9a1e0289dc SHA256: c7edd942fd26c591ce68eba0f6ca3a9f7ded487a803602bd6787b4586ad4febc 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.0-1 Architecture: amd64 Maintainer: Alexandre Duret-Lutz Installed-Size: 18921 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: amd64/libspot-dev_2.16.0-1_amd64.deb Size: 3267980 MD5sum: 8e6d53f4d16e0c7799f688af1d80a44b SHA1: 7c807129605d727ac9e7dd00fa4f744e970043c8 SHA256: 4827e2087d4524a117a00062e66c83bbbbe7b5f6a5c9726014dd5a6fc9c1e823 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: i386 Maintainer: Alexandre Duret-Lutz Installed-Size: 5139 Depends: libbddx0 (>= 2.16.0-1), libc6 (>= 2.17), libgcc-s1 (>= 3.4), libstdc++6 (>= 9), libbddx0 (<< 2.16.0-1.1~) Recommends: graphviz Suggests: libspot-dev, spot-doc, python3-spot Filename: i386/libspot0_2.16.0-1_i386.deb Size: 2430440 MD5sum: d7b6e8db0680e1d607e877aa8d593571 SHA1: faa70bf50243ac6292cf31c57a8a1cc7ae341355 SHA256: fc35927744922fc541a0c87271bfc6d77d02a99127eb3f1dd0001b252a57c388 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.0-1 Architecture: amd64 Maintainer: Alexandre Duret-Lutz Installed-Size: 4958 Depends: libbddx0 (>= 2.16.0-1), libc6 (>= 2.29), libgcc-s1 (>= 3.4), libstdc++6 (>= 9), libbddx0 (<< 2.16.0-1.1~) Recommends: graphviz Suggests: libspot-dev, spot-doc, python3-spot Filename: amd64/libspot0_2.16.0-1_amd64.deb Size: 2349828 MD5sum: 77c869af96110357a7af2fe0c2e1c70a SHA1: 3077be167ade611eea0f8270382459340976a5bd SHA256: 457481e73a8da83bac9f8ae7a1469b77a801029172a329286a2a4c7cbc68fc96 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: i386 Maintainer: Alexandre Duret-Lutz Installed-Size: 31573 Depends: libspot0 (= 2.16.0-1) Filename: i386/libspot0-dbgsym_2.16.0-1_i386.deb Size: 30769936 MD5sum: 1801297a446db75f83add5b82f6718a1 SHA1: a4fe80842f70a1db45842280c7e296cbc7692158 SHA256: 2c02c06d36a5fa0e543ccbe6d7eb707f608ddcf64cf4cf0d6fe333f33e5d6f1a Section: debug Priority: optional Description: debug symbols for libspot0 Build-Ids: 2f9188d2714a8648e92c765362b388e0bd6059c5 Package: libspot0-dbgsym Source: spot Version: 2.16.0-1 Auto-Built-Package: debug-symbols Architecture: amd64 Maintainer: Alexandre Duret-Lutz Installed-Size: 32385 Depends: libspot0 (= 2.16.0-1) Filename: amd64/libspot0-dbgsym_2.16.0-1_amd64.deb Size: 31192156 MD5sum: 90894bcb81a2e261c34b70b110f480e6 SHA1: 03b9706dd152c3cd620221073b0dce060b853787 SHA256: 27e0ce061bde8a2d87d6115d0e09508d0f79cfd1856f3b6dabf90167199095a7 Section: debug Priority: optional Description: debug symbols for libspot0 Build-Ids: 20ef94a5da5aef171380c1a5e031865bb5012d4b Package: libspotgen0 Source: spot Version: 2.16.0-1 Architecture: i386 Maintainer: Alexandre Duret-Lutz Installed-Size: 569 Depends: libbddx0 (>= 2.16.0), libc6 (>= 2.1.3), libgcc-s1 (>= 3.3.1), libspot0 (>= 2.16.0-1), libstdc++6 (>= 9), libspot0 (<< 2.16.0-1.1~) Suggests: libspot-dev Filename: i386/libspotgen0_2.16.0-1_i386.deb Size: 447016 MD5sum: 0b3f038455453ff6a8440c36b0855432 SHA1: 08d706956bbb287b324a1178ac51ad721d63da10 SHA256: 8378c5811898ffba24422f7501b2d878494e9d0757b7a20ac70ab0ad04ca004c 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.0-1 Architecture: amd64 Maintainer: Alexandre Duret-Lutz Installed-Size: 574 Depends: libbddx0 (>= 2.16.0), libc6 (>= 2.29), libgcc-s1 (>= 3.3.1), libspot0 (>= 2.16.0-1), libstdc++6 (>= 9), libspot0 (<< 2.16.0-1.1~) Suggests: libspot-dev Filename: amd64/libspotgen0_2.16.0-1_amd64.deb Size: 443524 MD5sum: 447893f3e3c85b817d33d9b20497c5c5 SHA1: a3ca75af476f14f7164e4934dd111ce509d93c00 SHA256: 11bbc1a38ebfca4a35f803bb963796fe14192dd50acac99ccc21e6de022779d2 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: i386 Maintainer: Alexandre Duret-Lutz Installed-Size: 772 Depends: libspotgen0 (= 2.16.0-1) Filename: i386/libspotgen0-dbgsym_2.16.0-1_i386.deb Size: 743656 MD5sum: 977fe63df8aecae4546cd35c11f2bd05 SHA1: a7516e041f83c30dfa801c3f1b7e61a6135b92a7 SHA256: 23d2eb0533adf99543e8470684539756bac20dd0e2739ffe67c579ac57cdee82 Section: debug Priority: optional Description: debug symbols for libspotgen0 Build-Ids: 930c93d99db89821f1629ec1706917ca58344167 Package: libspotgen0-dbgsym Source: spot Version: 2.16.0-1 Auto-Built-Package: debug-symbols Architecture: amd64 Maintainer: Alexandre Duret-Lutz Installed-Size: 792 Depends: libspotgen0 (= 2.16.0-1) Filename: amd64/libspotgen0-dbgsym_2.16.0-1_amd64.deb Size: 751000 MD5sum: 5d72e85c214f8568e091c3dca72b31f9 SHA1: 617438530b09cdbb3465ecde675011915be0db3f SHA256: a18bb318d52a02e8837dcf7090e92086eb5ad5a4b38bdcad4eba6b2bf1d7974e Section: debug Priority: optional Description: debug symbols for libspotgen0 Build-Ids: 25980bcf017dc5b250ee03e87daec250b1b9668a Package: libspotltsmin0 Source: spot Version: 2.16.0-1 Architecture: i386 Maintainer: Alexandre Duret-Lutz Installed-Size: 453 Depends: libbddx0 (>= 2.16.0), libc6 (>= 2.3.6-6~), libgcc-s1 (>= 3.3.1), libltdl7 (>= 2.4.6), libspot0 (>= 2.16.0-1), libstdc++6 (>= 9), libspot0 (<< 2.16.0-1.1~) Suggests: libspot-dev Filename: i386/libspotltsmin0_2.16.0-1_i386.deb Size: 401808 MD5sum: afca3a9ef071aba87c4bc13b95fff923 SHA1: d62b8dde4d71d1b4dc0dce56fe07b9690280258a SHA256: 626c42f24a26167a0cce951fafdcc1ae74a72b915d4747d3fbfa370bc7153ee5 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.0-1 Architecture: amd64 Maintainer: Alexandre Duret-Lutz Installed-Size: 450 Depends: libbddx0 (>= 2.16.0), libc6 (>= 2.2.5), libgcc-s1 (>= 3.3.1), libltdl7 (>= 2.4.6), libspot0 (>= 2.16.0-1), libstdc++6 (>= 9), libspot0 (<< 2.16.0-1.1~) Suggests: libspot-dev Filename: amd64/libspotltsmin0_2.16.0-1_amd64.deb Size: 399252 MD5sum: 7bc48634f4aa93ec5f696d5b3ab92dc4 SHA1: 8dea0d28096880b70d35610a5a1851db486acd9a SHA256: e6d6f7427c1b47accacb22f4892e871be2c3b2fa874391de938eef368f1bac54 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: i386 Maintainer: Alexandre Duret-Lutz Installed-Size: 699 Depends: libspotltsmin0 (= 2.16.0-1) Filename: i386/libspotltsmin0-dbgsym_2.16.0-1_i386.deb Size: 658436 MD5sum: 615fc5c36882a991f71747aec3af9e36 SHA1: 2b63e3f4c54fe50fa5f630f96469ce37a23ed258 SHA256: 49a4c138626abbccb50f472b6005bb55d903c3665dd6388e418f908be5610233 Section: debug Priority: optional Description: debug symbols for libspotltsmin0 Build-Ids: 258ff8013457762733b78363cb7be7e9095224bc Package: libspotltsmin0-dbgsym Source: spot Version: 2.16.0-1 Auto-Built-Package: debug-symbols Architecture: amd64 Maintainer: Alexandre Duret-Lutz Installed-Size: 725 Depends: libspotltsmin0 (= 2.16.0-1) Filename: amd64/libspotltsmin0-dbgsym_2.16.0-1_amd64.deb Size: 666208 MD5sum: c68e9ca7e37fd7c0624c4347081bfd89 SHA1: f3a53edfd4dc6df635aca964c25d790735ffaf37 SHA256: d21edca4a553c85331836887b9d521bcb6274235ae76ccf9de89dc880677f81d Section: debug Priority: optional Description: debug symbols for libspotltsmin0 Build-Ids: f31ad5fe0290829ec86758546f41c319d4188cef Package: python3-spot Source: spot Version: 2.16.0-1 Architecture: i386 Maintainer: Alexandre Duret-Lutz Installed-Size: 39480 Depends: libbddx0 (>= 2.16.0), libc6 (>= 2.3.6-6~), libgcc-s1 (>= 3.4), libspot0 (>= 2.16.0-1), libspotgen0 (>= 2.16.0), libspotltsmin0 (>= 2.16.0-1), libstdc++6 (>= 9), python3 (<< 3.10), python3 (>= 3.9~), python3:any, libspot0 (<< 2.16.0-1.1~), libspotltsmin0 (<< 2.16.0-1.1~) Suggests: ipython3 Filename: i386/python3-spot_2.16.0-1_i386.deb Size: 2879784 MD5sum: 82ec0eea7421add55792f9913d7d65de SHA1: 583283fd3d70ded0747259e4c80dbab3a9d1ac44 SHA256: 7e698a9ef4b18b5ddeac987e3a445800409066ba02f91e40236facbad455f946 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.0-1 Architecture: amd64 Maintainer: Alexandre Duret-Lutz Installed-Size: 39841 Depends: libbddx0 (>= 2.16.0), libc6 (>= 2.14), libgcc-s1 (>= 3.4), libspot0 (>= 2.16.0-1), libspotgen0 (>= 2.16.0), libspotltsmin0 (>= 2.16.0-1), libstdc++6 (>= 9), python3 (<< 3.10), python3 (>= 3.9~), python3:any, libspot0 (<< 2.16.0-1.1~), libspotltsmin0 (<< 2.16.0-1.1~) Suggests: ipython3 Filename: amd64/python3-spot_2.16.0-1_amd64.deb Size: 2859284 MD5sum: 9ea69bc333a92ce794959442b27f3389 SHA1: 6b5eccb7107d884b4197bf67cea7c69ac7be5b5a SHA256: 93069d27b0d400badf89aab5d9ae8444d2c7172a8355a23400af43e10d7346d7 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: i386 Maintainer: Alexandre Duret-Lutz Installed-Size: 8607 Depends: python3-spot (= 2.16.0-1) Filename: i386/python3-spot-dbgsym_2.16.0-1_i386.deb Size: 7849980 MD5sum: 2c4c58bc3a14b2ce3f01381c03201d3b SHA1: 8343740449936edfc48f40a6a3019c6a8f45b119 SHA256: df830d7f149145ec38ec7f9488872d707327c1f46ab6abd3eb569472fb201f66 Section: debug Priority: optional Description: debug symbols for python3-spot Build-Ids: 350bf69baa1ac5c9967e41842e72d93c93ef7f62 a433cfb15e2bdca36a00ecbc4d851988d45765a1 d224ada95e13156b631e4326648980e2d62c0373 ef125e6f16a318c943cc24aa4c9a2e21ef6376af Package: python3-spot-dbgsym Source: spot Version: 2.16.0-1 Auto-Built-Package: debug-symbols Architecture: amd64 Maintainer: Alexandre Duret-Lutz Installed-Size: 9063 Depends: python3-spot (= 2.16.0-1) Filename: amd64/python3-spot-dbgsym_2.16.0-1_amd64.deb Size: 8104840 MD5sum: 9923680d3dc0558dd94cd0da83a1d7ef SHA1: 796b21e3bbe4f51a1a794d39159078cf2941c25d SHA256: 7a041b4bc54ec546d4a9164e37a723b2c91980326c78f1b92a83ef55c4fd8ac5 Section: debug Priority: optional Description: debug symbols for python3-spot Build-Ids: 30a772b3259d91bfba5b8ce46d98e21ff82a1d3e 698a0b8721d93a06c861b5716086ba46e4a4f3a2 8013f0ef24b80393b1f7a460a8c58af310f1467f d44d7075c9b83e89021a6ad19bea3d6f17ea88ba Package: spot Version: 2.16.0-1 Architecture: i386 Maintainer: Alexandre Duret-Lutz Installed-Size: 4049 Depends: libbddx0 (>= 2.16.0), libc6 (>= 2.15), libgcc-s1 (>= 4.2), libspot0 (>= 2.16.0-1), libspotgen0 (>= 2.16.0-1), libstdc++6 (>= 9), libspot0 (<< 2.16.0-1.1~), libspotgen0 (<< 2.16.0-1.1~) Recommends: graphviz Suggests: libspot-dev, spot-doc, python3-spot Filename: i386/spot_2.16.0-1_i386.deb Size: 1384464 MD5sum: 48196b2bfdd0a4672c2ff439f86aeacc SHA1: d8bf168db3208def33b591406b603019caf90ee2 SHA256: 0d6cba9fd55c15c9cf7ade940444510ba1548685e3ef0802a5ada1ddbc456be8 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.0-1 Architecture: amd64 Maintainer: Alexandre Duret-Lutz Installed-Size: 4181 Depends: libbddx0 (>= 2.16.0), libc6 (>= 2.15), libgcc-s1 (>= 3.3.1), libspot0 (>= 2.16.0-1), libspotgen0 (>= 2.16.0-1), libstdc++6 (>= 9), libspot0 (<< 2.16.0-1.1~), libspotgen0 (<< 2.16.0-1.1~) Recommends: graphviz Suggests: libspot-dev, spot-doc, python3-spot Filename: amd64/spot_2.16.0-1_amd64.deb Size: 1370860 MD5sum: c44c1fc077f03d54ee58c6ce87ddceb8 SHA1: b363a08c298301de1bd65184c2cba5e89f815b2f SHA256: b37c990e3f63ff7ef2c402b503748d0040e5b5b77008b29398b736a53950cf0e 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: i386 Maintainer: Alexandre Duret-Lutz Installed-Size: 11749 Depends: spot (= 2.16.0-1) Filename: i386/spot-dbgsym_2.16.0-1_i386.deb Size: 10457500 MD5sum: d9c0a31f68f717b2948e4dcb906753d7 SHA1: cad61fd373c87ebfc6cc90a4d9063c0a36acbb9c SHA256: bc786e8c81267b4d7483507c2e0320e0f454e8c3e8596ac7c6ce494a7f98c53f Section: debug Priority: optional Description: debug symbols for spot Build-Ids: 02dd986e108253cbf7434d16385cc686161412c7 2f60a8d02d9c93dd454c2fbcd9bbc4a199095852 3a9481c7d4fd35dfaba91c5ae56bfb50825d3a56 521a681cbcb1b4bcc73a7b877736cf3a071a2824 522bab7131e3eb4d5ca3a6ea689e15756eb84b33 71086e539282201cf862a25bb3056cfe79eb959e 73cdafae23a1c227e22da123fc84931e7f8a6389 74a56bffd83ae97873a32aabada5763f171eca0e 8ba510bedee7802a41acfb6f5fceb95ba0658f8a 94100ad344b58fa7c87471a1ee56c029a61c8b47 a5908e6e0f8c10021ec4078b183f989bd478fdb0 a9a487f661a8b41b755e51df08f86c55eb198df1 a9ffdf2575fe5af259f3b9f6e1dddc0ef55da370 be8a1f575d576e266027da86c962be44c246d9b6 c85e673eb28105db316e680ecef7acece80f273d d426a257823196277cc4672f59dd84bce7a08740 d4c7f988743cc84882f5909b196bfce8c711955c e6bbc52c875342b5c040f23f45d8f7e7a2f2d77c Package: spot-dbgsym Source: spot Version: 2.16.0-1 Auto-Built-Package: debug-symbols Architecture: amd64 Maintainer: Alexandre Duret-Lutz Installed-Size: 12478 Depends: spot (= 2.16.0-1) Filename: amd64/spot-dbgsym_2.16.0-1_amd64.deb Size: 10777600 MD5sum: 1e9ce8e85a66ce0983dcb5115a9190b0 SHA1: 424aaded515b850c14d25d14918f21b71c34ba7f SHA256: aceabe8ffc11f7aa48f63b93e8b610ffb1b467731ecb364e23999893b06ba1b7 Section: debug Priority: optional Description: debug symbols for spot Build-Ids: 06cb0501bfe51c77c203e26c081ada04f83ad440 2a63834441e0e68ad2d5aa3c7fdcb1aa92e330f0 2b5995df99dc1085b4297ce59eb0970f6f250849 3214ffddd469a016bb2ccead746e087dca42f04a 3547fe87509c49e9f9f9fa21ccda363b2906b909 3e6e91c23ed56e4d22fff5407cf5852825a3eb8b 51a342fc5ff53002d5acb703008458e0f97f03a7 533b12de17eed3955081eb517e1bb8034779f635 6625b8079bea1a924c3b51f630113a7f64657344 726cb1740bebd0fa90480c00beb9e96f0b6e6f0a 74ded5106d9551ba51961b17b6f3a444fcbd6bab 8ad55ccc4c06093dc73fa04fd444d45cb1cf2293 8f0c3a8717aaf3d069a06297855d30b29b885388 a1018e722f1e98344291cc5aab67fbcb5cb074f9 bd0157e5b6e211fefabb93e9fa34647157352f92 bd019e3906af9cab13a5f7e0e15bf693eeb22cd4 d58fc78963747b336fee7da7678e421551d3af4c e90891ea75b4a41f31f19013f7c793fb6efb409f Package: spot-doc Source: spot Version: 2.16.0-1 Architecture: all Maintainer: Alexandre Duret-Lutz Installed-Size: 30564 Depends: libjs-mathjax, libjs-jquery, libjs-requirejs Filename: all/spot-doc_2.16.0-1_all.deb Size: 2455080 MD5sum: 6634bd63e46f5a0f3900f93fca1a2933 SHA1: f4ea561d21eb99a31169a993ec3d71343a7a90e9 SHA256: 25020d5bfe9d49e14b98156fc5be18c3a3c05c5ce7370fcc5534f96f80ab9bf9 Section: doc Priority: optional Homepage: http://spot.lrde.epita.fr/ Description: documentation for Spot HTML and PDF documentation for Spot.