Package: libbddx-dev Source: spot Version: 2.12.1.0-1 Architecture: i386 Maintainer: Alexandre Duret-Lutz Installed-Size: 292 Depends: libbddx0 (>= 2.12.1.0-1), libbddx0 (<< 2.12.1.0-1.1~) Filename: i386/libbddx-dev_2.12.1.0-1_i386.deb Size: 80308 MD5sum: dd66a9f0c4dfe8f83c5c2cd55eac2915 SHA1: a3d6d17691a6422c26719ead91000390a5bb86db SHA256: cc885cd174cf281429ce8295c4ddd110da4e932db6024d453a2604e5606d6a7a 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.1.0-1 Architecture: amd64 Maintainer: Alexandre Duret-Lutz Installed-Size: 333 Depends: libbddx0 (>= 2.12.1.0-1), libbddx0 (<< 2.12.1.0-1.1~) Filename: amd64/libbddx-dev_2.12.1.0-1_amd64.deb Size: 76228 MD5sum: dc2cf4d7ca7faa3de8b63237fa115cdd SHA1: c0eb56126580ce3595e8ed0715af4495438a4cbe SHA256: 2dfa43af1978793315f5e1e1d1277806ff0ff46727cbd619fd833b58b1203596 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.1.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.1.0-1_i386.deb Size: 59432 MD5sum: 067cff4b565ef18fa350754824ef9c2d SHA1: f769988f005462ef1994cb4653a04650c8510583 SHA256: 21a5deb076f217a37d0e89fdeffa0a844c86d5abe04e98da31b29c737bc8d056 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.1.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.1.0-1_amd64.deb Size: 59520 MD5sum: 50f54cf9e7dd4ed68ccae0e2b8ed0a5b SHA1: 7e21e9889ee7f4a9881d02e7038b095a0643a43b SHA256: 0999617139a566060c96c4092ed35248fe3345f5e28b5ccef6f59065a8a2064a 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.1.0-1 Auto-Built-Package: debug-symbols Architecture: i386 Maintainer: Alexandre Duret-Lutz Installed-Size: 163 Depends: libbddx0 (= 2.12.1.0-1) Filename: i386/libbddx0-dbgsym_2.12.1.0-1_i386.deb Size: 136208 MD5sum: 7c4ce885796cf8a2ebb06d6c61444bd4 SHA1: da8647728e02774216634115eecc0ef96370e3de SHA256: f599c5a7d7c2b6b6872d0313fc7f9e49af04df6d62ced872fcb82026a4e17d4f Section: debug Priority: optional Description: debug symbols for libbddx0 Build-Ids: bb02931280ee85c9d9f7fd117438b6e38b0c963e Package: libbddx0-dbgsym Source: spot Version: 2.12.1.0-1 Auto-Built-Package: debug-symbols Architecture: amd64 Maintainer: Alexandre Duret-Lutz Installed-Size: 179 Depends: libbddx0 (= 2.12.1.0-1) Filename: amd64/libbddx0-dbgsym_2.12.1.0-1_amd64.deb Size: 143404 MD5sum: a6ff771dbca9eb51281fa7df9571dd95 SHA1: cf38b957e85de478391264c1c23c888ffa0766df SHA256: e140740d9bb16af487679b0a16c833b8849abd0fbd81610910ccca8cac22318b Section: debug Priority: optional Description: debug symbols for libbddx0 Build-Ids: b32fa53313bfd3e5ac6044ef291baddab6dec38e Package: libspot-dev Source: spot Version: 2.12.1.0-1 Architecture: i386 Maintainer: Alexandre Duret-Lutz Installed-Size: 14113 Depends: libspot0 (>= 2.12.1.0-1), libspot0 (<< 2.12.1.0-1.1~), libspotltsmin0 (>= 2.12.1.0-1), libspotltsmin0 (<< 2.12.1.0-1.1~), libbddx-dev Suggests: spot-doc Filename: i386/libspot-dev_2.12.1.0-1_i386.deb Size: 2982192 MD5sum: 9550452890f9baa019fe6b3bfdcb6639 SHA1: 44726522bd2c9f0ce7cd27ae828cadb745428d12 SHA256: 0a8d21a6db949740addd5b167beb39a0eba768a5e048ff01d7680b2d98df14d5 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.1.0-1 Architecture: amd64 Maintainer: Alexandre Duret-Lutz Installed-Size: 16553 Depends: libspot0 (>= 2.12.1.0-1), libspot0 (<< 2.12.1.0-1.1~), libspotltsmin0 (>= 2.12.1.0-1), libspotltsmin0 (<< 2.12.1.0-1.1~), libbddx-dev Suggests: spot-doc Filename: amd64/libspot-dev_2.12.1.0-1_amd64.deb Size: 2846864 MD5sum: f945aad2ec10e952c888a43f03e8bf41 SHA1: 6f07fe6957593b95a4cfd2ddc04d94677f1d72b8 SHA256: fbb0adf9040d414a6ca739235a12a474a334dc6855c80156ff62606dc4f18cd9 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.1.0-1 Architecture: i386 Maintainer: Alexandre Duret-Lutz Installed-Size: 4549 Depends: libbddx0 (>= 2.12.1.0-1), libc6 (>= 2.17), libgcc-s1 (>= 3.4), libstdc++6 (>= 9), libbddx0 (<< 2.12.1.0-1.1~) Recommends: graphviz Suggests: libspot-dev, spot-doc, python3-spot Filename: i386/libspot0_2.12.1.0-1_i386.deb Size: 2137916 MD5sum: 89ca35452d44494be4d2a80d74248aa7 SHA1: 5842b362d64da121a425b8cc4ab6851d9b5e0e4a SHA256: 7005a7f42b77a7075d6a7f59f41bfefab04395a43af13a134720154df389df31 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.1.0-1 Architecture: amd64 Maintainer: Alexandre Duret-Lutz Installed-Size: 4364 Depends: libbddx0 (>= 2.12.1.0-1), libc6 (>= 2.29), libgcc-s1 (>= 3.4), libstdc++6 (>= 9), libbddx0 (<< 2.12.1.0-1.1~) Recommends: graphviz Suggests: libspot-dev, spot-doc, python3-spot Filename: amd64/libspot0_2.12.1.0-1_amd64.deb Size: 2060864 MD5sum: 1edd152a87696185ba0914319bef1369 SHA1: 2b8fd4289024a40c6a4e94d95dafb1318293894e SHA256: 6da7ad258eebcfc7b8d6401cd5842d5a796288e57f83df514eaa9926b1411d5d 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.1.0-1 Auto-Built-Package: debug-symbols Architecture: i386 Maintainer: Alexandre Duret-Lutz Installed-Size: 28431 Depends: libspot0 (= 2.12.1.0-1) Filename: i386/libspot0-dbgsym_2.12.1.0-1_i386.deb Size: 27784660 MD5sum: 01530815c06fa3ffb3841ffc745c4b54 SHA1: 5535af67932b8212573911be631cbc355d268e7b SHA256: 62763ea34fc6cc85cb532ddc2132b3564b9379db39206d28d1ada54137abac1f Section: debug Priority: optional Description: debug symbols for libspot0 Build-Ids: f0d7ae4e26e2e01a4e127f7e8ffaab46d599d089 Package: libspot0-dbgsym Source: spot Version: 2.12.1.0-1 Auto-Built-Package: debug-symbols Architecture: amd64 Maintainer: Alexandre Duret-Lutz Installed-Size: 29082 Depends: libspot0 (= 2.12.1.0-1) Filename: amd64/libspot0-dbgsym_2.12.1.0-1_amd64.deb Size: 28120564 MD5sum: 6e2c5fa6ce053ecd8659881c13a73c34 SHA1: 9c6101526e5e4443875237e4018ecfb51d840e62 SHA256: c7c93d28d92e188b25039aa2cafb5d9baba51e03f80feb5e8500945163b7b756 Section: debug Priority: optional Description: debug symbols for libspot0 Build-Ids: cf449a69a75d421b4baba08a991b9ef96a4d08d2 Package: libspotgen0 Source: spot Version: 2.12.1.0-1 Architecture: i386 Maintainer: Alexandre Duret-Lutz Installed-Size: 523 Depends: libbddx0 (>= 2.12.1.0), libc6 (>= 2.1.3), libgcc-s1 (>= 3.3.1), libspot0 (>= 2.12.1.0-1), libstdc++6 (>= 9), libspot0 (<< 2.12.1.0-1.1~) Suggests: libspot-dev Filename: i386/libspotgen0_2.12.1.0-1_i386.deb Size: 402128 MD5sum: 561a1d5b9179998e5761ea88f7227b95 SHA1: 4c2634da92fe4b194b6b2ec6143e7c6b8139c420 SHA256: c763039175b2ca861aaa4666bd2a8b36644756733dbe736f54fae5e0629732f9 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.1.0-1 Architecture: amd64 Maintainer: Alexandre Duret-Lutz Installed-Size: 528 Depends: libbddx0 (>= 2.12.1.0), libc6 (>= 2.29), libgcc-s1 (>= 3.3.1), libspot0 (>= 2.12.1.0-1), libstdc++6 (>= 9), libspot0 (<< 2.12.1.0-1.1~) Suggests: libspot-dev Filename: amd64/libspotgen0_2.12.1.0-1_amd64.deb Size: 400340 MD5sum: 837ebfcffca863d28723207c12e905d2 SHA1: 4b7c45893c195273442556a6cce756d42550ae63 SHA256: c1fc6545a0eaaf40badde35063e1c33c7f0182700ef27e6f6e52744790e2d8b7 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.1.0-1 Auto-Built-Package: debug-symbols Architecture: i386 Maintainer: Alexandre Duret-Lutz Installed-Size: 681 Depends: libspotgen0 (= 2.12.1.0-1) Filename: i386/libspotgen0-dbgsym_2.12.1.0-1_i386.deb Size: 655992 MD5sum: 096168f834d97d47dbdefbf2706bf406 SHA1: 089e2ec625394de0a76894c90a2551a718cb23bf SHA256: 14f33ba8cf1b7ea54d8ebbe4f882f3724b65fe49c1a4245f81c63b30ee7e30d3 Section: debug Priority: optional Description: debug symbols for libspotgen0 Build-Ids: 59d33943864d377c2c54cdf3e6a8fd366f707988 Package: libspotgen0-dbgsym Source: spot Version: 2.12.1.0-1 Auto-Built-Package: debug-symbols Architecture: amd64 Maintainer: Alexandre Duret-Lutz Installed-Size: 699 Depends: libspotgen0 (= 2.12.1.0-1) Filename: amd64/libspotgen0-dbgsym_2.12.1.0-1_amd64.deb Size: 664608 MD5sum: 13e41d6dca60970183adfd7ae7a591d3 SHA1: c1a95bc0f8d7dad62d599155ea9238a01f47870a SHA256: 4e6da61b48cf39c2a72618b71bd2ac733a43e44e4fea5a6ffecf68224a433e34 Section: debug Priority: optional Description: debug symbols for libspotgen0 Build-Ids: 06120e1ec69f56a54c32fa33cb12e27fde18ebaf Package: libspotltsmin0 Source: spot Version: 2.12.1.0-1 Architecture: i386 Maintainer: Alexandre Duret-Lutz Installed-Size: 407 Depends: libbddx0 (>= 2.12.1.0), libc6 (>= 2.3.6-6~), libgcc-s1 (>= 3.3.1), libltdl7 (>= 2.4.6), libspot0 (>= 2.12.1.0-1), libstdc++6 (>= 9), libspot0 (<< 2.12.1.0-1.1~) Suggests: libspot-dev Filename: i386/libspotltsmin0_2.12.1.0-1_i386.deb Size: 358608 MD5sum: 1a336c0af8bc39ba0fa2d3683e4e2c1a SHA1: 188851cdebff14fcc52b540d11a6e1b3377afe53 SHA256: 5f9b7555b0d5000be888b7c6211fdb6b8b76b507920455071d5bece399df14d6 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.1.0-1 Architecture: amd64 Maintainer: Alexandre Duret-Lutz Installed-Size: 408 Depends: libbddx0 (>= 2.12.1.0), libc6 (>= 2.2.5), libgcc-s1 (>= 3.3.1), libltdl7 (>= 2.4.6), libspot0 (>= 2.12.1.0-1), libstdc++6 (>= 9), libspot0 (<< 2.12.1.0-1.1~) Suggests: libspot-dev Filename: amd64/libspotltsmin0_2.12.1.0-1_amd64.deb Size: 356052 MD5sum: 418b2af5f95885c385fae2d034861ddc SHA1: 7a4bc6b5d622a2d668e524135e7f4fae356a4e41 SHA256: 7567dda9d0dbc8fafaad98d365f21978c89fee8c214f3b47ae4f20a7dcee6f9a 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.1.0-1 Auto-Built-Package: debug-symbols Architecture: i386 Maintainer: Alexandre Duret-Lutz Installed-Size: 670 Depends: libspotltsmin0 (= 2.12.1.0-1) Filename: i386/libspotltsmin0-dbgsym_2.12.1.0-1_i386.deb Size: 630596 MD5sum: 46553c714ef80abbd11b4016cf1f0db4 SHA1: e909857e34ad20a4c8f4cafe22318f22c4d57758 SHA256: 3ccdb5475ae887da45ea7710e8f0de8b6fb5c7f725d13ccc0a4c5218777add0b Section: debug Priority: optional Description: debug symbols for libspotltsmin0 Build-Ids: 61bf3c18dce0f1041a4a71f3a1187498afbda0a3 Package: libspotltsmin0-dbgsym Source: spot Version: 2.12.1.0-1 Auto-Built-Package: debug-symbols Architecture: amd64 Maintainer: Alexandre Duret-Lutz Installed-Size: 695 Depends: libspotltsmin0 (= 2.12.1.0-1) Filename: amd64/libspotltsmin0-dbgsym_2.12.1.0-1_amd64.deb Size: 638128 MD5sum: eddab0b10d7089cc97b43989b34dd4b5 SHA1: cffbe709af92bb726c80cec3c2aa265dd0ff029b SHA256: e6e8bd8f731c011e564fb9ae3366e72d380d1b238cd7f0c845a6632eb91f71a7 Section: debug Priority: optional Description: debug symbols for libspotltsmin0 Build-Ids: c268d41c968da9156da097d8a7387995a03ad5ee Package: python3-spot Source: spot Version: 2.12.1.0-1 Architecture: i386 Maintainer: Alexandre Duret-Lutz Installed-Size: 23564 Depends: libbddx0 (>= 2.12.1.0), libc6 (>= 2.3.6-6~), libgcc-s1 (>= 3.4), libspot0 (>= 2.12.1.0-1), libspotgen0 (>= 2.12.1.0), libspotltsmin0 (>= 2.12.1.0-1), libstdc++6 (>= 9), python3 (<< 3.10), python3 (>= 3.9~), python3:any, libspot0 (<< 2.12.1.0-1.1~), libspotltsmin0 (<< 2.12.1.0-1.1~) Suggests: ipython3 Filename: i386/python3-spot_2.12.1.0-1_i386.deb Size: 1780792 MD5sum: d8719522127803fb6314b517533b0f27 SHA1: a1717c13d22cc91a9653b1e7ea95a6ef7890abf2 SHA256: 2e7deb8dd412f51a41a8923b72a3fa27202ec91fa87fc8dd0e92b5f6f9688ecf 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.1.0-1 Architecture: amd64 Maintainer: Alexandre Duret-Lutz Installed-Size: 23851 Depends: libbddx0 (>= 2.12.1.0), libc6 (>= 2.14), libgcc-s1 (>= 3.4), libspot0 (>= 2.12.1.0-1), libspotgen0 (>= 2.12.1.0), libspotltsmin0 (>= 2.12.1.0-1), libstdc++6 (>= 9), python3 (<< 3.10), python3 (>= 3.9~), python3:any, libspot0 (<< 2.12.1.0-1.1~), libspotltsmin0 (<< 2.12.1.0-1.1~) Suggests: ipython3 Filename: amd64/python3-spot_2.12.1.0-1_amd64.deb Size: 1777004 MD5sum: 530020874876d2ff136a00555e9848f1 SHA1: bb2288cd514abeeca71e3f7f858ee53da4337b47 SHA256: 92e7c0e1e2ed3cb9518dc517c5e75f7f3d736b8d8d7fafb73aacf44a167661e0 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.1.0-1 Auto-Built-Package: debug-symbols Architecture: i386 Maintainer: Alexandre Duret-Lutz Installed-Size: 7064 Depends: python3-spot (= 2.12.1.0-1) Filename: i386/python3-spot-dbgsym_2.12.1.0-1_i386.deb Size: 6443940 MD5sum: 61904f0d4d0ab4d2bb03381c4b4956ad SHA1: c3e1c1ba59973a5e4edd899af3e324ef4f0743f4 SHA256: 4bba2a9b1f2347767c3823e2b8d6f95cb602cdedd5400fc0f2b6faa3bc2d0a97 Section: debug Priority: optional Description: debug symbols for python3-spot Build-Ids: 20887b6ff2a73f66ae751448a028a33f9dc715fc 28b3df7861e0834fbfa7b2c5a22accd0d4f54769 6cceac05576472be66e47525aaabe6680690a935 d6716fc7a01f9a246efbffa21c9b159bb966891f Package: python3-spot-dbgsym Source: spot Version: 2.12.1.0-1 Auto-Built-Package: debug-symbols Architecture: amd64 Maintainer: Alexandre Duret-Lutz Installed-Size: 7476 Depends: python3-spot (= 2.12.1.0-1) Filename: amd64/python3-spot-dbgsym_2.12.1.0-1_amd64.deb Size: 6689264 MD5sum: 1588a2a33d378ead778313c093385e21 SHA1: a5d2899518f2455e069bf69c3054e5c7296d2a65 SHA256: 9f69e174c24a60beed4bf462b5341021bf4043e3abd7a5f34db2792166f7b160 Section: debug Priority: optional Description: debug symbols for python3-spot Build-Ids: 1bc53998353a508d04e3b949a300ff14a7521944 7f17154cff82c0f2c6ad10a5a5e02368b838afcc e7c61f2089d96cfef2c83a24fcecf451f5206b4c f98ad294434fb6e42717c3332fcecf6c22a8f5b0 Package: spot Version: 2.12.1.0-1 Architecture: i386 Maintainer: Alexandre Duret-Lutz Installed-Size: 2794 Depends: libbddx0 (>= 2.12.1.0), libc6 (>= 2.15), libgcc-s1 (>= 4.2), libspot0 (>= 2.12.1.0-1), libspotgen0 (>= 2.12.1.0-1), libstdc++6 (>= 9), libspot0 (<< 2.12.1.0-1.1~), libspotgen0 (<< 2.12.1.0-1.1~) Recommends: graphviz Suggests: libspot-dev, spot-doc, python3-spot Filename: i386/spot_2.12.1.0-1_i386.deb Size: 1062360 MD5sum: 2a8e7a114cc3f8a98de04e8debfde39e SHA1: 29c9c2feff77fe1139c6c7fbcbc12b098b7efe0d SHA256: dc37ff30c6b357d7a0ccaf6fcf17815c0871de8d6affd1815fd85da93e121c59 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.1.0-1 Architecture: amd64 Maintainer: Alexandre Duret-Lutz Installed-Size: 2922 Depends: libbddx0 (>= 2.12.1.0), libc6 (>= 2.15), libgcc-s1 (>= 3.3.1), libspot0 (>= 2.12.1.0-1), libspotgen0 (>= 2.12.1.0-1), libstdc++6 (>= 9), libspot0 (<< 2.12.1.0-1.1~), libspotgen0 (<< 2.12.1.0-1.1~) Recommends: graphviz Suggests: libspot-dev, spot-doc, python3-spot Filename: amd64/spot_2.12.1.0-1_amd64.deb Size: 1055240 MD5sum: 22ad4aae755216dec1740b931d807a4c SHA1: 6fe5076b3884bfab89a82a92c8a1d92f6c467702 SHA256: 9e000ab9623548592defd64c9d0992b03490328fe1c3145107b2ebf7366d95c7 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.1.0-1 Auto-Built-Package: debug-symbols Architecture: i386 Maintainer: Alexandre Duret-Lutz Installed-Size: 7644 Depends: spot (= 2.12.1.0-1) Filename: i386/spot-dbgsym_2.12.1.0-1_i386.deb Size: 6817620 MD5sum: 4f94b0381eadbdb385b411ec7cd101bc SHA1: 96b4429f55795e1734ff285d22cd0eb5c21d599e SHA256: 03e967cb465b42146d81f4e1c6e4f84cdc55a18115f9bb4b1611ab89eb6afa12 Section: debug Priority: optional Description: debug symbols for spot Build-Ids: 1625f9eeabd15b9d8ca559d011b082fd40ccc463 18cc797ce7b4e352b5a395e0f4bc1d92bf8ee2ea 2b4982001e289337522e0bca63679e3632b49a88 423fba07a2d04592fe7499bedf30835cbe66bf6e 544a9cd9daa4aad6b19dc65c4b74a1a564520ad6 703b46efe5a00d81d72199001b4d0333db2cf18a 9ab56d70167a4c7bbcaf3fe13fc84c2d31469ef2 ae90cc33c0c3531ddb09d98a133a3b369efbcd86 b3cca7c8186229889790ce85589a4631e36a64ab b84e14dbd54dfa4efa5b7a256ee3e0821ebf849e bbdba4011308c49bfba0d5c68747cfedb8f4e21e ce1cd9733d287368a758fb9ac158511e1f21da3a d2fa5dc3d8e93367ab37ab1f497af69ef85d1ea9 d4a2b01046605d73ade3a0d9d31cfff0e42fab5d Package: spot-dbgsym Source: spot Version: 2.12.1.0-1 Auto-Built-Package: debug-symbols Architecture: amd64 Maintainer: Alexandre Duret-Lutz Installed-Size: 8118 Depends: spot (= 2.12.1.0-1) Filename: amd64/spot-dbgsym_2.12.1.0-1_amd64.deb Size: 7025112 MD5sum: 16e532c3f7758abf051888194d68e214 SHA1: 9e037428b8409c825a319fe26ac18b6e5b8663af SHA256: 008fc4144c16d9382201463c3df1c905215f1707be29cd887072ca1984d4c189 Section: debug Priority: optional Description: debug symbols for spot Build-Ids: 02b53dbc3c686f99b02dc00e978b39f06ecf4707 151840b34afbcf3c4c854d4833136ffa80d1108b 45b09bab9be7bbe8b994fb0b5aa1ca81eadc124f 6f037cc4640aafcad5d29752aac851e315d5c508 7516a5c461b30ab15d15cd4d0e45fbd62c858e30 777397ccf0a22c17f84463137bc9cb7f3830a238 8f8c43d09f2f887a3c689d261c4cc66c4948d169 977db1c5d3d8c51a537530abcabf4f1073d5a2dc a5a64f0c0cd1589dff0bc8adeb165f873ecf5ec9 bd3dee2610525d314dc73bd349b710e8147b13ad d0ba581722b6ac2595ca12b1a91deee735415e37 dd67b0dc5fbfd339ca1432900fe738f7be9b6fee fddc3346818bd6d0138f021d5d2859b7aed4858e feb00e903148666673551150204481198984a83d Package: spot-doc Source: spot Version: 2.12.1.0-1 Architecture: all Maintainer: Alexandre Duret-Lutz Installed-Size: 29443 Depends: libjs-mathjax, libjs-jquery, libjs-requirejs Filename: all/spot-doc_2.12.1.0-1_all.deb Size: 2221324 MD5sum: 1a93183a60634113c5cd6a20acc7f7dd SHA1: eda090d1326961b42d1f15111658847115721e8d SHA256: b6107eac33e17a34f4c1696bd7e4c584a8926c473341737c6fdc5b92bc2cc795 Section: doc Priority: optional Homepage: http://spot.lrde.epita.fr/ Description: documentation for Spot HTML and PDF documentation for Spot.