Package: libbddx-dev Source: spot Version: 2.12.2.0-1 Architecture: i386 Maintainer: Alexandre Duret-Lutz Installed-Size: 292 Depends: libbddx0 (>= 2.12.2.0-1), libbddx0 (<< 2.12.2.0-1.1~) Filename: i386/libbddx-dev_2.12.2.0-1_i386.deb Size: 80308 MD5sum: 5de1ac2cf7eebf28b6d180b1c8b23ea7 SHA1: 067076c2f667b6ffc0eab0cb1db4f42c8ae77ab3 SHA256: 7834d1c3b7c6c94296e1b770a7626cebf85d6fb0ba8bc19cd68e4972a739e900 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.12.2.0-1 Architecture: amd64 Maintainer: Alexandre Duret-Lutz Installed-Size: 333 Depends: libbddx0 (>= 2.12.2.0-1), libbddx0 (<< 2.12.2.0-1.1~) Filename: amd64/libbddx-dev_2.12.2.0-1_amd64.deb Size: 76228 MD5sum: f010895c9d792719d02b3ff20f1d654c SHA1: 5654f625bf7bd1e85312034d6e91974b9b6c5a16 SHA256: ed0eeebf6786586bafd939fc5431f7218d03781088a1786f9cc9a39a55b88816 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.12.2.0-1 Architecture: i386 Maintainer: Alexandre Duret-Lutz Installed-Size: 144 Depends: libc6 (>= 2.29), libgcc-s1 (>= 3.0), libstdc++6 (>= 4.9) Recommends: graphviz Suggests: libbddx-dev Filename: i386/libbddx0_2.12.2.0-1_i386.deb Size: 59448 MD5sum: abecf408077b5dd732c51654030de016 SHA1: cd02a3a65cf61ff520e7f62b8186e6fa148469d4 SHA256: 09e58f2fbe8a6a004498685d65a432325d13509737da927fc9f546d7b6c3f648 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.12.2.0-1 Architecture: amd64 Maintainer: Alexandre Duret-Lutz Installed-Size: 141 Depends: libc6 (>= 2.29), libgcc-s1 (>= 3.0), libstdc++6 (>= 4.9) Recommends: graphviz Suggests: libbddx-dev Filename: amd64/libbddx0_2.12.2.0-1_amd64.deb Size: 59400 MD5sum: 517fa2af6f67cca20d806592bec958b9 SHA1: 393f7934a9d8100408c557152159caa5b495ed90 SHA256: e4a2eb39a24bb65df069c56f995e5dd58d5ba42bdb37061c647fe4bde4bd509f 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.12.2.0-1 Auto-Built-Package: debug-symbols Architecture: i386 Maintainer: Alexandre Duret-Lutz Installed-Size: 163 Depends: libbddx0 (= 2.12.2.0-1) Filename: i386/libbddx0-dbgsym_2.12.2.0-1_i386.deb Size: 136224 MD5sum: 31eab27bff3534845347b5c15bb18678 SHA1: 6ee1761f1bb790a34cc4a335f1f28f0270dc56c8 SHA256: ea19da695a17912bd72bdc0a43833d726924aed2ed8b410d7fb18a2cead5b1a0 Section: debug Priority: optional Description: debug symbols for libbddx0 Build-Ids: 750f79db8ce4f0132000a06ec7d602999340a8e8 Package: libbddx0-dbgsym Source: spot Version: 2.12.2.0-1 Auto-Built-Package: debug-symbols Architecture: amd64 Maintainer: Alexandre Duret-Lutz Installed-Size: 179 Depends: libbddx0 (= 2.12.2.0-1) Filename: amd64/libbddx0-dbgsym_2.12.2.0-1_amd64.deb Size: 143420 MD5sum: f97d49860822c1d0e0495523a29700f0 SHA1: c0a21480578268e27003bd0b49dcee418d67b5d2 SHA256: e27264c505baa48401533c865de5308a8414573a18dbc3978bda31efc1a3e45f Section: debug Priority: optional Description: debug symbols for libbddx0 Build-Ids: b6bfbf26d15318961be7c10effab676f17feb33b Package: libspot-dev Source: spot Version: 2.12.2.0-1 Architecture: i386 Maintainer: Alexandre Duret-Lutz Installed-Size: 14116 Depends: libspot0 (>= 2.12.2.0-1), libspot0 (<< 2.12.2.0-1.1~), libspotltsmin0 (>= 2.12.2.0-1), libspotltsmin0 (<< 2.12.2.0-1.1~), libbddx-dev Suggests: spot-doc Filename: i386/libspot-dev_2.12.2.0-1_i386.deb Size: 2984260 MD5sum: 38700ad68085e56cda98b42148a0d085 SHA1: 894a0bdb476ed0e9faa8fe9382e854fa1ae17e79 SHA256: cd3c8ab5f9187193377b181c0a2652f6238dd7afb970a29d136ffeb2a5d1d7b7 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.12.2.0-1 Architecture: amd64 Maintainer: Alexandre Duret-Lutz Installed-Size: 16557 Depends: libspot0 (>= 2.12.2.0-1), libspot0 (<< 2.12.2.0-1.1~), libspotltsmin0 (>= 2.12.2.0-1), libspotltsmin0 (<< 2.12.2.0-1.1~), libbddx-dev Suggests: spot-doc Filename: amd64/libspot-dev_2.12.2.0-1_amd64.deb Size: 2845860 MD5sum: 7a962b3ae912d55b7bb57ef5a6bfb7c7 SHA1: df1137792523247443b9ee1dedfd6f81984bcb8a SHA256: 49b6315c658537b3f62800c649c1344d2d771898cfd3035f25ca469ad5b9bf4c 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.12.2.0-1 Architecture: i386 Maintainer: Alexandre Duret-Lutz Installed-Size: 4550 Depends: libbddx0 (>= 2.12.2.0-1), libc6 (>= 2.17), libgcc-s1 (>= 3.4), libstdc++6 (>= 9), libbddx0 (<< 2.12.2.0-1.1~) Recommends: graphviz Suggests: libspot-dev, spot-doc, python3-spot Filename: i386/libspot0_2.12.2.0-1_i386.deb Size: 2138628 MD5sum: 79c8599f5e1c16e66c1a63008a26055d SHA1: 3d70a039e92e2c1aa6d2a82993e30fd468f477e6 SHA256: 2084e3b24fcb4ca337f6b35520c71d235894cae977fbcc8db16348e380d77144 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.12.2.0-1 Architecture: amd64 Maintainer: Alexandre Duret-Lutz Installed-Size: 4365 Depends: libbddx0 (>= 2.12.2.0-1), libc6 (>= 2.29), libgcc-s1 (>= 3.4), libstdc++6 (>= 9), libbddx0 (<< 2.12.2.0-1.1~) Recommends: graphviz Suggests: libspot-dev, spot-doc, python3-spot Filename: amd64/libspot0_2.12.2.0-1_amd64.deb Size: 2061428 MD5sum: 8192adc48240f52b7619b5d091a6de24 SHA1: 35f63e23b99e7653463a279ee205aef1a8665e27 SHA256: 002fd17952b07097c06f67d757daf47be69c71923555c3bc91248834bbf1ec91 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.12.2.0-1 Auto-Built-Package: debug-symbols Architecture: i386 Maintainer: Alexandre Duret-Lutz Installed-Size: 28444 Depends: libspot0 (= 2.12.2.0-1) Filename: i386/libspot0-dbgsym_2.12.2.0-1_i386.deb Size: 27797328 MD5sum: e94b4f6ae1125997265983b9fb1c0639 SHA1: 34d31c9d4b77fa47a4d6234b9dd350fbf2d8142f SHA256: 8c93b6b936515eaee057805e1a66963c05ed4c27e08cff53e79ca961ca017265 Section: debug Priority: optional Description: debug symbols for libspot0 Build-Ids: f31c6927f22d0beca1b78c41536214c602635aef Package: libspot0-dbgsym Source: spot Version: 2.12.2.0-1 Auto-Built-Package: debug-symbols Architecture: amd64 Maintainer: Alexandre Duret-Lutz Installed-Size: 29100 Depends: libspot0 (= 2.12.2.0-1) Filename: amd64/libspot0-dbgsym_2.12.2.0-1_amd64.deb Size: 28139248 MD5sum: 33f55b06670f94477784ba3efda72ef5 SHA1: 2f7b99dbd512a2c1b619208ef4cfa7e6a281ad6a SHA256: ef6bc1f645df1484a2b1f29c3300aa1c13d7c90b2cc74afbca950227e05e209e Section: debug Priority: optional Description: debug symbols for libspot0 Build-Ids: e87042b44fc15b3950ea353e3118b880a9fb0ffa Package: libspotgen0 Source: spot Version: 2.12.2.0-1 Architecture: i386 Maintainer: Alexandre Duret-Lutz Installed-Size: 524 Depends: libbddx0 (>= 2.12.2.0), libc6 (>= 2.1.3), libgcc-s1 (>= 3.3.1), libspot0 (>= 2.12.2.0-1), libstdc++6 (>= 9), libspot0 (<< 2.12.2.0-1.1~) Suggests: libspot-dev Filename: i386/libspotgen0_2.12.2.0-1_i386.deb Size: 402572 MD5sum: 0640d15eb0b202d44df40f1a94022575 SHA1: dcd52dd13211fbe9c4d9174810ea39add39c3ef7 SHA256: 6e512d0a8050309f330d30655c269af7964ad13030c9fa532eb5d32b9aadfd21 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.12.2.0-1 Architecture: amd64 Maintainer: Alexandre Duret-Lutz Installed-Size: 529 Depends: libbddx0 (>= 2.12.2.0), libc6 (>= 2.29), libgcc-s1 (>= 3.3.1), libspot0 (>= 2.12.2.0-1), libstdc++6 (>= 9), libspot0 (<< 2.12.2.0-1.1~) Suggests: libspot-dev Filename: amd64/libspotgen0_2.12.2.0-1_amd64.deb Size: 400788 MD5sum: 1234d1171dbe1841f237141917e14f1d SHA1: 3a9f448f417d444b2f2e82e3f596f6ff3f2ee763 SHA256: 45ca016e009ca7e6b2dd40a2bb5c4f69b919b5d1cade611104c4cf3991333062 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.12.2.0-1 Auto-Built-Package: debug-symbols Architecture: i386 Maintainer: Alexandre Duret-Lutz Installed-Size: 681 Depends: libspotgen0 (= 2.12.2.0-1) Filename: i386/libspotgen0-dbgsym_2.12.2.0-1_i386.deb Size: 655996 MD5sum: 1a736a2b90bb35adc24855f85c40362b SHA1: 28d7226bc12b2ad35e525aa48b66e7eeb39f9fa9 SHA256: f6a90bd994cd3b63afdd85704afb1bbc09abc7cbf4e8d8ab8eb0b7c7f58c5aa9 Section: debug Priority: optional Description: debug symbols for libspotgen0 Build-Ids: 59d33943864d377c2c54cdf3e6a8fd366f707988 Package: libspotgen0-dbgsym Source: spot Version: 2.12.2.0-1 Auto-Built-Package: debug-symbols Architecture: amd64 Maintainer: Alexandre Duret-Lutz Installed-Size: 699 Depends: libspotgen0 (= 2.12.2.0-1) Filename: amd64/libspotgen0-dbgsym_2.12.2.0-1_amd64.deb Size: 664608 MD5sum: 5b64725f8e12c14c738edfbedac114f9 SHA1: ffa5156481fe1419e03f96dbfcebd3fb77b64d77 SHA256: be348a25ec79430cfdffb8605244a251343212799361fd9303c6a01753ad3395 Section: debug Priority: optional Description: debug symbols for libspotgen0 Build-Ids: 06120e1ec69f56a54c32fa33cb12e27fde18ebaf Package: libspotltsmin0 Source: spot Version: 2.12.2.0-1 Architecture: i386 Maintainer: Alexandre Duret-Lutz Installed-Size: 408 Depends: libbddx0 (>= 2.12.2.0), libc6 (>= 2.3.6-6~), libgcc-s1 (>= 3.3.1), libltdl7 (>= 2.4.6), libspot0 (>= 2.12.2.0-1), libstdc++6 (>= 9), libspot0 (<< 2.12.2.0-1.1~) Suggests: libspot-dev Filename: i386/libspotltsmin0_2.12.2.0-1_i386.deb Size: 359076 MD5sum: f7eba8930bab35d4cdeda859754680cf SHA1: 340392b644d908a9f09b74716c10f3f69998f64b SHA256: e136ed3bd006b4554bf76d902c6a028bfd91dd8884af5a30e43126424a3c3431 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.12.2.0-1 Architecture: amd64 Maintainer: Alexandre Duret-Lutz Installed-Size: 409 Depends: libbddx0 (>= 2.12.2.0), libc6 (>= 2.2.5), libgcc-s1 (>= 3.3.1), libltdl7 (>= 2.4.6), libspot0 (>= 2.12.2.0-1), libstdc++6 (>= 9), libspot0 (<< 2.12.2.0-1.1~) Suggests: libspot-dev Filename: amd64/libspotltsmin0_2.12.2.0-1_amd64.deb Size: 356512 MD5sum: 4c2cc81e9ed651626cc3d58f34b451e0 SHA1: f2998e3409efe690b3c874d92e095b239e602a91 SHA256: ebd20f428a74e3d4e1dbab7489e6b02b2bdc88ad00b1fb1a231f4ca2bc1b04c1 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.12.2.0-1 Auto-Built-Package: debug-symbols Architecture: i386 Maintainer: Alexandre Duret-Lutz Installed-Size: 670 Depends: libspotltsmin0 (= 2.12.2.0-1) Filename: i386/libspotltsmin0-dbgsym_2.12.2.0-1_i386.deb Size: 630596 MD5sum: 895491f9f26018d61c9217f15d839ddc SHA1: a70120603b2e369f59268f73c257d53257d3e069 SHA256: 79ce75f43dc880f82f8a1ce398d014d8b53af1aebf1c241731039b32031f66e1 Section: debug Priority: optional Description: debug symbols for libspotltsmin0 Build-Ids: 61bf3c18dce0f1041a4a71f3a1187498afbda0a3 Package: libspotltsmin0-dbgsym Source: spot Version: 2.12.2.0-1 Auto-Built-Package: debug-symbols Architecture: amd64 Maintainer: Alexandre Duret-Lutz Installed-Size: 695 Depends: libspotltsmin0 (= 2.12.2.0-1) Filename: amd64/libspotltsmin0-dbgsym_2.12.2.0-1_amd64.deb Size: 638128 MD5sum: 0947a6f056f8b2611c1c4d28c38a1ff7 SHA1: 41f91b84776bae3d6a9925fed9ca0cb0b7d0d062 SHA256: bdb047b1d27bd37e71f360daab51e4e3ccf2a1139aa42c497fc1409c2661bfed Section: debug Priority: optional Description: debug symbols for libspotltsmin0 Build-Ids: c268d41c968da9156da097d8a7387995a03ad5ee Package: python3-spot Source: spot Version: 2.12.2.0-1 Architecture: i386 Maintainer: Alexandre Duret-Lutz Installed-Size: 23564 Depends: libbddx0 (>= 2.12.2.0), libc6 (>= 2.3.6-6~), libgcc-s1 (>= 3.4), libspot0 (>= 2.12.2.0-1), libspotgen0 (>= 2.12.2.0), libspotltsmin0 (>= 2.12.2.0-1), libstdc++6 (>= 9), python3 (<< 3.10), python3 (>= 3.9~), python3:any, libspot0 (<< 2.12.2.0-1.1~), libspotltsmin0 (<< 2.12.2.0-1.1~) Suggests: ipython3 Filename: i386/python3-spot_2.12.2.0-1_i386.deb Size: 1783492 MD5sum: ef95f281249360f54a035c9a8be97490 SHA1: 5c3d773f6c1a5dcb7a0629ba6f4d072efcf31451 SHA256: 663207d33cf1da99af78b166fbd676cbfa98042c1ac96f34a863393fdc695e48 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.12.2.0-1 Architecture: amd64 Maintainer: Alexandre Duret-Lutz Installed-Size: 23847 Depends: libbddx0 (>= 2.12.2.0), libc6 (>= 2.14), libgcc-s1 (>= 3.4), libspot0 (>= 2.12.2.0-1), libspotgen0 (>= 2.12.2.0), libspotltsmin0 (>= 2.12.2.0-1), libstdc++6 (>= 9), python3 (<< 3.10), python3 (>= 3.9~), python3:any, libspot0 (<< 2.12.2.0-1.1~), libspotltsmin0 (<< 2.12.2.0-1.1~) Suggests: ipython3 Filename: amd64/python3-spot_2.12.2.0-1_amd64.deb Size: 1777496 MD5sum: 1438dac9c2d9440cfeacf810e0ca9ae2 SHA1: 078550972ec0efc523536b6eb282968076e4d882 SHA256: bb88bf6855a5b981ef17a09350f9602b5fc587a7fc4b0d7aa847ea8496800750 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.12.2.0-1 Auto-Built-Package: debug-symbols Architecture: i386 Maintainer: Alexandre Duret-Lutz Installed-Size: 7066 Depends: python3-spot (= 2.12.2.0-1) Filename: i386/python3-spot-dbgsym_2.12.2.0-1_i386.deb Size: 6443880 MD5sum: 8a62eb8e1d629fa9f20d8e9518c7eba9 SHA1: 950180f16c3ebebdc99b7a4b30a76ff79778d840 SHA256: 6266075e363acb5634f232aee6b65d7b28e27b7a88b82790f61178d99f8f752d Section: debug Priority: optional Description: debug symbols for python3-spot Build-Ids: 20887b6ff2a73f66ae751448a028a33f9dc715fc 6cceac05576472be66e47525aaabe6680690a935 c1451ef11a3f501b775b3139cd6448f8c8906069 dcda6f0b47de61aea32aaf3ff3635a379c79a92a Package: python3-spot-dbgsym Source: spot Version: 2.12.2.0-1 Auto-Built-Package: debug-symbols Architecture: amd64 Maintainer: Alexandre Duret-Lutz Installed-Size: 7469 Depends: python3-spot (= 2.12.2.0-1) Filename: amd64/python3-spot-dbgsym_2.12.2.0-1_amd64.deb Size: 6683584 MD5sum: cda971de76db7d9e9d3ec6f434e99ff8 SHA1: 1878086caac3c468024e20cb09aef6e9325bebde SHA256: 62cc4dd1347487aa8ce46365ed69992e56852d40bc61f883a07bc6cfec72dcfe Section: debug Priority: optional Description: debug symbols for python3-spot Build-Ids: 7f17154cff82c0f2c6ad10a5a5e02368b838afcc d0877b46dfa3257691f7cf78de92caa5ee1b2997 e4d25b9b6ca32a59e5d7618f4017920daaeec207 f98ad294434fb6e42717c3332fcecf6c22a8f5b0 Package: spot Version: 2.12.2.0-1 Architecture: i386 Maintainer: Alexandre Duret-Lutz Installed-Size: 2801 Depends: libbddx0 (>= 2.12.2.0), libc6 (>= 2.15), libgcc-s1 (>= 4.2), libspot0 (>= 2.12.2.0-1), libspotgen0 (>= 2.12.2.0-1), libstdc++6 (>= 9), libspot0 (<< 2.12.2.0-1.1~), libspotgen0 (<< 2.12.2.0-1.1~) Recommends: graphviz Suggests: libspot-dev, spot-doc, python3-spot Filename: i386/spot_2.12.2.0-1_i386.deb Size: 1063372 MD5sum: dff43fbdddd98f50c0b0e51d6d9ead84 SHA1: 7769ae16659561bc5615441a0cc8faa5b6016f9f SHA256: 247d309bf4cc697b0e55adfaff98912d7ccd0d60170207ad1e808c4b21fdab25 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.12.2.0-1 Architecture: amd64 Maintainer: Alexandre Duret-Lutz Installed-Size: 2925 Depends: libbddx0 (>= 2.12.2.0), libc6 (>= 2.15), libgcc-s1 (>= 3.3.1), libspot0 (>= 2.12.2.0-1), libspotgen0 (>= 2.12.2.0-1), libstdc++6 (>= 9), libspot0 (<< 2.12.2.0-1.1~), libspotgen0 (<< 2.12.2.0-1.1~) Recommends: graphviz Suggests: libspot-dev, spot-doc, python3-spot Filename: amd64/spot_2.12.2.0-1_amd64.deb Size: 1055988 MD5sum: 7f4bfc0efc3a3ea98fa93e7a2367eab8 SHA1: 64935cddcb93604c45bd3ce5c8f2b64cefc15a17 SHA256: 2b10b69175a81af25e3f4265c37e4d62b1744d84d260c154f4019f09194b571e 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.12.2.0-1 Auto-Built-Package: debug-symbols Architecture: i386 Maintainer: Alexandre Duret-Lutz Installed-Size: 7643 Depends: spot (= 2.12.2.0-1) Filename: i386/spot-dbgsym_2.12.2.0-1_i386.deb Size: 6816184 MD5sum: 01c5dd7ded47f857aeaf747ac22bb3b0 SHA1: dfaed0873c1d3df50d1ba1cd4a0de6d4359ad005 SHA256: 4b44fa615c2e106337a73acd078b3839b5453786eb83174658c2d5f06d8c336f Section: debug Priority: optional Description: debug symbols for spot Build-Ids: 0cddda491922b8e56e357858b6b3ffa4bff87c59 1356da54965ce6d05351240f7b246ff9b25e8a9b 286f5c4759721614670493a667b7aca3d3c2ea55 2ef0997ddf7d2c0ffcd76344bb0637e1fc18fb39 3b5d398c6e86894e891e775c4e46c418ce90398f 3f38308b6554c6b45d16b8e9e71ef2391923d78f 63d25c7a602498e1c3cf647f73e0da8c784f8de4 6ff7f7ebdece55b6c5d4ca0bc8e3cc95a022524d 76921a4323ee1ff4bb92282024572ebba5237726 889359101f02ea1e18a127f919652311c50c87d8 8b0aae100c414657a434b304a03bdcfd3c00176e 9af897cd504258d2c7a7956349bda5647684e63c afbb26c75738f53996ebdce6ede0851b0904cae7 d1ae152c68f3c858bbf71c8f640ef76899d92885 Package: spot-dbgsym Source: spot Version: 2.12.2.0-1 Auto-Built-Package: debug-symbols Architecture: amd64 Maintainer: Alexandre Duret-Lutz Installed-Size: 8116 Depends: spot (= 2.12.2.0-1) Filename: amd64/spot-dbgsym_2.12.2.0-1_amd64.deb Size: 7022344 MD5sum: 8030ca3646b7fe88989085b5fafcfc15 SHA1: 73d8cf91c574122f1c41175c44f000c051833bc3 SHA256: 43d2b9a0af4bfe9fcb15aba0f46b8c4de153f98cc2e170851533fc0804cee615 Section: debug Priority: optional Description: debug symbols for spot Build-Ids: 0663bead47e595a82cd3f4b7bc9939ee3e60aecc 167fe40f19046303fafcd4a5f9583d5ab38cfff0 184b4eed171caf168906fd53cb83f7b1b5a0c2f8 1dfe9996b51e7a3a5e6807997b88e3159038f7a8 34a7ae463d355779b47920c337d313ba7e0c3295 53c3fe023f94e9415012a0dd2bbbb46a719abf3e 68b612e2b4b37ce91c83255a2c6c363f8dacc02a 7fa19028e6964653d00b543c2a3acdc226b6b649 99d00aeb308b5b79a7110065e500f257f39c090e bf6d3bff2ff131a4fe5fb35317856d5292204f2d c00a6f405bd154fa15780fa5b06824a85a567781 c03370eb1a5191db33b24a430f66014e905fcdff c0f9a6f99f9c0c8ec89ab9fb18aa09f4d190cc8a d935c27e16e760667d36358a2d0402334737d2b7 Package: spot-doc Source: spot Version: 2.12.2.0-1 Architecture: all Maintainer: Alexandre Duret-Lutz Installed-Size: 29444 Depends: libjs-mathjax, libjs-jquery, libjs-requirejs Filename: all/spot-doc_2.12.2.0-1_all.deb Size: 2221728 MD5sum: 3add9e84afc737c339016bea8630b6a4 SHA1: e66d14e2ef78ee987b96a778035157300a897768 SHA256: d256ef24d75f2507f63531391d8e9e82450aab91d670e464d3457c4e8be9c51c Section: doc Priority: optional Homepage: http://spot.lrde.epita.fr/ Description: documentation for Spot HTML and PDF documentation for Spot.