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.16.0-1 Architecture: amd64 Maintainer: Alexandre Duret-Lutz Installed-Size: 469 Depends: libbddx0 (>= 2.16.0-1), libbddx0 (<< 2.16.0-1.1~) Filename: amd64/libbddx-dev_2.16.0-1_amd64.deb Size: 112204 MD5sum: 271650dfb55458cba369cc1fbb9c3a13 SHA1: f4198631455b96af1167d32fc7316b6779c1c412 SHA256: df34ecdc0a4bbcb49b72e77ee43f4c692cb8dc8156057a7416f15f7a408a8151 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.16.0-1 Architecture: amd64 Maintainer: Alexandre Duret-Lutz Installed-Size: 196 Depends: libc6 (>= 2.29), libgcc-s1 (>= 3.3.1), libstdc++6 (>= 11) Recommends: graphviz Suggests: libbddx-dev Filename: amd64/libbddx0_2.16.0-1_amd64.deb Size: 83420 MD5sum: 224a752a432fc53caadcf2c4e1c73488 SHA1: c5a0ad42d32a32d13a004f06fa795424d1fdde65 SHA256: 92637c1e219d634150e05b4a221a9732a7acbf7037d9bbf04034db2e83111741 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.16.0-1 Auto-Built-Package: debug-symbols Architecture: amd64 Maintainer: Alexandre Duret-Lutz Installed-Size: 401 Depends: libbddx0 (= 2.16.0-1) Filename: amd64/libbddx0-dbgsym_2.16.0-1_amd64.deb Size: 372156 MD5sum: 31a722d35a08d5a188874f0b3d1742c5 SHA1: 4dbff54068889529557e0f4e2d18e20fd0d96edc SHA256: 57d947206496d3118632b5255462f242f50c11acd634f2e67ede9d469c124961 Section: debug Priority: optional Description: debug symbols for libbddx0 Build-Ids: 137cd8a772b1bf37b037314e4405b0962dcd10d5 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.16.0-1 Architecture: amd64 Maintainer: Alexandre Duret-Lutz Installed-Size: 18233 Depends: libspot0 (>= 2.16.0-1), libspot0 (<< 2.16.0-1.1~), libspotltsmin0 (>= 2.16.0-1), libspotltsmin0 (<< 2.16.0-1.1~), libbddx-dev Suggests: spot-doc Filename: amd64/libspot-dev_2.16.0-1_amd64.deb Size: 3349556 MD5sum: 17ab92a89f4f761f4f37f70832cd79fc SHA1: 0e1b1458bf79afbb797e45451e5105b6433e3af1 SHA256: 1c73f785acf5e7f602cb0f5deaad1226a950617044001ec5746472dbd977589c 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: 1949168 MD5sum: 94f63c296b8d81c08fa6715ca2186215 SHA1: 4036b4f6ee20f22e92ca7f1639884ef4824a068f SHA256: b611cc578ca3ee4d754b732d9c93baaa6fcdd40f130d7233173ed05a278c064a 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.16.0-1 Architecture: amd64 Maintainer: Alexandre Duret-Lutz Installed-Size: 4370 Depends: libbddx0 (>= 2.16.0-1), libc6 (>= 2.33), libgcc-s1 (>= 3.4), libstdc++6 (>= 11), libbddx0 (<< 2.16.0-1.1~) Recommends: graphviz Suggests: libspot-dev, spot-doc, python3-spot Filename: amd64/libspot0_2.16.0-1_amd64.deb Size: 1984792 MD5sum: 09deecf6404242c39d2c1f5226ac1f12 SHA1: 34638dca3c5f67639a661364bf8595b8d4641eb3 SHA256: eeb5eb5c6f2f6efb401780b34e0dfec0d64605a95d073734efd169511acc4ff4 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: 28239 Depends: libspot0 (= 2.15.1.0-1) Filename: i386/libspot0-dbgsym_2.15.1.0-1_i386.deb Size: 27919648 MD5sum: bd7bf92e17830743fe02df8ad2a6d65d SHA1: 30a5d13a20ffda796a05b86e41dec15f55440fa1 SHA256: 83a8afa12ec271603b6cfe47e047044923dad5772ec8790093938e3397799dcb Section: debug Priority: optional Description: debug symbols for libspot0 Build-Ids: d130b22a22e4fa834122ab8605da7b01c12d41b2 Package: libspot0-dbgsym Source: spot Version: 2.16.0-1 Auto-Built-Package: debug-symbols Architecture: amd64 Maintainer: Alexandre Duret-Lutz Installed-Size: 30523 Depends: libspot0 (= 2.16.0-1) Filename: amd64/libspot0-dbgsym_2.16.0-1_amd64.deb Size: 30166036 MD5sum: fcaf7279526e1197ea9b7bc1315fed7b SHA1: 16b5b7b62b0032eaf088c58208755fe423a544b6 SHA256: 23f42473e2c494483a289f9b88ee685782be3187ca03fecef2656d461d35bc85 Section: debug Priority: optional Description: debug symbols for libspot0 Build-Ids: 3e1901ab607bb1ba7568ab48a3e84a80b21a28ad 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.16.0-1 Architecture: amd64 Maintainer: Alexandre Duret-Lutz Installed-Size: 566 Depends: libbddx0 (>= 2.16.0), libc6 (>= 2.32), libgcc-s1 (>= 3.3.1), libspot0 (>= 2.16.0-1), libstdc++6 (>= 11), libspot0 (<< 2.16.0-1.1~) Suggests: libspot-dev Filename: amd64/libspotgen0_2.16.0-1_amd64.deb Size: 440396 MD5sum: db9180bae90d65e1da2b8f2ef554f353 SHA1: 894760ca1ff4487ddcbe6ee942f4cf87ede79386 SHA256: 1f18407e907184cc6e79ccd1250e85ba849c3f6db4baf658e46a087a8ffa14a0 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.16.0-1 Auto-Built-Package: debug-symbols Architecture: amd64 Maintainer: Alexandre Duret-Lutz Installed-Size: 760 Depends: libspotgen0 (= 2.16.0-1) Filename: amd64/libspotgen0-dbgsym_2.16.0-1_amd64.deb Size: 733716 MD5sum: 9a89bd624286e6d05e93a386d89dfc99 SHA1: 1d68035dd49e7de33e95a273c56fb4feb279a4d1 SHA256: 9f69a89c87f59fc467e021aafda3fd2a0f474afafe4566e240698dcd8ee2b0c6 Section: debug Priority: optional Description: debug symbols for libspotgen0 Build-Ids: f7bf9f2cac472d99364929f2ae623177ba492a8a 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.16.0-1 Architecture: amd64 Maintainer: Alexandre Duret-Lutz Installed-Size: 450 Depends: libbddx0 (>= 2.16.0), libc6 (>= 2.33), libgcc-s1 (>= 3.3.1), libltdl7 (>= 2.4.7), libspot0 (>= 2.16.0-1), libstdc++6 (>= 11), libspot0 (<< 2.16.0-1.1~) Suggests: libspot-dev Filename: amd64/libspotltsmin0_2.16.0-1_amd64.deb Size: 398204 MD5sum: 9220d4762765de8fe6a8f1401b8f99c8 SHA1: 26e2f0e1fe44a1450e29de2a84454927e31822b4 SHA256: 17e9f169647409cbbbe50125394463af5ceac01d6404da3bcb4a427d4e8b316e 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.16.0-1 Auto-Built-Package: debug-symbols Architecture: amd64 Maintainer: Alexandre Duret-Lutz Installed-Size: 671 Depends: libspotltsmin0 (= 2.16.0-1) Filename: amd64/libspotltsmin0-dbgsym_2.16.0-1_amd64.deb Size: 651136 MD5sum: 8416fe7719dbfd0a885688df1dd287b9 SHA1: f9c57dfa5bafd7c9881b2665e578daa7879a0b06 SHA256: f7d898ce6e20b38ca9d458f9b3e86aa654f8ae565731c07b020f1249eaa40dc5 Section: debug Priority: optional Description: debug symbols for libspotltsmin0 Build-Ids: 4cd4e97b468d47badf3a55435215952fbe80fb0b 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.16.0-1 Architecture: amd64 Maintainer: Alexandre Duret-Lutz Installed-Size: 49665 Depends: libbddx0 (>= 2.16.0), libc6 (>= 2.32), libgcc-s1 (>= 3.4), libspot0 (>= 2.16.0-1), libspotgen0 (>= 2.16.0), libspotltsmin0 (>= 2.16.0-1), libstdc++6 (>= 11), python3 (<< 3.12), python3 (>= 3.11~), python3:any, libspot0 (<< 2.16.0-1.1~), libspotltsmin0 (<< 2.16.0-1.1~) Suggests: ipython3 Filename: amd64/python3-spot_2.16.0-1_amd64.deb Size: 2906832 MD5sum: d15b6c709565a6567a3d3275ee56c7f5 SHA1: 4246b065dd3bc1800145790bf38b07d6c0c1c5fe SHA256: 8ecfee88f2107a08eb8a5e929911f98deabe30256891995893747db6c306b1cb 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.16.0-1 Auto-Built-Package: debug-symbols Architecture: amd64 Maintainer: Alexandre Duret-Lutz Installed-Size: 8231 Depends: python3-spot (= 2.16.0-1) Filename: amd64/python3-spot-dbgsym_2.16.0-1_amd64.deb Size: 7563944 MD5sum: 5df2e116c7b1e10e578262b72cd78d9f SHA1: 982c18691120bc2a8e040549dd3ded82db9ae1cd SHA256: 656c00a82ef4e1566f4e4ea03ee69501cfeb8ead61a2f908c5437f80ee9fe0de Section: debug Priority: optional Description: debug symbols for python3-spot Build-Ids: 8c593f24ff2f4ab095b0027cd1f8b5107409d416 ac5d5b8a0aaff283c3ef77497abc040c8dd272e3 dc996456188c79737ed2cb2b96813cb54f61ad94 fef7d1a5367b187aa4cbb3477ccd0a4dbc736e63 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.16.0-1 Architecture: amd64 Maintainer: Alexandre Duret-Lutz Installed-Size: 4077 Depends: libbddx0 (>= 2.16.0), libc6 (>= 2.34), libgcc-s1 (>= 3.3.1), libspot0 (>= 2.16.0-1), libspotgen0 (>= 2.16.0-1), libstdc++6 (>= 11), libspot0 (<< 2.16.0-1.1~), libspotgen0 (<< 2.16.0-1.1~) Recommends: graphviz Suggests: libspot-dev, spot-doc, python3-spot Filename: amd64/spot_2.16.0-1_amd64.deb Size: 1286980 MD5sum: 1276959c617a7365971a5bac07bd26f6 SHA1: 1651bdb5f1829634e7190abb7dde107a6450a8dc SHA256: 9d8c1f95c43d56f67f3da3a1887d89c497e5b97df8279ba604b523c6cb8d7a5b Section: science Priority: optional Homepage: http://spot.lrde.epita.fr/ Description: model checking and omega-automata manipulation tools 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.16.0-1 Auto-Built-Package: debug-symbols Architecture: amd64 Maintainer: Alexandre Duret-Lutz Installed-Size: 17435 Depends: spot (= 2.16.0-1) Filename: amd64/spot-dbgsym_2.16.0-1_amd64.deb Size: 16705492 MD5sum: 36aca97ca04165da1e438bf4b5198f57 SHA1: 8cdc908d277644e3a2c8236cdb2d2465866a120f SHA256: 9c105cb43649dc06c6047845ef37e2005d9198a078b3c49ede23c58099859d94 Section: debug Priority: optional Description: debug symbols for spot Build-Ids: 04cfa5b693de5d7551daaeeababd6854260a0c3e 05138713dfe697c3bc303bcef919aa7ff97747a1 23f8b2c96f0d8799671c1bcaa0dbdef305a092e6 29ba3f892fc35b57792b0f670515d99e42c4766e 2f6ed4064e2cea9b44a4fadc536dc4a579a4afd7 36b49e8f4ba4016e72ee1448044e907d0a543dfd 3dc629b526323ae2a7fda0832e3d65d6e30cc8e8 3f304186fafc1f0a49fb88960ba11666d5c56bb7 4d3fc027dfd685b2db579a8d7710101c3df1ba44 6bc560d81b6e9f255d02d054bc3b803e5352bf69 9a23811687729a123478678db7fdf1612b2ad592 b1940df8291cf93f05f39860d8debd68c479f981 c4eebab9cda4e323905d5a77fba206ebe3c6697c d992bcc83657abd26b1edc86bc808fefe4a47a98 dbfc761815cba922e4c93ee007d1a82d68c2f2da e28d49013dafd4da593ba24563e644a2d86ddcaf eb43e540baffca634fccbb7bd51db7264dd186cd ecfc19f84969fc448889ea50483ce946e5954bd6 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. Package: spot-doc Source: spot Version: 2.16.0-1 Architecture: all Maintainer: Alexandre Duret-Lutz Installed-Size: 31136 Depends: libjs-mathjax, libjs-jquery, libjs-requirejs Filename: all/spot-doc_2.16.0-1_all.deb Size: 2483976 MD5sum: 46d63e7afc8b680a1900b62a5510a013 SHA1: b90a049179f6e64ce0f65cd7fc56f43733044833 SHA256: ff3a0a1c0f09538f362eefae3aa57d12f24aa33dcbd6c57ee0fe27f9a818c9f5 Section: doc Priority: optional Homepage: http://spot.lrde.epita.fr/ Description: documentation for Spot HTML and PDF documentation for Spot.