Package: libbddx-dev Source: spot Version: 2.15.1.0-1 Architecture: i386 Maintainer: Alexandre Duret-Lutz Installed-Size: 363 Depends: libbddx0 (>= 2.15.1.0-1), libbddx0 (<< 2.15.1.0-1.1~) Filename: i386/libbddx-dev_2.15.1.0-1_i386.deb Size: 102576 MD5sum: 1994484120f49e15210f2fb11f0527bc SHA1: db863ffcc9446e2ccda00a1fb217bdfbe62a0325 SHA256: 68711bf3355a722870321558b1e50326bdcfd8716947e57eb9be622b92302972 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.15.1.0-1 Architecture: amd64 Maintainer: Alexandre Duret-Lutz Installed-Size: 413 Depends: libbddx0 (>= 2.15.1.0-1), libbddx0 (<< 2.15.1.0-1.1~) Filename: amd64/libbddx-dev_2.15.1.0-1_amd64.deb Size: 97284 MD5sum: a0af7e2b27728d4e7c69e14aa8f14a74 SHA1: 1afd43dc3d40df1434b18217597eb09ee9dbfe23 SHA256: bb6056f1849b98b66a09f3cbe74d610350047c1f982d5454bb0e8c3472a2df5d 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.15.1.0-1 Architecture: i386 Maintainer: Alexandre Duret-Lutz Installed-Size: 183 Depends: libc6 (>= 2.29), libgcc-s1 (>= 3.3.1), libstdc++6 (>= 5) Recommends: graphviz Suggests: libbddx-dev Filename: i386/libbddx0_2.15.1.0-1_i386.deb Size: 77980 MD5sum: bfb36cb993a236fd1f64b47143dd44de SHA1: 4c21fbe95accd7eb8765ae6c50accdb479818fce SHA256: 16487b2baa83a9002465edd547bef5da3a66dd7ee10388c2e49b4388a74a4d65 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.15.1.0-1 Architecture: amd64 Maintainer: Alexandre Duret-Lutz Installed-Size: 176 Depends: libc6 (>= 2.29), libgcc-s1 (>= 3.3.1), libstdc++6 (>= 5) Recommends: graphviz Suggests: libbddx-dev Filename: amd64/libbddx0_2.15.1.0-1_amd64.deb Size: 79048 MD5sum: aa0a0b169978a5b8dd09e013fd505020 SHA1: 0e4fab5a59752c7e2e960a35ddc0796df82dc233 SHA256: b989f2015436cc5936f11089e126a7f8cae724e2ea1a29772ac0d2259245dea6 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.15.1.0-1 Auto-Built-Package: debug-symbols Architecture: i386 Maintainer: Alexandre Duret-Lutz Installed-Size: 290 Depends: libbddx0 (= 2.15.1.0-1) Filename: i386/libbddx0-dbgsym_2.15.1.0-1_i386.deb Size: 258460 MD5sum: ed7dc7e33f242d642fd86e2bd32fb2f3 SHA1: bbf89276bb09634d534b63867541669e399f42a4 SHA256: 08ae7bd48164bf3813df4e22208d885161b2988f9b5fd664c6f73b874960ccc9 Section: debug Priority: optional Description: debug symbols for libbddx0 Build-Ids: fa21ef46a160e403a06b6ef45ee159b068f1a84a Package: libbddx0-dbgsym Source: spot Version: 2.15.1.0-1 Auto-Built-Package: debug-symbols Architecture: amd64 Maintainer: Alexandre Duret-Lutz Installed-Size: 308 Depends: libbddx0 (= 2.15.1.0-1) Filename: amd64/libbddx0-dbgsym_2.15.1.0-1_amd64.deb Size: 265948 MD5sum: d69b56ec2b82a38cad6007e8a57f53d0 SHA1: 3078c0b07d528278b24c768962a06634c57fe64f SHA256: 4f7210cb52be68299cb58919ff1580cfa1ea75b4933e3488154c764df4ce1d51 Section: debug Priority: optional Description: debug symbols for libbddx0 Build-Ids: 048f9a007501b9185a3d00aaf37d9e96ad82f497 Package: libspot-dev Source: spot Version: 2.15.1.0-1 Architecture: i386 Maintainer: Alexandre Duret-Lutz Installed-Size: 15489 Depends: libspot0 (>= 2.15.1.0-1), libspot0 (<< 2.15.1.0-1.1~), libspotltsmin0 (>= 2.15.1.0-1), libspotltsmin0 (<< 2.15.1.0-1.1~), libbddx-dev Suggests: spot-doc Filename: i386/libspot-dev_2.15.1.0-1_i386.deb Size: 3277856 MD5sum: 347902dfbfd193b4280c532e40bc3229 SHA1: 4e1fe3b31d23c1bfcd076955f757bc22ac504bba SHA256: 0857ee0e917fe959d57763bae3325c6ebf3fa4ff3b9b2a069844e3620f017333 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.15.1.0-1 Architecture: amd64 Maintainer: Alexandre Duret-Lutz Installed-Size: 18174 Depends: libspot0 (>= 2.15.1.0-1), libspot0 (<< 2.15.1.0-1.1~), libspotltsmin0 (>= 2.15.1.0-1), libspotltsmin0 (<< 2.15.1.0-1.1~), libbddx-dev Suggests: spot-doc Filename: amd64/libspot-dev_2.15.1.0-1_amd64.deb Size: 3137536 MD5sum: 9f59311cdbf1545bedcd7da5fc66f4e1 SHA1: 40ddc4ff5c0dfeed4cdd4fa73e03c406132e28b7 SHA256: 08ecff02db2be59edeedadfe17820210b79a71f534b2d5756c073e1f5d5e9131 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.15.1.0-1 Architecture: i386 Maintainer: Alexandre Duret-Lutz Installed-Size: 4664 Depends: libbddx0 (>= 2.15.1.0-1), libc6 (>= 2.17), libgcc-s1 (>= 3.4), libstdc++6 (>= 9), libbddx0 (<< 2.15.1.0-1.1~) Recommends: graphviz Suggests: libspot-dev, spot-doc, python3-spot Filename: i386/libspot0_2.15.1.0-1_i386.deb Size: 2225400 MD5sum: 661172bb5adf04310c4729750fd345a5 SHA1: fc1c68115405c83e719fa9b525df17cf6ccd68b6 SHA256: 35c211dfef13e27b2082b94d6817dd9991716f3a66915f4e353f7b74e30d044b 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.15.1.0-1 Architecture: amd64 Maintainer: Alexandre Duret-Lutz Installed-Size: 4515 Depends: libbddx0 (>= 2.15.1.0-1), libc6 (>= 2.29), libgcc-s1 (>= 3.4), libstdc++6 (>= 9), libbddx0 (<< 2.15.1.0-1.1~) Recommends: graphviz Suggests: libspot-dev, spot-doc, python3-spot Filename: amd64/libspot0_2.15.1.0-1_amd64.deb Size: 2151184 MD5sum: cf7ee7bf904dea584d90b8e77261a22a SHA1: 9ea52f08835c60fc31d0f9c1673ca34650cd3254 SHA256: a61cccd0c1649e1bb8c6457d830444aad2f37186cf9c1d91e2a6a8480873f132 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.15.1.0-1 Auto-Built-Package: debug-symbols Architecture: i386 Maintainer: Alexandre Duret-Lutz Installed-Size: 29446 Depends: libspot0 (= 2.15.1.0-1) Filename: i386/libspot0-dbgsym_2.15.1.0-1_i386.deb Size: 28643084 MD5sum: 729e8b93bfa89851657d2ac91b0d7818 SHA1: 2ab2aa0503681cfc7b4f31d2b05693b28521cc55 SHA256: a8c1b616897967c9ba8215dbab38cafd7a34adc53e2489d0e29c7956ce46a314 Section: debug Priority: optional Description: debug symbols for libspot0 Build-Ids: 7482b362c0f869f68a40f6522a62c330d4419021 Package: libspot0-dbgsym Source: spot Version: 2.15.1.0-1 Auto-Built-Package: debug-symbols Architecture: amd64 Maintainer: Alexandre Duret-Lutz Installed-Size: 30227 Depends: libspot0 (= 2.15.1.0-1) Filename: amd64/libspot0-dbgsym_2.15.1.0-1_amd64.deb Size: 29057192 MD5sum: 5f260265686def6c7c51f4590ee16d65 SHA1: 4a5af39ae3f9fbfeda0d44b7d9e7f01cab97685c SHA256: c5cb6f043597da6cbc196fb88027a9b6e14f54d686d3f5852639372c2f5c308c Section: debug Priority: optional Description: debug symbols for libspot0 Build-Ids: eb5feabdae46efb13a05244f43b1aa6c6e2cacc3 Package: libspotgen0 Source: spot Version: 2.15.1.0-1 Architecture: i386 Maintainer: Alexandre Duret-Lutz Installed-Size: 566 Depends: libbddx0 (>= 2.15.1.0), libc6 (>= 2.1.3), libgcc-s1 (>= 3.3.1), libspot0 (>= 2.15.1.0-1), libstdc++6 (>= 9), libspot0 (<< 2.15.1.0-1.1~) Suggests: libspot-dev Filename: i386/libspotgen0_2.15.1.0-1_i386.deb Size: 437056 MD5sum: 5478582e4ae37af7a3b5a5397fd0bf0c SHA1: 0721f0a1bf9c00078d57223cbf5c570e393c7fd7 SHA256: a4ccde2d6fd4d0f72a08d6b4b3e8da246101dc116ee465d5ae9bcce84d6c862c 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.15.1.0-1 Architecture: amd64 Maintainer: Alexandre Duret-Lutz Installed-Size: 567 Depends: libbddx0 (>= 2.15.1.0), libc6 (>= 2.29), libgcc-s1 (>= 3.3.1), libspot0 (>= 2.15.1.0-1), libstdc++6 (>= 9), libspot0 (<< 2.15.1.0-1.1~) Suggests: libspot-dev Filename: amd64/libspotgen0_2.15.1.0-1_amd64.deb Size: 434548 MD5sum: 930ae54c665c501c59a9fcb874742b1e SHA1: 7ad3209ae25455a056353d8dde24e2e06f6e6a36 SHA256: a3a740d92faa3cb7c0807817a8c6f947ea24e8a9f711473df9767676bc120928 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.15.1.0-1 Auto-Built-Package: debug-symbols Architecture: i386 Maintainer: Alexandre Duret-Lutz Installed-Size: 773 Depends: libspotgen0 (= 2.15.1.0-1) Filename: i386/libspotgen0-dbgsym_2.15.1.0-1_i386.deb Size: 744536 MD5sum: eb277fa750ba8ef4a3459ca73c60dbd9 SHA1: 2773e4eeaa3f0a72fec0d07e372d6cf10d8cc254 SHA256: cecd25144b0e75d5d7909446ed154de06e8d30fa659df94d26c47a13955d46c7 Section: debug Priority: optional Description: debug symbols for libspotgen0 Build-Ids: aafab7137d80543dd2e9e9459e02b7511bc978c5 Package: libspotgen0-dbgsym Source: spot Version: 2.15.1.0-1 Auto-Built-Package: debug-symbols Architecture: amd64 Maintainer: Alexandre Duret-Lutz Installed-Size: 796 Depends: libspotgen0 (= 2.15.1.0-1) Filename: amd64/libspotgen0-dbgsym_2.15.1.0-1_amd64.deb Size: 755892 MD5sum: 6634f7b5ea123b3d7db76bdd0d78ab30 SHA1: d517b398b1ff1be20b7dad38717dc4c7a33550fb SHA256: 16caf551aba79426f828941f5f3934a40a27a0c23bb6f417bd67c9465c7d1f64 Section: debug Priority: optional Description: debug symbols for libspotgen0 Build-Ids: 493161664ec29afaeb1e4c1f436bd3a2177ac1ea Package: libspotltsmin0 Source: spot Version: 2.15.1.0-1 Architecture: i386 Maintainer: Alexandre Duret-Lutz Installed-Size: 438 Depends: libbddx0 (>= 2.15.1.0), libc6 (>= 2.3.6-6~), libgcc-s1 (>= 3.3.1), libltdl7 (>= 2.4.6), libspot0 (>= 2.15.1.0-1), libstdc++6 (>= 9), libspot0 (<< 2.15.1.0-1.1~) Suggests: libspot-dev Filename: i386/libspotltsmin0_2.15.1.0-1_i386.deb Size: 387124 MD5sum: 4061456fe842299850b332f25a3a8d5b SHA1: d6fd10753c66f19b83ea5da7d3eea5a1cac1b87c SHA256: 92503c4df0e088b3f57c1271b290da33a24772c547b8f20fbdc06e21eb1a2f8f 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.15.1.0-1 Architecture: amd64 Maintainer: Alexandre Duret-Lutz Installed-Size: 435 Depends: libbddx0 (>= 2.15.1.0), libc6 (>= 2.2.5), libgcc-s1 (>= 3.3.1), libltdl7 (>= 2.4.6), libspot0 (>= 2.15.1.0-1), libstdc++6 (>= 9), libspot0 (<< 2.15.1.0-1.1~) Suggests: libspot-dev Filename: amd64/libspotltsmin0_2.15.1.0-1_amd64.deb Size: 384580 MD5sum: 1b1d8ea639ec59cfd676cbf9c32fbeea SHA1: d930546e52ca1563e755350ed322526770d5d2c4 SHA256: 080f1aaa80081cbe53682d8c086d0aa17bbf62778f76b2089561d59dfc3d321b 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.15.1.0-1 Auto-Built-Package: debug-symbols Architecture: i386 Maintainer: Alexandre Duret-Lutz Installed-Size: 690 Depends: libspotltsmin0 (= 2.15.1.0-1) Filename: i386/libspotltsmin0-dbgsym_2.15.1.0-1_i386.deb Size: 649152 MD5sum: 1d6928f78081659f1b637f725846965a SHA1: 50a35a74ef99b35d11542fc07c8f7192de006579 SHA256: 3741c22d80fe36c47cc2a47fb539868e67c196628023bdb6a43464cc07dfbc97 Section: debug Priority: optional Description: debug symbols for libspotltsmin0 Build-Ids: a3f7f7d264a813e56bec9adcfe60729cf1ab94f5 Package: libspotltsmin0-dbgsym Source: spot Version: 2.15.1.0-1 Auto-Built-Package: debug-symbols Architecture: amd64 Maintainer: Alexandre Duret-Lutz Installed-Size: 715 Depends: libspotltsmin0 (= 2.15.1.0-1) Filename: amd64/libspotltsmin0-dbgsym_2.15.1.0-1_amd64.deb Size: 656000 MD5sum: 0b0772d546c0de76bdea2e4309cdcf78 SHA1: 592a2ccb589b93404198b092cd38195949f92eb7 SHA256: a952742c8e3fb1c5d90a20e11077ffed1dde3f1e2c92031235dceb8871caebde Section: debug Priority: optional Description: debug symbols for libspotltsmin0 Build-Ids: 9b877ee2e1160593f348c21870705da0b84021ee Package: python3-spot Source: spot Version: 2.15.1.0-1 Architecture: i386 Maintainer: Alexandre Duret-Lutz Installed-Size: 37454 Depends: libbddx0 (>= 2.15.1.0), libc6 (>= 2.3.6-6~), libgcc-s1 (>= 3.4), libspot0 (>= 2.15.1.0-1), libspotgen0 (>= 2.15.1.0), libspotltsmin0 (>= 2.15.1.0-1), libstdc++6 (>= 9), python3 (<< 3.10), python3 (>= 3.9~), python3:any, libspot0 (<< 2.15.1.0-1.1~), libspotltsmin0 (<< 2.15.1.0-1.1~) Suggests: ipython3 Filename: i386/python3-spot_2.15.1.0-1_i386.deb Size: 2617960 MD5sum: 570a2233e109a555b06fc9048f2e80c2 SHA1: e97228491052c6a1538e6ad268ae2f0d389fc19d SHA256: 366735d21bc31e1695ad4e9c4d1be5f3c0abea77446aa6373719b371f637ea6c 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.15.1.0-1 Architecture: amd64 Maintainer: Alexandre Duret-Lutz Installed-Size: 37755 Depends: libbddx0 (>= 2.15.1.0), libc6 (>= 2.14), libgcc-s1 (>= 3.4), libspot0 (>= 2.15.1.0-1), libspotgen0 (>= 2.15.1.0), libspotltsmin0 (>= 2.15.1.0-1), libstdc++6 (>= 9), python3 (<< 3.10), python3 (>= 3.9~), python3:any, libspot0 (<< 2.15.1.0-1.1~), libspotltsmin0 (<< 2.15.1.0-1.1~) Suggests: ipython3 Filename: amd64/python3-spot_2.15.1.0-1_amd64.deb Size: 2616548 MD5sum: ba7e23621cabcd7ad7ab80a81fa4b76f SHA1: f1ccf48a0f124f532d198547db1882af2c7d0c83 SHA256: ff77d4fee0b4fd361983f66ba4634ba8ee4d621d7b9149b68264a314a35316ff 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.15.1.0-1 Auto-Built-Package: debug-symbols Architecture: i386 Maintainer: Alexandre Duret-Lutz Installed-Size: 8195 Depends: python3-spot (= 2.15.1.0-1) Filename: i386/python3-spot-dbgsym_2.15.1.0-1_i386.deb Size: 7480348 MD5sum: 5a4434a0fd891d51305e4de960196b59 SHA1: 51d6c2dce8722185dea6af72d0b09135e4a40604 SHA256: c65c21911466c6f41b3c225326d8729f5904460d18f078fd752baa06bb8da511 Section: debug Priority: optional Description: debug symbols for python3-spot Build-Ids: 1bf59b571ae8786f6d0710936b2c577510c3de6f 313ab350232922441c1b67c72edb2aab3e269b3c b9693097c414df4844ea61ca9c310480507974d7 bdbcf79ae7a48e6076b0164c232fcce4f337b2b5 Package: python3-spot-dbgsym Source: spot Version: 2.15.1.0-1 Auto-Built-Package: debug-symbols Architecture: amd64 Maintainer: Alexandre Duret-Lutz Installed-Size: 8641 Depends: python3-spot (= 2.15.1.0-1) Filename: amd64/python3-spot-dbgsym_2.15.1.0-1_amd64.deb Size: 7739268 MD5sum: 6897a1f89a443fa417e8796cdc6a0ce8 SHA1: 1628fb0eaf29bca6e13bf89f9431b6fc599f7f8f SHA256: 0d9195f38062643f2963807bf8eb43f763881b7c56aaef6db37be104d4e1d5d0 Section: debug Priority: optional Description: debug symbols for python3-spot Build-Ids: 6c001d5325c1b41ad632e7eb4043df1a7431d2c7 a78c4cf9ffb15cb2821a0be30525ae8fd8830bcc aa2ec21d94db0f36b0e4225a41764db4db680358 fbab00ca3ce3bf7b05a5174844f2cff72498c681 Package: spot Version: 2.15.1.0-1 Architecture: i386 Maintainer: Alexandre Duret-Lutz Installed-Size: 3604 Depends: libbddx0 (>= 2.15.1.0), libc6 (>= 2.15), libgcc-s1 (>= 4.2), libspot0 (>= 2.15.1.0-1), libspotgen0 (>= 2.15.1.0-1), libstdc++6 (>= 9), libspot0 (<< 2.15.1.0-1.1~), libspotgen0 (<< 2.15.1.0-1.1~) Recommends: graphviz Suggests: libspot-dev, spot-doc, python3-spot Filename: i386/spot_2.15.1.0-1_i386.deb Size: 1285076 MD5sum: 4e7cc14a4d173931789fc4186db83241 SHA1: f0fccbf53e2fce178fe990a279c5d22c9334e1b3 SHA256: 189a9dff61a7b01b2aecfa98bebb5ca44b76f93941c5d910460578e5bebc4057 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.15.1.0-1 Architecture: amd64 Maintainer: Alexandre Duret-Lutz Installed-Size: 3743 Depends: libbddx0 (>= 2.15.1.0), libc6 (>= 2.15), libgcc-s1 (>= 3.3.1), libspot0 (>= 2.15.1.0-1), libspotgen0 (>= 2.15.1.0-1), libstdc++6 (>= 9), libspot0 (<< 2.15.1.0-1.1~), libspotgen0 (<< 2.15.1.0-1.1~) Recommends: graphviz Suggests: libspot-dev, spot-doc, python3-spot Filename: amd64/spot_2.15.1.0-1_amd64.deb Size: 1280096 MD5sum: 93579a7884d301f37b918de5b8568ecc SHA1: 7b71bc67423485e148c063a9f51054bd741dd48a SHA256: e71e3c760e35268d64cae7eee19dfbeea827649d0bd2c0e41df74aba06dc7670 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.15.1.0-1 Auto-Built-Package: debug-symbols Architecture: i386 Maintainer: Alexandre Duret-Lutz Installed-Size: 10559 Depends: spot (= 2.15.1.0-1) Filename: i386/spot-dbgsym_2.15.1.0-1_i386.deb Size: 9416332 MD5sum: 35d4eca5e7796762d7dfbe0f86882241 SHA1: ab5337852d1d00f085f3e89886c826d8bfea0b2c SHA256: a465ebf39daa8a4babafd8a445d8ea9ddfcfe2c6cfffe8bb4cc0fee07111b3a6 Section: debug Priority: optional Description: debug symbols for spot Build-Ids: 320789bc19b7bbbe6362b2e522a7933b1ddb8c60 33207ca9f846b0488e846f5ee87ca491ad8ca4d5 37241528f00da8edb61e2bab3ef0ec2d500a10af 39c6283d288fbb87fc76365d49326d752b51fd9a 57736266dc042cbcc6f6e7ae8073b41e2d8b198d 72f40c5fc4481acdaac67a453f7a6d861a453496 7b521b882d2245987ca0566da2ce83c9a79e2f00 88b8552f98433fb3579de1b5a47cee87d2a3a6cb a7ab5f3494b27f5af393622bd69f80c73696d7df ad94c48ffbf01b2f2392600fc6e4eee91e1a9129 b897cc58e8115f8592f1446d254f517f0eba386d bb8526663d3c4bcdcf29021acbdbeee15810a835 cc35274c0e8e828d67578a77e72e9987ee74bd69 cc3ce593b56a6ad546f6c362cb5786ca20c9d045 d446153ba459adeaa03daff082318308e22d4cae e67c409b3e0d910bc1a825d13b0e4d2a0c5aa376 Package: spot-dbgsym Source: spot Version: 2.15.1.0-1 Auto-Built-Package: debug-symbols Architecture: amd64 Maintainer: Alexandre Duret-Lutz Installed-Size: 11200 Depends: spot (= 2.15.1.0-1) Filename: amd64/spot-dbgsym_2.15.1.0-1_amd64.deb Size: 9694188 MD5sum: a56f7857f9df147d73153d8803f0b3a3 SHA1: 11d476029d5433ad927f9f1831cbefc85fc9e3db SHA256: 318053c77b35ad403fb802e437cd3b1a2263ca32285507549bcd71708a6f6f84 Section: debug Priority: optional Description: debug symbols for spot Build-Ids: 0b89c3287d6ddbb35e7a5a157aec0422e713e8c2 2126e0a47ef6c4e4f577b6c3853e241c68dc05bb 38bf26ea1501d79fed329b97c974ab9078eeadd0 38c0adc6609cd8c129e11878bd2fe87d9f623204 5d9988a259cfcdd82cedc55c5f48b67ba6b5d7b2 6764d7832ce4f698e21e82e8145f76419e1141c9 8d45390533d1a044d8975f86d6acdc47be629141 a694bb6c804f1ef1cb3c33b27f30492c6113626b a8426935b0ddaafb4d28e88901cf82b70c49a0c1 a9448185d6cd288ff8087103c92066ce6b69caf9 b4f26e75452e3a16090c6eb0b556b9785aaf5b95 caa6a88927893567b19e638ff2f0066c75368c05 cb4321632f40eed9ba797245ed98087db5aedd73 dc3612d9c5a3e665fc9ddb565171e63e4ce490ef f832c97f5baf077afdd6d1ebaa403765c81ed567 fbc3ccc661e04e634783a6e039ef276c1251eb47 Package: spot-doc Source: spot Version: 2.15.1.0-1 Architecture: all Maintainer: Alexandre Duret-Lutz Installed-Size: 26413 Depends: libjs-mathjax, libjs-jquery, libjs-requirejs Filename: all/spot-doc_2.15.1.0-1_all.deb Size: 2184868 MD5sum: a1e3241235a286395a6abdf6dff6cd88 SHA1: 4704b12b8d125e921eb0f687466255e35d656d97 SHA256: 622e6b60f847dd7b6206a323c24150eb47d80e58bb2f7f82dcad52ebbbabb18c Section: doc Priority: optional Homepage: http://spot.lrde.epita.fr/ Description: documentation for Spot HTML and PDF documentation for Spot.