Package: libbddx-dev Source: spot Version: 2.15.1.0-1 Architecture: i386 Maintainer: Alexandre Duret-Lutz Installed-Size: 379 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: 108212 MD5sum: 149e6d336a7abce9173db47036615d56 SHA1: 0d4e0d0b4f12b4e18f94efa8eb7165af6c4f8635 SHA256: 7daa151c7830c82ce522bfe044a993ba24f1546e2d27b518c756f6658fc28469 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: 428 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: 101528 MD5sum: 1bcb486c8b83ed3fe31652597bf53a53 SHA1: 7b54255081554b16dde5485a7c847ce97dca6341 SHA256: 2a9c97aa4a8fd6eaeaf8a1430f6060c4fd1a2ee7864a862486cf75f2bc95b6e0 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: 191 Depends: libc6 (>= 2.29), libgcc-s1 (>= 3.3.1), libstdc++6 (>= 11) Recommends: graphviz Suggests: libbddx-dev Filename: i386/libbddx0_2.15.1.0-1_i386.deb Size: 78312 MD5sum: 30ab3a06007d1c6c8250a562ea52b39f SHA1: 96baccf792097bf6b75bdacf8188df35863df1b8 SHA256: b137d82d403b11dec1265a0646c760d0b6882bd345861f929dd23aaad7ce953a 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: 184 Depends: libc6 (>= 2.29), libgcc-s1 (>= 3.3.1), libstdc++6 (>= 11) Recommends: graphviz Suggests: libbddx-dev Filename: amd64/libbddx0_2.15.1.0-1_amd64.deb Size: 76572 MD5sum: 139a3c955eaa781182c956f8b809ccf7 SHA1: c00c9edab3a287c8f55639cc1d9b8e80ddb44f3d SHA256: 6f61fcd27ff71e969d8ef1da60393792b97fdc1da40ebc6100acdf4017904374 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: 281 Depends: libbddx0 (= 2.15.1.0-1) Filename: i386/libbddx0-dbgsym_2.15.1.0-1_i386.deb Size: 260004 MD5sum: 66df9c340f660721524d8eb3a5b0f2cc SHA1: 6e08dea19738bcef3a31e6ca2777a27ac389385e SHA256: 702da090c7f928fa47972ae288570ddfff7a46b8277e6d3ef7317fe7f7934d62 Section: debug Priority: optional Description: debug symbols for libbddx0 Build-Ids: 96ccfcff0e7f599b7b2e77a34116a99fb2ceb62c Package: libbddx0-dbgsym Source: spot Version: 2.15.1.0-1 Auto-Built-Package: debug-symbols Architecture: amd64 Maintainer: Alexandre Duret-Lutz Installed-Size: 291 Depends: libbddx0 (= 2.15.1.0-1) Filename: amd64/libbddx0-dbgsym_2.15.1.0-1_amd64.deb Size: 265268 MD5sum: 2d5c78fa182278d4e4ac2d8a4ff6ab7d SHA1: 70916f4abfc55270c42c49f235198f174d8ddd0a SHA256: 2511d581013f2655a77cdd632bba83f5dcaa9bbc7490759f83a2161fa94ba864 Section: debug Priority: optional Description: debug symbols for libbddx0 Build-Ids: 77293313a12a1e9aaf1ecd0767a44f9a71c9d3c3 Package: libspot-dev Source: spot Version: 2.15.1.0-1 Architecture: i386 Maintainer: Alexandre Duret-Lutz Installed-Size: 14959 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: 3389860 MD5sum: c8a4bc9e8497625a69ae69460bfc1247 SHA1: 7c20941ec5a56e5e1cced349266ae6e2a8a341ce SHA256: c467dae8787a64096ad11c8840e396a9657ac40a5b3cc0f193185a288637c10b 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: 17532 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: 3212496 MD5sum: f50a03bfa487fe265b5125fe15c50c88 SHA1: 7f948486d9f5f8193483b32e691fa11804a8abb4 SHA256: c09b4ff3e907c98a083e482e43a6ba3a64cea0460b31cc04fd405500633a7b4b 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: 4164 Depends: libbddx0 (>= 2.15.1.0-1), libc6 (>= 2.33), libgcc-s1 (>= 3.4), libstdc++6 (>= 11), 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: 1949472 MD5sum: a782a3ae41e3f66acb02ecad9ba3e08f SHA1: 00d1df7219a3bfb0a781add38ccc0c5632bd7a84 SHA256: 6517629bbbb9fec640ff6307808e4ce89004da4ae70b85d81fa5f04b18538ced 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: 4063 Depends: libbddx0 (>= 2.15.1.0-1), libc6 (>= 2.33), libgcc-s1 (>= 3.4), libstdc++6 (>= 11), 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: 1852444 MD5sum: cd3beb6fb4b2db391980caa9e35a6c63 SHA1: b97addebff51d5c325cbef85d5a00a4957d5ac42 SHA256: 375ca615b827dd419d368e4b6e78ace1e2a0578db6d372b215b3217b1270e625 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: 28237 Depends: libspot0 (= 2.15.1.0-1) Filename: i386/libspot0-dbgsym_2.15.1.0-1_i386.deb Size: 27917916 MD5sum: bf3ec0418584dabfeaf6903f9edd728f SHA1: a06d7b5b496f74910031e378cf4ad876eb8b8cc0 SHA256: 53f96f3af93e2e8fa38ee43a5ebb83773fef014f3d33331b2100c848c9a67586 Section: debug Priority: optional Description: debug symbols for libspot0 Build-Ids: 331b9f12f3d000ddf6580350df3173deab49eac9 Package: libspot0-dbgsym Source: spot Version: 2.15.1.0-1 Auto-Built-Package: debug-symbols Architecture: amd64 Maintainer: Alexandre Duret-Lutz Installed-Size: 28851 Depends: libspot0 (= 2.15.1.0-1) Filename: amd64/libspot0-dbgsym_2.15.1.0-1_amd64.deb Size: 28485924 MD5sum: 76738be798453f5541bdee9211603be1 SHA1: f9748ce0d3d164bc365d66226d29fca0dab9cf7f SHA256: 229b39aeedf26659df2074c4c9e7444f19837cbec2462ddcf800367060a67a88 Section: debug Priority: optional Description: debug symbols for libspot0 Build-Ids: 8b1d9282ae5525a54db0412acb64e5375c2b3d39 Package: libspotgen0 Source: spot Version: 2.15.1.0-1 Architecture: i386 Maintainer: Alexandre Duret-Lutz Installed-Size: 558 Depends: libbddx0 (>= 2.15.1.0), libc6 (>= 2.32), libgcc-s1 (>= 3.3.1), libspot0 (>= 2.15.1.0-1), libstdc++6 (>= 11), libspot0 (<< 2.15.1.0-1.1~) Suggests: libspot-dev Filename: i386/libspotgen0_2.15.1.0-1_i386.deb Size: 433156 MD5sum: e5142c0b70c55dc601a0de65aed027b2 SHA1: a48fec6872e00b2a3bc35e0761cf30910f2bec93 SHA256: ab990231e3fd41d0e48fac974fbc94093c7befa87661467a1e2d4d39499399f1 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: 559 Depends: libbddx0 (>= 2.15.1.0), libc6 (>= 2.32), libgcc-s1 (>= 3.3.1), libspot0 (>= 2.15.1.0-1), libstdc++6 (>= 11), libspot0 (<< 2.15.1.0-1.1~) Suggests: libspot-dev Filename: amd64/libspotgen0_2.15.1.0-1_amd64.deb Size: 430084 MD5sum: 13481b7c6f4d3a3ed96df2a6fa0bc612 SHA1: 9b16aefbec54d1dd008ed39efffe71c3f8ec399f SHA256: fad01a6d467d46955470b80eafeb60721699bdccfe19d906aefd6115e6750e5a 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: 744 Depends: libspotgen0 (= 2.15.1.0-1) Filename: i386/libspotgen0-dbgsym_2.15.1.0-1_i386.deb Size: 721944 MD5sum: 9e7db348bd4ab18ba7ad9e6cf34fbbdc SHA1: bfe53bf157c562d1a22e00789c911fd9ff6106d9 SHA256: 462cd82a01f9cd8fdbe82468ad7763a50413c250191e242bd995b0a977df2e34 Section: debug Priority: optional Description: debug symbols for libspotgen0 Build-Ids: 5309b82ec5f12f2640277b00ffc70e36cf33e364 Package: libspotgen0-dbgsym Source: spot Version: 2.15.1.0-1 Auto-Built-Package: debug-symbols Architecture: amd64 Maintainer: Alexandre Duret-Lutz Installed-Size: 763 Depends: libspotgen0 (= 2.15.1.0-1) Filename: amd64/libspotgen0-dbgsym_2.15.1.0-1_amd64.deb Size: 737044 MD5sum: 6ff010d56fc9a9c8bc5ea33b6203d9ac SHA1: 7657b789f37d08dfa4520664ca413a94249d7515 SHA256: 01c34cfdfac26119f178163eefab0abfde1c95f78246464c01213bb7c161adf9 Section: debug Priority: optional Description: debug symbols for libspotgen0 Build-Ids: 0172bf016563940e20a97291c84f2976b8be2d5c 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.33), libgcc-s1 (>= 3.3.1), libltdl7 (>= 2.4.7), libspot0 (>= 2.15.1.0-1), libstdc++6 (>= 11), libspot0 (<< 2.15.1.0-1.1~) Suggests: libspot-dev Filename: i386/libspotltsmin0_2.15.1.0-1_i386.deb Size: 385680 MD5sum: 5db56d7d1ec96959eb9775e8f191d70e SHA1: 04856a69721531b8494a16352eb6fc0ffcbd112b SHA256: eedbef72204e0745710cb57d6a280348a2cff51c04925267593587181adf246f 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.33), libgcc-s1 (>= 3.3.1), libltdl7 (>= 2.4.7), libspot0 (>= 2.15.1.0-1), libstdc++6 (>= 11), libspot0 (<< 2.15.1.0-1.1~) Suggests: libspot-dev Filename: amd64/libspotltsmin0_2.15.1.0-1_amd64.deb Size: 383520 MD5sum: 2bc3a0f99adcee8b00e01a13496f8b34 SHA1: 9caed245ab9c6c404b360f081a958a5d423e937d SHA256: 51b4c0c31358b86e96f24c50856ecee4cc0568a69920c62c66c2ee04ff138e72 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: 653 Depends: libspotltsmin0 (= 2.15.1.0-1) Filename: i386/libspotltsmin0-dbgsym_2.15.1.0-1_i386.deb Size: 636736 MD5sum: 54fe1eb3752d79129e356c2732d8ece1 SHA1: 8ca07ca0264b3778f7e6181a1236df73a09b79ba SHA256: 2c62c34608c3cdf730c14c58733f7768133810ddf2547a9142ad772e9f6da1cb Section: debug Priority: optional Description: debug symbols for libspotltsmin0 Build-Ids: 36c4a3a466ec340c3e5d12a64700d9cf12e85796 Package: libspotltsmin0-dbgsym Source: spot Version: 2.15.1.0-1 Auto-Built-Package: debug-symbols Architecture: amd64 Maintainer: Alexandre Duret-Lutz Installed-Size: 662 Depends: libspotltsmin0 (= 2.15.1.0-1) Filename: amd64/libspotltsmin0-dbgsym_2.15.1.0-1_amd64.deb Size: 642616 MD5sum: 2c3f97b7ec82700c2cb99ee5f71b4787 SHA1: 8244d4ab3aa20794144f06f9b2bc4330f46282de SHA256: 8dbff28bbea97e54f244269c0b59ecbe2303090957892bb470e908b1d6616869 Section: debug Priority: optional Description: debug symbols for libspotltsmin0 Build-Ids: 5d840528c51d31fba2cda3f2f1f6186392406756 Package: python3-spot Source: spot Version: 2.15.1.0-1 Architecture: i386 Maintainer: Alexandre Duret-Lutz Installed-Size: 47273 Depends: libbddx0 (>= 2.15.1.0), libc6 (>= 2.32), libgcc-s1 (>= 3.4), libspot0 (>= 2.15.1.0-1), libspotgen0 (>= 2.15.1.0), libspotltsmin0 (>= 2.15.1.0-1), libstdc++6 (>= 11), python3 (<< 3.12), python3 (>= 3.11~), 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: 2615696 MD5sum: c746243b5ccfc327908f1b637491a9df SHA1: a02212437b2844eb331519f5e282515a7e2f6721 SHA256: ac981414909fa2023bab5f6646872cbc2c253484129159d35156f212b74ef84b 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: 47562 Depends: libbddx0 (>= 2.15.1.0), libc6 (>= 2.32), libgcc-s1 (>= 3.4), libspot0 (>= 2.15.1.0-1), libspotgen0 (>= 2.15.1.0), libspotltsmin0 (>= 2.15.1.0-1), libstdc++6 (>= 11), python3 (<< 3.12), python3 (>= 3.11~), 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: 2612564 MD5sum: be3a997d1353033004d882ddadd1c839 SHA1: dc85bb9c8a7e98643a5ed6afb0e56bb3f2d54a8b SHA256: 3a7c7a9a2ef57b895aeadbac2f08ec8911e85f4658719aec0d676c6b706da1ff 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: 7545 Depends: python3-spot (= 2.15.1.0-1) Filename: i386/python3-spot-dbgsym_2.15.1.0-1_i386.deb Size: 6996968 MD5sum: 2cf004f5ffb057162bf5edd1e120e7e9 SHA1: 431376b512a913c06220296af67bdac0ad2156fd SHA256: 94dd5b2eb4e11d3c0a229da67c970193f0cea01e7f18e9d666da76689731837a Section: debug Priority: optional Description: debug symbols for python3-spot Build-Ids: 26f07171a9b66a90dac4794a51b0a7f9cc6032dc 58ab1229954a32c8cc262d0a6d8e963e7e645dba 5b844229153074d258418dff659d45856397c232 92e3be601ec81080cf34c18926f6d720c448c129 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: 7841 Depends: python3-spot (= 2.15.1.0-1) Filename: amd64/python3-spot-dbgsym_2.15.1.0-1_amd64.deb Size: 7215100 MD5sum: 1d492553ed0c5120ec0e75d0f571b6fd SHA1: 9d821ad6ddecf1ecbaa29460c9aef31796653ab1 SHA256: 954106dd02328e7c9dbfd10de64f76e36f4da09902f8d70759c671d36b1a4cc5 Section: debug Priority: optional Description: debug symbols for python3-spot Build-Ids: 6c2275137ac1c16faaf366d9b1638f0f18b36430 8273f1468522b3aba8a5e1978cc65e02c671af38 a632616e2de042e4b6c37c2e8802dbeaf19f21cb d8ad8a0061418f20194c7408f86678cf8f5870b3 Package: spot Version: 2.15.1.0-1 Architecture: i386 Maintainer: Alexandre Duret-Lutz Installed-Size: 3532 Depends: libbddx0 (>= 2.15.1.0), libc6 (>= 2.34), libgcc-s1 (>= 4.2), libspot0 (>= 2.15.1.0-1), libspotgen0 (>= 2.15.1.0-1), libstdc++6 (>= 11), 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: 1229732 MD5sum: b1063d2e1cb408d1cf23a21c1f1eaf06 SHA1: 9a7faa2890796b153f07c65d9062805bc6ef38c5 SHA256: 76084143559434b32a8f7ccdc7078f8519ab042c4974807f7f56fa94e3aa6199 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: 3635 Depends: libbddx0 (>= 2.15.1.0), libc6 (>= 2.34), libgcc-s1 (>= 3.3.1), libspot0 (>= 2.15.1.0-1), libspotgen0 (>= 2.15.1.0-1), libstdc++6 (>= 11), 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: 1195028 MD5sum: c3d2e76b1c76f41c2c670a81f64ba7d4 SHA1: 95e5e4b543471458bb68a366054c1c3544c24bd4 SHA256: 3600ea6d21fbfedbaeee7103fc5a2b536763aa4e86d9143fb061d2bb73edf6c6 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: 15034 Depends: spot (= 2.15.1.0-1) Filename: i386/spot-dbgsym_2.15.1.0-1_i386.deb Size: 14492432 MD5sum: 2c631478e6e77d92d94da268c9321fd4 SHA1: 7bd96e431dde4ea4c4e985ed45ece79f95c2bee0 SHA256: 16168ba075de95282a204215740646be02d8e1d7cc4d0370269ea4f6d7ccd4de Section: debug Priority: optional Description: debug symbols for spot Build-Ids: 041045a7bc0dac322c2994c38acfdd4be3855cfd 0a50fc127fc9bfd85856acde5803cb2be756d2d0 0f1ad2274c71891455b9b25e1ea425b262ae83fe 16eca6b4a1233ffe5181ec0a53a8f84ffdce440a 293bc2e0fe7a4d2faaeb0a5b80be42f932876ec8 29d21c534b187935378fe678755a335e1a9c3d6b 30ca7add6476e22b44514f1c85bb4712f8048a01 46a6ebba64f99d1e292b2e60864398cbeaa1dc5d 4df6638c339c60c555a6368e3180b50806c9b481 51a59e88725179207de5689df534b425991c8744 882ed5a88ffe1ed1e27358ff05eeaadbb73cb103 8e9f2991ae378ddd40178d1808f2b5178b543404 953a83f047b47e654eb5427712c213e209d2df26 c22c6b528564b97ae3b256b33d95a5c16baada73 c8fe5bc32e859322aef489fb5b71a0a964f5e17b f6a94998f18a9754d071968b509eebf6b1a61bd3 Package: spot-dbgsym Source: spot Version: 2.15.1.0-1 Auto-Built-Package: debug-symbols Architecture: amd64 Maintainer: Alexandre Duret-Lutz Installed-Size: 15354 Depends: spot (= 2.15.1.0-1) Filename: amd64/spot-dbgsym_2.15.1.0-1_amd64.deb Size: 14695784 MD5sum: fa11e11e37eb0b1def1ce3955a2b4af9 SHA1: ca78b868f64388efa9da0aabeb93bf0fa307a1e6 SHA256: dd73fd79ecc9ebde955ecb5886643be42b5e0603cc3ac1db71915d5968b2feab Section: debug Priority: optional Description: debug symbols for spot Build-Ids: 04d2f43e73fdc7c8fd508f7f7efed40dfca6b6f8 17472b1b3d60b182ba853d0c44c17f572f7bd634 17bef8f6af68d2252fcfc728688637857684cffb 31cd2a04d6912973609d6d0b9baa123b03f3d20a 4dde856d140ad127660a256f7e45f9d2aa0305fa 56640ca656a4731a6b0dff87d06d55ffe4729a08 5973ee7444880ec2c2e0b0b97d22e56ee14d313e 746b3b7b628cf088cd966001e59ed5167c679c71 74da0b30530d65896c68a0e8b19652e15af7a121 940a00abaf342d04e4e6466a01d3082249eb1566 94cec4682ede78314e4b26265ace43b1095d0c33 970104a09b28d459a26afe9529c91e15630d171a ad66b00725a74e50f75ab397a1ea15d50536daaf d22d0d5ce545fd42189a1566232f9245d3daefb8 d935a00aa54c9e6dbc5124323bfb011cbd618b4f e4f297eee78af6aa4c74b01329bb8070d81f20e9 Package: spot-doc Source: spot Version: 2.15.1.0-1 Architecture: all Maintainer: Alexandre Duret-Lutz Installed-Size: 26968 Depends: libjs-mathjax, libjs-jquery, libjs-requirejs Filename: all/spot-doc_2.15.1.0-1_all.deb Size: 2211788 MD5sum: cd928120d493fff54ff2db080d709d6d SHA1: 91cb7824c665a780c4e79de17ff82aca4c0dd230 SHA256: 7f6c1ea45199958f113016d01c08ad30241f41f45264d9de09aac260a56eacf4 Section: doc Priority: optional Homepage: http://spot.lrde.epita.fr/ Description: documentation for Spot HTML and PDF documentation for Spot.