Package: libbddx-dev Source: spot Version: 2.14.5.0-1 Architecture: i386 Maintainer: Alexandre Duret-Lutz Installed-Size: 352 Depends: libbddx0 (>= 2.14.5.0-1), libbddx0 (<< 2.14.5.0-1.1~) Filename: i386/libbddx-dev_2.14.5.0-1_i386.deb Size: 100692 MD5sum: a701086b39dcd705306fa9a766711f27 SHA1: 2db408541df4b03d917b454325ffa94802903413 SHA256: 73ee6aeb2cf195a28d01bfc97277235575b149a178919ce3950f8bc90ae2c65a 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.5.0-1 Architecture: amd64 Maintainer: Alexandre Duret-Lutz Installed-Size: 398 Depends: libbddx0 (>= 2.14.5.0-1), libbddx0 (<< 2.14.5.0-1.1~) Filename: amd64/libbddx-dev_2.14.5.0-1_amd64.deb Size: 94368 MD5sum: d568456d09d8cb093b330a7e051df0d0 SHA1: 4511caa7ff0fa4d3f6f6e60e8c452b59800bc887 SHA256: 5c8c2eaf8d912324d48db9ad58c5a0f8df5e60e46c65d4a30d23f63e5e0ea22d 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.5.0-1 Architecture: i386 Maintainer: Alexandre Duret-Lutz Installed-Size: 182 Depends: libc6 (>= 2.29), libgcc-s1 (>= 3.3.1), libstdc++6 (>= 5) Recommends: graphviz Suggests: libbddx-dev Filename: i386/libbddx0_2.14.5.0-1_i386.deb Size: 73496 MD5sum: b32b482ce3a5f5cb4a482f24e6311c5c SHA1: 0aac9defa8f49cb216e7aaa267753c47af1c0e86 SHA256: 7db78da1d79683edf4335a1a7b8c91b745e8321e44582dd200e9a39e23045867 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.5.0-1 Architecture: amd64 Maintainer: Alexandre Duret-Lutz Installed-Size: 175 Depends: libc6 (>= 2.29), libgcc-s1 (>= 3.3.1), libstdc++6 (>= 5) Recommends: graphviz Suggests: libbddx-dev Filename: amd64/libbddx0_2.14.5.0-1_amd64.deb Size: 72252 MD5sum: 00eca061a4d4b441509b1589c444133d SHA1: b132cff7e8964f1c19b0c8cb2fd9fb950b00871b SHA256: a7f6241fe552ce6d8c3e91dff1dd5f6b84481e33580188ee0e68662fcfeaaa44 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.5.0-1 Auto-Built-Package: debug-symbols Architecture: i386 Maintainer: Alexandre Duret-Lutz Installed-Size: 206 Depends: libbddx0 (= 2.14.5.0-1) Filename: i386/libbddx0-dbgsym_2.14.5.0-1_i386.deb Size: 187432 MD5sum: 9b58bbfc27f35b573b4485ae769d7f2e SHA1: fda48862f861bba5739d75a95605829f97eef481 SHA256: 0e559366f4fcd0ecb45a69e4d6239fd9bbe40710e40b6e5a4f1592aea3bae195 Section: debug Priority: optional Description: debug symbols for libbddx0 Build-Ids: 4f7a3565195803ae30873632e7c69ef794fb85db Package: libbddx0-dbgsym Source: spot Version: 2.14.5.0-1 Auto-Built-Package: debug-symbols Architecture: amd64 Maintainer: Alexandre Duret-Lutz Installed-Size: 217 Depends: libbddx0 (= 2.14.5.0-1) Filename: amd64/libbddx0-dbgsym_2.14.5.0-1_amd64.deb Size: 193140 MD5sum: a997413f95507a96b208cbc269f7e7da SHA1: 5e60f7dfd127800f4a36c8a575555cfb58d43389 SHA256: 2774f8d57e4e48f0110a5bf6a0fe39193af8cf89514b83668b83d5c555889b6e Section: debug Priority: optional Description: debug symbols for libbddx0 Build-Ids: d8ae11f005fb08a3a36117a1acc7b1485acf3bb8 Package: libspot-dev Source: spot Version: 2.14.5.0-1 Architecture: i386 Maintainer: Alexandre Duret-Lutz Installed-Size: 15226 Depends: libspot0 (>= 2.14.5.0-1), libspot0 (<< 2.14.5.0-1.1~), libspotltsmin0 (>= 2.14.5.0-1), libspotltsmin0 (<< 2.14.5.0-1.1~), libbddx-dev Suggests: spot-doc Filename: i386/libspot-dev_2.14.5.0-1_i386.deb Size: 3304176 MD5sum: 7ae9328cbd7e6bd96c8962164c8a67b4 SHA1: ec26ba63089448288e009bc793d52d5d8139f784 SHA256: 75392d0e195127b740848ef9ba27be2d54be65f7aa30507645ef1682a0cd5ecb 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.5.0-1 Architecture: amd64 Maintainer: Alexandre Duret-Lutz Installed-Size: 17778 Depends: libspot0 (>= 2.14.5.0-1), libspot0 (<< 2.14.5.0-1.1~), libspotltsmin0 (>= 2.14.5.0-1), libspotltsmin0 (<< 2.14.5.0-1.1~), libbddx-dev Suggests: spot-doc Filename: amd64/libspot-dev_2.14.5.0-1_amd64.deb Size: 3139600 MD5sum: 6e32d935fb105d4bfe528061036c1da1 SHA1: 37137fa7a52980eb4aede5d388d8f6c3eabcfb1f SHA256: d2768b597f48b3c9cb07d17a75dc82335d894197e9e50211585933a733ea3d52 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.5.0-1 Architecture: i386 Maintainer: Alexandre Duret-Lutz Installed-Size: 4232 Depends: libbddx0 (>= 2.14.5.0-1), libc6 (>= 2.33), libgcc-s1 (>= 3.4), libstdc++6 (>= 11), libbddx0 (<< 2.14.5.0-1.1~) Recommends: graphviz Suggests: libspot-dev, spot-doc, python3-spot Filename: i386/libspot0_2.14.5.0-1_i386.deb Size: 1964376 MD5sum: df620760793e1c0688b36f2802988d32 SHA1: 50234dfaa59219609ef6a9b427004b47f9ceb9fa SHA256: a0ef3f09f5882de4be04b8112ba0dce2f7708949d9e278fa8befe941f553feff 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.5.0-1 Architecture: amd64 Maintainer: Alexandre Duret-Lutz Installed-Size: 4111 Depends: libbddx0 (>= 2.14.5.0-1), libc6 (>= 2.33), libgcc-s1 (>= 3.4), libstdc++6 (>= 11), libbddx0 (<< 2.14.5.0-1.1~) Recommends: graphviz Suggests: libspot-dev, spot-doc, python3-spot Filename: amd64/libspot0_2.14.5.0-1_amd64.deb Size: 1855888 MD5sum: 9c1deaf92833714cb2221156b1e1ff41 SHA1: 3a2245c7822c545c959110256a9e7a072c496a66 SHA256: 642fec3249d6592645d0456ce485a89c26876ff1a85c386f598439fe0ca7b54b 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.5.0-1 Auto-Built-Package: debug-symbols Architecture: i386 Maintainer: Alexandre Duret-Lutz Installed-Size: 28789 Depends: libspot0 (= 2.14.5.0-1) Filename: i386/libspot0-dbgsym_2.14.5.0-1_i386.deb Size: 28504092 MD5sum: c3534b540a795f5225d3c273921cca5a SHA1: e1ab61c01ce16cc55964bf0be771d15b4e6cd30a SHA256: 2c4da1081da86fa40af0a57c9b58f8c511e5824c1c9898eb2d9726ba6ae6fb56 Section: debug Priority: optional Description: debug symbols for libspot0 Build-Ids: d807f16d35f267cf932fa25fd21171d3d83780b2 Package: libspot0-dbgsym Source: spot Version: 2.14.5.0-1 Auto-Built-Package: debug-symbols Architecture: amd64 Maintainer: Alexandre Duret-Lutz Installed-Size: 29379 Depends: libspot0 (= 2.14.5.0-1) Filename: amd64/libspot0-dbgsym_2.14.5.0-1_amd64.deb Size: 29049864 MD5sum: 6dc6b90e694bd3abfe67a574a7c1dd97 SHA1: e4d49bdd8cf7c7ecae7834e7b278d1b9ea48d3af SHA256: 4114d0e377297aa1e5b4f4450dc39d0c4d283bf62af39edb83ade38477540f2b Section: debug Priority: optional Description: debug symbols for libspot0 Build-Ids: e45e96a16e4cd64858b61f1ae90608de12920410 Package: libspotgen0 Source: spot Version: 2.14.5.0-1 Architecture: i386 Maintainer: Alexandre Duret-Lutz Installed-Size: 586 Depends: libbddx0 (>= 2.14.5.0), libc6 (>= 2.32), libgcc-s1 (>= 3.3.1), libspot0 (>= 2.14.5.0-1), libstdc++6 (>= 11), libspot0 (<< 2.14.5.0-1.1~) Suggests: libspot-dev Filename: i386/libspotgen0_2.14.5.0-1_i386.deb Size: 434224 MD5sum: c955fd5ffb58f4a1834c94100526f0d0 SHA1: 4d5f53e946918b198e5660d3d0f4621ded78a58c SHA256: 44fbded732b4a636ee6347f7f4b4b3f8d3b0679a987873ccf37410ac4ad08a92 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.5.0-1 Architecture: amd64 Maintainer: Alexandre Duret-Lutz Installed-Size: 587 Depends: libbddx0 (>= 2.14.5.0), libc6 (>= 2.32), libgcc-s1 (>= 3.3.1), libspot0 (>= 2.14.5.0-1), libstdc++6 (>= 11), libspot0 (<< 2.14.5.0-1.1~) Suggests: libspot-dev Filename: amd64/libspotgen0_2.14.5.0-1_amd64.deb Size: 430672 MD5sum: 7141d5255b2b92dc01bf9fd502f1ff9e SHA1: 13440f0b17938856f785ff8fafb4acd98a7a58b0 SHA256: fef3d49e4feeea0cf25654c12ebb59616e4cfa1c48610726df7f4d29f0bba45f 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.5.0-1 Auto-Built-Package: debug-symbols Architecture: i386 Maintainer: Alexandre Duret-Lutz Installed-Size: 750 Depends: libspotgen0 (= 2.14.5.0-1) Filename: i386/libspotgen0-dbgsym_2.14.5.0-1_i386.deb Size: 730576 MD5sum: b072af79143079a322eb09cdc21bb9c0 SHA1: 0aadbc0d61fe48b0b52aeec8a9b22973cf1df4ee SHA256: c2b5e44e4bb78d6c0a3f327c0c18aa700cac06e1871f7cc584657decdbadf658 Section: debug Priority: optional Description: debug symbols for libspotgen0 Build-Ids: 8433ca3a7e2425acbb60abf7ea8d889875bfd9fe Package: libspotgen0-dbgsym Source: spot Version: 2.14.5.0-1 Auto-Built-Package: debug-symbols Architecture: amd64 Maintainer: Alexandre Duret-Lutz Installed-Size: 771 Depends: libspotgen0 (= 2.14.5.0-1) Filename: amd64/libspotgen0-dbgsym_2.14.5.0-1_amd64.deb Size: 746596 MD5sum: f26c9d32de1d42ef7aa468f4e76ed3fa SHA1: e1c313eb161d41e7a6ea6f13a280751ebb901654 SHA256: abad1ac72b470d7565107127b4f57519358701418b98f124dccb461695f87625 Section: debug Priority: optional Description: debug symbols for libspotgen0 Build-Ids: d47aaa80cc82048c0c27a7ef824456c008c8c63f Package: libspotltsmin0 Source: spot Version: 2.14.5.0-1 Architecture: i386 Maintainer: Alexandre Duret-Lutz Installed-Size: 426 Depends: libbddx0 (>= 2.14.5.0), libc6 (>= 2.33), libgcc-s1 (>= 3.3.1), libltdl7 (>= 2.4.7), libspot0 (>= 2.14.5.0-1), libstdc++6 (>= 11), libspot0 (<< 2.14.5.0-1.1~) Suggests: libspot-dev Filename: i386/libspotltsmin0_2.14.5.0-1_i386.deb Size: 375140 MD5sum: 0d47d7fdf4c90d06ab2fd08c8febf23c SHA1: dec393fd313108be0f133d9eff57f295f8f36396 SHA256: 07b13818d051e23e61765671ec8b17f9c063b89c832357b9ad3ea281b86c3f4d 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.5.0-1 Architecture: amd64 Maintainer: Alexandre Duret-Lutz Installed-Size: 427 Depends: libbddx0 (>= 2.14.5.0), libc6 (>= 2.33), libgcc-s1 (>= 3.3.1), libltdl7 (>= 2.4.7), libspot0 (>= 2.14.5.0-1), libstdc++6 (>= 11), libspot0 (<< 2.14.5.0-1.1~) Suggests: libspot-dev Filename: amd64/libspotltsmin0_2.14.5.0-1_amd64.deb Size: 373076 MD5sum: 345e9a204f7408d039eb3a3362894a56 SHA1: c986c5b4c68a3b267d6f352519e5e103ced60771 SHA256: 771b15975bdc23deca4278ba6254ee328af26f48277ab7659e3ff922d51f2e42 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.5.0-1 Auto-Built-Package: debug-symbols Architecture: i386 Maintainer: Alexandre Duret-Lutz Installed-Size: 634 Depends: libspotltsmin0 (= 2.14.5.0-1) Filename: i386/libspotltsmin0-dbgsym_2.14.5.0-1_i386.deb Size: 618004 MD5sum: b20e0b266287677b91a89c11f0214365 SHA1: 49ad09c8d9c05553c0c2749b95cb84934303c362 SHA256: 27293303ce25ffa0061a8432dfae8aa77170dde0cd2386eb32b57b435b5ba827 Section: debug Priority: optional Description: debug symbols for libspotltsmin0 Build-Ids: 137a17bca468e55c8f05ae6eee3ec27ef0d4eb1c Package: libspotltsmin0-dbgsym Source: spot Version: 2.14.5.0-1 Auto-Built-Package: debug-symbols Architecture: amd64 Maintainer: Alexandre Duret-Lutz Installed-Size: 642 Depends: libspotltsmin0 (= 2.14.5.0-1) Filename: amd64/libspotltsmin0-dbgsym_2.14.5.0-1_amd64.deb Size: 623184 MD5sum: c7f1037c85b8c917e3f3aaba40091d2e SHA1: 42e26aa75cf381434f58c2a28ee22f247c6fac0c SHA256: 75f1b55549a3fafa989aeecd871602755fe2edc13f7494e33ada9def2d7027f8 Section: debug Priority: optional Description: debug symbols for libspotltsmin0 Build-Ids: 0be4157d39dd010fd14688732be3fea1352ce308 Package: python3-spot Source: spot Version: 2.14.5.0-1 Architecture: i386 Maintainer: Alexandre Duret-Lutz Installed-Size: 41104 Depends: libbddx0 (>= 2.14.5.0), libc6 (>= 2.32), libgcc-s1 (>= 3.4), libspot0 (>= 2.14.5.0-1), libspotgen0 (>= 2.14.5.0), libspotltsmin0 (>= 2.14.5.0-1), libstdc++6 (>= 11), python3 (<< 3.12), python3 (>= 3.11~), python3:any, libspot0 (<< 2.14.5.0-1.1~), libspotltsmin0 (<< 2.14.5.0-1.1~) Suggests: ipython3 Filename: i386/python3-spot_2.14.5.0-1_i386.deb Size: 2313572 MD5sum: 2ebab1f8e70cbf7b394737da86b79ab5 SHA1: 59484b415d47532a3c9e6b4d60a0a6e9b5b1e810 SHA256: c9776d7a727130568b8b73a8cffeab96e840d78c9a367066a57922919090957b 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.5.0-1 Architecture: amd64 Maintainer: Alexandre Duret-Lutz Installed-Size: 41382 Depends: libbddx0 (>= 2.14.5.0), libc6 (>= 2.32), libgcc-s1 (>= 3.4), libspot0 (>= 2.14.5.0-1), libspotgen0 (>= 2.14.5.0), libspotltsmin0 (>= 2.14.5.0-1), libstdc++6 (>= 11), python3 (<< 3.12), python3 (>= 3.11~), python3:any, libspot0 (<< 2.14.5.0-1.1~), libspotltsmin0 (<< 2.14.5.0-1.1~) Suggests: ipython3 Filename: amd64/python3-spot_2.14.5.0-1_amd64.deb Size: 2308844 MD5sum: b802a386e01e456aa5c56bc34c5dc3f8 SHA1: b92575b64473742115efcefe7b338633252ea813 SHA256: e96ece372d54b3ce091c0ad2967c43cdc268b23c18f7bdfda81ef74597d3090c 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.5.0-1 Auto-Built-Package: debug-symbols Architecture: i386 Maintainer: Alexandre Duret-Lutz Installed-Size: 7241 Depends: python3-spot (= 2.14.5.0-1) Filename: i386/python3-spot-dbgsym_2.14.5.0-1_i386.deb Size: 6714152 MD5sum: 62df3be9ce511279546343f470473870 SHA1: 308d134c2b5440d5eb890ad3e3c80ef2c6407be5 SHA256: 69df09fe9216f80cf3b5ed03043ffde817f3d2201dc3d1a8844a8d265943dc90 Section: debug Priority: optional Description: debug symbols for python3-spot Build-Ids: 4bde9181f2ec0636f4ef6df3a4111978ebaf6535 51df02b83df5268b8bf709ba12e913a6d104b030 87d0ebc4683ac31444bde99cf86ff378088c26ea c317d5d502ded5b1aef7b926c8aea400ab9d1fab Package: python3-spot-dbgsym Source: spot Version: 2.14.5.0-1 Auto-Built-Package: debug-symbols Architecture: amd64 Maintainer: Alexandre Duret-Lutz Installed-Size: 7520 Depends: python3-spot (= 2.14.5.0-1) Filename: amd64/python3-spot-dbgsym_2.14.5.0-1_amd64.deb Size: 6916124 MD5sum: 5c57413c7f4c24a25aa356e6ead26074 SHA1: e176342963265b30f255d8961a50d3c699f620f5 SHA256: 90a6ec49f42feea141ebdbe9061efe5bdb3007aafbbd5dc00baede09eef17618 Section: debug Priority: optional Description: debug symbols for python3-spot Build-Ids: 21786a10096a7a38ce26addeb170ba92c5c377db 3c4ba4651c9264ade2821ffc9a231d32e16293ca b41678bd23a6ecb35d435c1a8ae1d9ff0a7f707b be7284f84134bb7c362a9d185901666da2611c47 Package: spot Version: 2.14.5.0-1 Architecture: i386 Maintainer: Alexandre Duret-Lutz Installed-Size: 3579 Depends: libbddx0 (>= 2.14.5.0), libc6 (>= 2.34), libgcc-s1 (>= 4.2), libspot0 (>= 2.14.5.0-1), libspotgen0 (>= 2.14.5.0-1), libstdc++6 (>= 11), libspot0 (<< 2.14.5.0-1.1~), libspotgen0 (<< 2.14.5.0-1.1~) Recommends: graphviz Suggests: libspot-dev, spot-doc, python3-spot Filename: i386/spot_2.14.5.0-1_i386.deb Size: 1204628 MD5sum: 90c35edb4e3535afde927aaa8c7d9d94 SHA1: ac1a145cb9633305b5739acb7af16533dcb80a7f SHA256: f7fa8dc5b86c6df7aa8dae08086edb8f363c149a262f0a58e26b7122773091fc 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.5.0-1 Architecture: amd64 Maintainer: Alexandre Duret-Lutz Installed-Size: 3663 Depends: libbddx0 (>= 2.14.5.0), libc6 (>= 2.34), libgcc-s1 (>= 3.3.1), libspot0 (>= 2.14.5.0-1), libspotgen0 (>= 2.14.5.0-1), libstdc++6 (>= 11), libspot0 (<< 2.14.5.0-1.1~), libspotgen0 (<< 2.14.5.0-1.1~) Recommends: graphviz Suggests: libspot-dev, spot-doc, python3-spot Filename: amd64/spot_2.14.5.0-1_amd64.deb Size: 1172756 MD5sum: 7d8443b7649382be77e5dfcc37084d0c SHA1: 09ec9946ea6a0e5ad8c1ebd68d462f2244518667 SHA256: 0106b83f96936dddd2c5f7439933bd43602bb89137021f7289cb0d3daa8c9748 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.5.0-1 Auto-Built-Package: debug-symbols Architecture: i386 Maintainer: Alexandre Duret-Lutz Installed-Size: 15618 Depends: spot (= 2.14.5.0-1) Filename: i386/spot-dbgsym_2.14.5.0-1_i386.deb Size: 15081124 MD5sum: 04398882457318415e55d87ff1ba3d37 SHA1: 077bfe57687f5420d8a635784bbdb7dcf5ba4a39 SHA256: 272d800aca2dfefab220af5de4c0ef1d5c72991a038625b40dccaa24ce6d83af Section: debug Priority: optional Description: debug symbols for spot Build-Ids: 1d5cc57427ced1a5c559b0914de0089e2bd0c009 2197fe9dd228cb5eb586dde038a348a608ff3e3e 245bf488210e9584e33ca349f558240feb23a38d 3437e857810db8c82ba71c07ece88a516024ab1e 3ad8b160d34ba1061950cecdfdff0574247afee2 3eb6b684882bf2903856f2daab05b57460acf12d 46b36b4a10a7b300009d25aa512048519da39462 6a7a93f12284a4e75bdacad26dd7f2f3cfa96d59 728604869bb4349b1369fdec684c9256d23d5aaf 834bae97df7222c3f46bc75b6e7bbcb131505c49 8f5950570c61fbbc10627543eaec51a08df07342 b86278128d071b4aaf55ec94eac736f1b4d79cb2 c3dbba3e994809848d671151282b20f36e6502ed cca89e3263fcdbd26e512c0be447e9ad561dd8d6 dce2bde69be614379cf055a9ea2563e1c52ec992 ed928970cc022232cac9300536acb8eb06e6475d f8f303cda0a46376de515a2a36eff9506d7261c9 Package: spot-dbgsym Source: spot Version: 2.14.5.0-1 Auto-Built-Package: debug-symbols Architecture: amd64 Maintainer: Alexandre Duret-Lutz Installed-Size: 15944 Depends: spot (= 2.14.5.0-1) Filename: amd64/spot-dbgsym_2.14.5.0-1_amd64.deb Size: 15286820 MD5sum: 0ecbf59dc0f94af561cb6c4ad0ba1e87 SHA1: 982ca5b80fbf4cbf6e4d52d8e2edf9369d30a671 SHA256: d3f092ca088adf7d39869157895e8e1df08b1caeec6691d1188daa06392eee47 Section: debug Priority: optional Description: debug symbols for spot Build-Ids: 052ad417e3853dfdc4adc8fff34c8443daeef350 060242a9202efb210b46ba4130a3c9ac1c977016 1bae0691d1457b813fe7de58f4fdf764103faa2f 1d3a73646ba3cdb9950525b5b0e200bf9f42ed4b 21e67853fa08da773002a238c7768299f1eb5f5c 473b7510b059f01de5dc45ba4c020c7e3e8a9a67 51f9b898fc72ef2f1ccf83f06a06c3bca7d2378c 61646c5786dcd8b7236e11b8150d8b3bfd67e7d9 67d0df32ffa41db484c4903d642dbb84155957ed 85c0696d05ef4915ec4d74a330fd0aacb3471b43 8fb41f50f476a4a408025b6d385ceaa9d25499e2 c1a40abb80613eadd1585843d4bdc09bc37efd9f cf98804459bda9404da9e1556f4a1af4ee43fc12 f1db81336b308d1e008b0e3d8f8c07819b1ec1b0 f3cefd1e5e6cc9c89dc03c0780b87af863bb8e7b fbe4821385d9992b68a463fa9b48e0a1606a02c5 fcc72c5950ad627c9eb9ac6d0e614fc8d350fb4e Package: spot-doc Source: spot Version: 2.14.5.0-1 Architecture: all Maintainer: Alexandre Duret-Lutz Installed-Size: 31876 Depends: libjs-mathjax, libjs-jquery, libjs-requirejs Filename: all/spot-doc_2.14.5.0-1_all.deb Size: 2384628 MD5sum: 747a3aa3ae4ddfccef5528e84f0badfd SHA1: 49998fdd5a2ac3ecbe5357b4ff173b49e22530f6 SHA256: f58029b986daa1673cc7a1da1543f80782511f257b702841c34f3fe495675560 Section: doc Priority: optional Homepage: http://spot.lrde.epita.fr/ Description: documentation for Spot HTML and PDF documentation for Spot.