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: 1949724 MD5sum: 26cd724f58c20ad266317eca016ea7f3 SHA1: a1f5ca6e3dafe04f680e2b0245c8b565cfb543be SHA256: 55d6046ae84af4670e864ccc9d114d51ff759d4522e4ab4fd061d3af6e1b9cb4 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: 1852104 MD5sum: ffa5363b488a146d1cbba8b70c1deb2b SHA1: aa79ef02f33a4b0984aea0c9224e2d2e15c94c1e SHA256: da11c7604506f8313e10aedeb256f52ab5b18a1068e564794f3c34c97447c108 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: 28238 Depends: libspot0 (= 2.15.1.0-1) Filename: i386/libspot0-dbgsym_2.15.1.0-1_i386.deb Size: 27918988 MD5sum: 7b281702a639c436c5413c940a8c2308 SHA1: 70489b65f3c844d9fc8a1b57c08b44c50b7ff6f1 SHA256: faaf2e0352b89acd4b5a7b1375f8059566c9c2013fef7268acb511c3edd565f3 Section: debug Priority: optional Description: debug symbols for libspot0 Build-Ids: 744f4767ec1ae049d7b53c484d47e06ab92c9869 Package: libspot0-dbgsym Source: spot Version: 2.15.1.0-1 Auto-Built-Package: debug-symbols Architecture: amd64 Maintainer: Alexandre Duret-Lutz Installed-Size: 28850 Depends: libspot0 (= 2.15.1.0-1) Filename: amd64/libspot0-dbgsym_2.15.1.0-1_amd64.deb Size: 28486256 MD5sum: 45ec39d43614b59920fe09b6ceea5e92 SHA1: 7632e19d691f3374794471da55599623c720e2f1 SHA256: a240f948b53f7072538739c1fa3b845a56ed53b19753c1b96ebd2343e52c0939 Section: debug Priority: optional Description: debug symbols for libspot0 Build-Ids: 6e35d527a045b8f03d6292e5443355bf65095065 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: 2615416 MD5sum: 2e6f20460993fb217494900dc36850cd SHA1: 5871c2f1089bd00a24106e6717aee56d454a7ee2 SHA256: 0cae5611ca512c0a214cc10bf7bc3521e530ba3d0d3a730a95b506d29ef540cf 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: 2611764 MD5sum: 91646e3bcecfd946477f6e3a48f16f58 SHA1: 3b574cfbc49d60db60921b6ea2652945947a0845 SHA256: a5783b6310bb395820a253c12a9ec676733e5af7951fd98210bbd56af9c74eac 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: 6998844 MD5sum: 64d530031696e3603ee350ea77c2112b SHA1: a071493d67b0aa1feb7167af46b4466bcc603f6a SHA256: 0ff427d39f0b6647c324ab2b060f059f032927a5006c27937de9969623765224 Section: debug Priority: optional Description: debug symbols for python3-spot Build-Ids: 26f07171a9b66a90dac4794a51b0a7f9cc6032dc 45b9ce764b2c86b20d157d1179533ab175eb1d51 58ab1229954a32c8cc262d0a6d8e963e7e645dba 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: 7215732 MD5sum: 307a9d5bce989f573e66ec991e84df5a SHA1: 86c5ff605f9453b53b661608d9e880d6cb9af28a SHA256: 2eb11c697ddcb00343f5f2fd121e2267c248d794cc922d9aced210f4dfd6d394 Section: debug Priority: optional Description: debug symbols for python3-spot Build-Ids: 8273f1468522b3aba8a5e1978cc65e02c671af38 9d44b0cf749fa9c281e0e7c212c67308b4d5db25 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: 2211844 MD5sum: 7148c8d5e424b25ae8f36bc1c478494b SHA1: 804f57d60b579e4367af41eeeaa62f13ee2d8955 SHA256: 462340fa9cf6aab604289ceb8f5c587c16daa4db010ee618c543b21cb5241ff8 Section: doc Priority: optional Homepage: http://spot.lrde.epita.fr/ Description: documentation for Spot HTML and PDF documentation for Spot.