Package: libbddx-dev Source: spot Version: 2.14.4.0-1 Architecture: i386 Maintainer: Alexandre Duret-Lutz Installed-Size: 335 Depends: libbddx0 (>= 2.14.4.0-1), libbddx0 (<< 2.14.4.0-1.1~) Filename: i386/libbddx-dev_2.14.4.0-1_i386.deb Size: 94888 MD5sum: dc6297e001b6438d2beb271427e38318 SHA1: a730f43407eee219bc60ddf6d2608a51408481ff SHA256: 82a38cfa1804288025d04dffe767c2372041e6f47b40a512404bf4c9ddbb78d5 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.14.4.0-1 Architecture: amd64 Maintainer: Alexandre Duret-Lutz Installed-Size: 382 Depends: libbddx0 (>= 2.14.4.0-1), libbddx0 (<< 2.14.4.0-1.1~) Filename: amd64/libbddx-dev_2.14.4.0-1_amd64.deb Size: 89836 MD5sum: 146dfb8c21b93fafd8e304900cc5c131 SHA1: 3b8d66e81abd91fefa1acecf98a5dba59b533fcf SHA256: 2ed90e1cbf0fdad8d9874ebef4170137b998711fbd6bf33f3fb786d8e5eb66e5 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.14.4.0-1 Architecture: i386 Maintainer: Alexandre Duret-Lutz Installed-Size: 174 Depends: libc6 (>= 2.29), libgcc-s1 (>= 3.3.1), libstdc++6 (>= 5) Recommends: graphviz Suggests: libbddx-dev Filename: i386/libbddx0_2.14.4.0-1_i386.deb Size: 72536 MD5sum: 45b0db4af5459eb5ca107d5925288b35 SHA1: b732b45ffb7bab3139b94dde6d6abd50474c4d64 SHA256: d9340913d031d26491b6ccb788caae94d5b239384d16ce2679a9601b1dd1e21a 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.14.4.0-1 Architecture: amd64 Maintainer: Alexandre Duret-Lutz Installed-Size: 167 Depends: libc6 (>= 2.29), libgcc-s1 (>= 3.3.1), libstdc++6 (>= 5) Recommends: graphviz Suggests: libbddx-dev Filename: amd64/libbddx0_2.14.4.0-1_amd64.deb Size: 74360 MD5sum: a18ff8f1503fe190bf5ab44f2705f3bd SHA1: 77bc42327991e2d627dda77c143ca4f5ddc1b1df SHA256: 0a23275f0eaf30f03f157710f059bb2799392deb1ef760b70f737b44c6f96a2f 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.14.4.0-1 Auto-Built-Package: debug-symbols Architecture: i386 Maintainer: Alexandre Duret-Lutz Installed-Size: 211 Depends: libbddx0 (= 2.14.4.0-1) Filename: i386/libbddx0-dbgsym_2.14.4.0-1_i386.deb Size: 182468 MD5sum: f1d787b1bbe64ae7e1455e50f2181111 SHA1: 6e22ba6bec061bf04a2868a3e4e125dc87909e26 SHA256: 378cd3b930a30e3991c92ac705d0dcd7e35e26afada11045bb33f374f3e723b5 Section: debug Priority: optional Description: debug symbols for libbddx0 Build-Ids: be5b6a2497d10fb8a2b81e0fa6411df217099ddc Package: libbddx0-dbgsym Source: spot Version: 2.14.4.0-1 Auto-Built-Package: debug-symbols Architecture: amd64 Maintainer: Alexandre Duret-Lutz Installed-Size: 228 Depends: libbddx0 (= 2.14.4.0-1) Filename: amd64/libbddx0-dbgsym_2.14.4.0-1_amd64.deb Size: 189892 MD5sum: b87b47dc3ade98b7c62439aa0512c868 SHA1: 208f6b07cfe1b66ef6763c0deaa67c3881055541 SHA256: 0e5afe232bc80f3bfbc00ce52c5beff9c0582dce0fc9a67c18f9581530955f79 Section: debug Priority: optional Description: debug symbols for libbddx0 Build-Ids: fa403a2794fe626e2c196bde8a389ae51407ff6d Package: libspot-dev Source: spot Version: 2.14.4.0-1 Architecture: i386 Maintainer: Alexandre Duret-Lutz Installed-Size: 15218 Depends: libspot0 (>= 2.14.4.0-1), libspot0 (<< 2.14.4.0-1.1~), libspotltsmin0 (>= 2.14.4.0-1), libspotltsmin0 (<< 2.14.4.0-1.1~), libbddx-dev Suggests: spot-doc Filename: i386/libspot-dev_2.14.4.0-1_i386.deb Size: 3218996 MD5sum: 2c89aa9f1a50674bd5996430054e4feb SHA1: d66478e7d4b5866906aeb3f854d46b1b9cff29d8 SHA256: d550aba2b6df29ca57d2159063a0f7e0fad4bbd7b2d03913113a72dbb3a224b8 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.14.4.0-1 Architecture: amd64 Maintainer: Alexandre Duret-Lutz Installed-Size: 17882 Depends: libspot0 (>= 2.14.4.0-1), libspot0 (<< 2.14.4.0-1.1~), libspotltsmin0 (>= 2.14.4.0-1), libspotltsmin0 (<< 2.14.4.0-1.1~), libbddx-dev Suggests: spot-doc Filename: amd64/libspot-dev_2.14.4.0-1_amd64.deb Size: 3077236 MD5sum: 728473d3c686140234a7ef89507a03d5 SHA1: ee5220e48c933c1a2a363985464474d3aa206432 SHA256: 150aef1459dabbac41808fa0aca82ac0bf2de5e8bff27fb19001d2e31a7890bb 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.14.4.0-1 Architecture: i386 Maintainer: Alexandre Duret-Lutz Installed-Size: 4883 Depends: libbddx0 (>= 2.14.4.0-1), libc6 (>= 2.17), libgcc-s1 (>= 3.4), libstdc++6 (>= 9), libbddx0 (<< 2.14.4.0-1.1~) Recommends: graphviz Suggests: libspot-dev, spot-doc, python3-spot Filename: i386/libspot0_2.14.4.0-1_i386.deb Size: 2293288 MD5sum: 13b9b53b03c38ff94c033218ad7c7f56 SHA1: b1ec817919968587b8b5277baf3e77fae7c7d49a SHA256: 8f7b4076c21d04510aee46711efa46b4c835dce78f4bd42fc44ea64cd22fa34b 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.14.4.0-1 Architecture: amd64 Maintainer: Alexandre Duret-Lutz Installed-Size: 4706 Depends: libbddx0 (>= 2.14.4.0-1), libc6 (>= 2.29), libgcc-s1 (>= 3.4), libstdc++6 (>= 9), libbddx0 (<< 2.14.4.0-1.1~) Recommends: graphviz Suggests: libspot-dev, spot-doc, python3-spot Filename: amd64/libspot0_2.14.4.0-1_amd64.deb Size: 2216944 MD5sum: fdc2e11cb12ddb13a5fce4e7d38f4758 SHA1: f69010a80a00b04e318af8561027bb406b2717e0 SHA256: 6217619f66d1dbf00545994e7404579913e2dc70d90b5f52e3e1d47f54422fc9 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.14.4.0-1 Auto-Built-Package: debug-symbols Architecture: i386 Maintainer: Alexandre Duret-Lutz Installed-Size: 30486 Depends: libspot0 (= 2.14.4.0-1) Filename: i386/libspot0-dbgsym_2.14.4.0-1_i386.deb Size: 29788320 MD5sum: 4ea08559a2a16c802b705336d0b885b5 SHA1: 208db130549b6bf6264e9f883afbeb95739c042b SHA256: 928ea405144ba7c689c9ad8c79b68a4d6791613114cfbc9856f7d6f7e9a4a6a7 Section: debug Priority: optional Description: debug symbols for libspot0 Build-Ids: 3dca753271b8526bc1f6e678d97478859824f4fb Package: libspot0-dbgsym Source: spot Version: 2.14.4.0-1 Auto-Built-Package: debug-symbols Architecture: amd64 Maintainer: Alexandre Duret-Lutz Installed-Size: 31218 Depends: libspot0 (= 2.14.4.0-1) Filename: amd64/libspot0-dbgsym_2.14.4.0-1_amd64.deb Size: 30185368 MD5sum: 7908401a2a84849e1baa5607b1387ca0 SHA1: f7cfe3ff2fcf289c7532ae1e526e393d48bebf45 SHA256: b7fb4c72fb121ae87bb6d571289d12a24a625ee89fbd897f96f4ce89e40a8701 Section: debug Priority: optional Description: debug symbols for libspot0 Build-Ids: fd474d25aafd5aea360283c31bdb1e227864c55c Package: libspotgen0 Source: spot Version: 2.14.4.0-1 Architecture: i386 Maintainer: Alexandre Duret-Lutz Installed-Size: 573 Depends: libbddx0 (>= 2.14.4.0), libc6 (>= 2.1.3), libgcc-s1 (>= 3.3.1), libspot0 (>= 2.14.4.0-1), libstdc++6 (>= 9), libspot0 (<< 2.14.4.0-1.1~) Suggests: libspot-dev Filename: i386/libspotgen0_2.14.4.0-1_i386.deb Size: 433412 MD5sum: 13a93508d1ce87764b73068a991178cc SHA1: 53b7ae6b4c960eb4188ad2c145a83f1695189eac SHA256: 46d041cd5f90039d0343a68eca5f1b82f81a34ff668a6669f570e25a566b0496 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.14.4.0-1 Architecture: amd64 Maintainer: Alexandre Duret-Lutz Installed-Size: 586 Depends: libbddx0 (>= 2.14.4.0), libc6 (>= 2.29), libgcc-s1 (>= 3.3.1), libspot0 (>= 2.14.4.0-1), libstdc++6 (>= 9), libspot0 (<< 2.14.4.0-1.1~) Suggests: libspot-dev Filename: amd64/libspotgen0_2.14.4.0-1_amd64.deb Size: 431412 MD5sum: a817c3629fdd5ca312fc24e2e00d81e8 SHA1: f7f9f7765c01116f9a25c2c854fcd2ab3b088302 SHA256: 4d098b90dbafbf2bbd4a502c3b529c5a72a472867411c4bcdfd56cd86d34b6e2 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.14.4.0-1 Auto-Built-Package: debug-symbols Architecture: i386 Maintainer: Alexandre Duret-Lutz Installed-Size: 770 Depends: libspotgen0 (= 2.14.4.0-1) Filename: i386/libspotgen0-dbgsym_2.14.4.0-1_i386.deb Size: 744860 MD5sum: 32cb5b6bfb91651081d375ffee3b2572 SHA1: 73b5e91fced2f552d5e1248ad0789357c58ab776 SHA256: 8a4528149f677521e542e686c8a3024706caf84918df79621c27ce4a687603d4 Section: debug Priority: optional Description: debug symbols for libspotgen0 Build-Ids: 585c84b70d54d17ffee073bfd7bf809c032494df Package: libspotgen0-dbgsym Source: spot Version: 2.14.4.0-1 Auto-Built-Package: debug-symbols Architecture: amd64 Maintainer: Alexandre Duret-Lutz Installed-Size: 789 Depends: libspotgen0 (= 2.14.4.0-1) Filename: amd64/libspotgen0-dbgsym_2.14.4.0-1_amd64.deb Size: 753760 MD5sum: f6c0b9cf74c44c4aa00cc7b97fe32291 SHA1: 3ed3dfb646e57cffd45365ce86943e2eef646067 SHA256: f831a2eff15bc15c121c9d567956196505e8ea82d4a7ae33f8edb3ba26e13861 Section: debug Priority: optional Description: debug symbols for libspotgen0 Build-Ids: ace795b3cebdb420546e924cc61e855a2a98f2a4 Package: libspotltsmin0 Source: spot Version: 2.14.4.0-1 Architecture: i386 Maintainer: Alexandre Duret-Lutz Installed-Size: 425 Depends: libbddx0 (>= 2.14.4.0), libc6 (>= 2.3.6-6~), libgcc-s1 (>= 3.3.1), libltdl7 (>= 2.4.6), libspot0 (>= 2.14.4.0-1), libstdc++6 (>= 9), libspot0 (<< 2.14.4.0-1.1~) Suggests: libspot-dev Filename: i386/libspotltsmin0_2.14.4.0-1_i386.deb Size: 376132 MD5sum: f5935f5911694c695b608627cb1e1952 SHA1: efdc5e204291f0654a494c0b7349a6f683feb141 SHA256: d3614e335a5986fb4a92c03cd5abf83d5cf1fedd55ce8cf6db89ca908c9de469 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.14.4.0-1 Architecture: amd64 Maintainer: Alexandre Duret-Lutz Installed-Size: 426 Depends: libbddx0 (>= 2.14.4.0), libc6 (>= 2.2.5), libgcc-s1 (>= 3.3.1), libltdl7 (>= 2.4.6), libspot0 (>= 2.14.4.0-1), libstdc++6 (>= 9), libspot0 (<< 2.14.4.0-1.1~) Suggests: libspot-dev Filename: amd64/libspotltsmin0_2.14.4.0-1_amd64.deb Size: 373568 MD5sum: 9eb11e031ffbc21d8e8ffbdd1192821d SHA1: fa89f10ef092085e8bb3ac16e7fb334da66b1d84 SHA256: 6f0c28f11c706338d9f19e6445c90358131892951b6706be5695d78b03e9057a 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.14.4.0-1 Auto-Built-Package: debug-symbols Architecture: i386 Maintainer: Alexandre Duret-Lutz Installed-Size: 669 Depends: libspotltsmin0 (= 2.14.4.0-1) Filename: i386/libspotltsmin0-dbgsym_2.14.4.0-1_i386.deb Size: 629188 MD5sum: 8c6bcf47255fb6ffcea13a9a947e95e5 SHA1: 184ca1a577ea7008d1e3b6de9a6a358827a2330a SHA256: 937f044a897a45c0fd0d23798d4a7fa184cfe1074252ad4d888bbb1376b2ecb2 Section: debug Priority: optional Description: debug symbols for libspotltsmin0 Build-Ids: 11f7eaf6bf451f9276f0b384ce6e8ad693277662 Package: libspotltsmin0-dbgsym Source: spot Version: 2.14.4.0-1 Auto-Built-Package: debug-symbols Architecture: amd64 Maintainer: Alexandre Duret-Lutz Installed-Size: 693 Depends: libspotltsmin0 (= 2.14.4.0-1) Filename: amd64/libspotltsmin0-dbgsym_2.14.4.0-1_amd64.deb Size: 636488 MD5sum: 8fc71a6fbd6ab355b600c499d9b7ee0f SHA1: dc188d71854e7092b9104afd7138f5ed1725922d SHA256: 6307b1d7d37a80a34e00c1f8bc78521ceaaec0f9916e19b2b307a7c706fea41d Section: debug Priority: optional Description: debug symbols for libspotltsmin0 Build-Ids: b40b2fe341970625f507cd542a334db960fd7f39 Package: python3-spot Source: spot Version: 2.14.4.0-1 Architecture: i386 Maintainer: Alexandre Duret-Lutz Installed-Size: 31586 Depends: libbddx0 (>= 2.14.4.0), libc6 (>= 2.3.6-6~), libgcc-s1 (>= 3.4), libspot0 (>= 2.14.4.0-1), libspotgen0 (>= 2.14.4.0), libspotltsmin0 (>= 2.14.4.0-1), libstdc++6 (>= 9), python3 (<< 3.10), python3 (>= 3.9~), python3:any, libspot0 (<< 2.14.4.0-1.1~), libspotltsmin0 (<< 2.14.4.0-1.1~) Suggests: ipython3 Filename: i386/python3-spot_2.14.4.0-1_i386.deb Size: 2278312 MD5sum: 2c40d3316c5b75fc9fd2ac5c8ca060f0 SHA1: 202d1dc0035c5b7f44a2ef1bbb2f60778c09b531 SHA256: 3fbc56d43033e8b6e9d2bb78453e115969835f1d17f1512ae05d5709e89845c8 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.14.4.0-1 Architecture: amd64 Maintainer: Alexandre Duret-Lutz Installed-Size: 31892 Depends: libbddx0 (>= 2.14.4.0), libc6 (>= 2.14), libgcc-s1 (>= 3.4), libspot0 (>= 2.14.4.0-1), libspotgen0 (>= 2.14.4.0), libspotltsmin0 (>= 2.14.4.0-1), libstdc++6 (>= 9), python3 (<< 3.10), python3 (>= 3.9~), python3:any, libspot0 (<< 2.14.4.0-1.1~), libspotltsmin0 (<< 2.14.4.0-1.1~) Suggests: ipython3 Filename: amd64/python3-spot_2.14.4.0-1_amd64.deb Size: 2251552 MD5sum: 0a4e6e95775a549454b4ee5a77616b19 SHA1: 714a5c69ee6a195d93e73a437d12abcc55b29c08 SHA256: fce90e67dd46972464208a0b7b706b1aa64f0e3f1465b367a8dd2eff124d9ebd 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.14.4.0-1 Auto-Built-Package: debug-symbols Architecture: i386 Maintainer: Alexandre Duret-Lutz Installed-Size: 7841 Depends: python3-spot (= 2.14.4.0-1) Filename: i386/python3-spot-dbgsym_2.14.4.0-1_i386.deb Size: 7156516 MD5sum: 262ab5051ee4da008350b73518cb2aa6 SHA1: 1fcaaad16ee4dcd7687aaa4a8468c3b5906cd79a SHA256: be41b02ad39c152465bd921803388755d320b0bfc07cbca7105e27141b803224 Section: debug Priority: optional Description: debug symbols for python3-spot Build-Ids: 4cd2455e8cb753dbde9eea896b7762e1c0855afe 9fa73af6a219a16327d0a879931bac0165338f8d af59031dac5efa6cac359efcf320380f7b6e6fe9 efb6271d476095512429eeb303a50358c2f038b5 Package: python3-spot-dbgsym Source: spot Version: 2.14.4.0-1 Auto-Built-Package: debug-symbols Architecture: amd64 Maintainer: Alexandre Duret-Lutz Installed-Size: 8262 Depends: python3-spot (= 2.14.4.0-1) Filename: amd64/python3-spot-dbgsym_2.14.4.0-1_amd64.deb Size: 7395276 MD5sum: 455b6b81f947530e8dd7ca53f557f3d2 SHA1: 637119231a669cd0fd48ed0aae82e59f35092bc1 SHA256: 7c1e6ccc2f11fc5d33b19a4ce0ea4a2487134871b6a1a20c2a0ebf63bb7737d1 Section: debug Priority: optional Description: debug symbols for python3-spot Build-Ids: 294ed240ee41af03156af3e91dc9a3d5ef209c9f 634e699a4d284e326381446e8ab5967fb5735aed 8367590130acae6b33564fc9f0acf1c234a94778 b31d3585cbfa0cac597f14e6c30724e0554a79fc Package: spot Version: 2.14.4.0-1 Architecture: i386 Maintainer: Alexandre Duret-Lutz Installed-Size: 3649 Depends: libbddx0 (>= 2.14.4.0), libc6 (>= 2.15), libgcc-s1 (>= 4.2), libspot0 (>= 2.14.4.0-1), libspotgen0 (>= 2.14.4.0-1), libstdc++6 (>= 9), libspot0 (<< 2.14.4.0-1.1~), libspotgen0 (<< 2.14.4.0-1.1~) Recommends: graphviz Suggests: libspot-dev, spot-doc, python3-spot Filename: i386/spot_2.14.4.0-1_i386.deb Size: 1256660 MD5sum: 9a0e563fac5a99d4744a588bd0b7e19e SHA1: a668ecd82230c6021b3a90cbcae143f3ba449d0d SHA256: 3047867d377d7bfbc53c5c19e64a739d2d5db93891ab2b3b0f39e96262e986d6 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.14.4.0-1 Architecture: amd64 Maintainer: Alexandre Duret-Lutz Installed-Size: 3761 Depends: libbddx0 (>= 2.14.4.0), libc6 (>= 2.15), libgcc-s1 (>= 3.3.1), libspot0 (>= 2.14.4.0-1), libspotgen0 (>= 2.14.4.0-1), libstdc++6 (>= 9), libspot0 (<< 2.14.4.0-1.1~), libspotgen0 (<< 2.14.4.0-1.1~) Recommends: graphviz Suggests: libspot-dev, spot-doc, python3-spot Filename: amd64/spot_2.14.4.0-1_amd64.deb Size: 1241944 MD5sum: 73d196088459be5f84cf311708cb8479 SHA1: 1ce5522f80c7394868b9fa8b6016bf46820a2a81 SHA256: 2e0f45e289fc5733c640782b2644fd5f694c213ebb38fa85f3843e8a8f444ca8 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.14.4.0-1 Auto-Built-Package: debug-symbols Architecture: i386 Maintainer: Alexandre Duret-Lutz Installed-Size: 10297 Depends: spot (= 2.14.4.0-1) Filename: i386/spot-dbgsym_2.14.4.0-1_i386.deb Size: 9147608 MD5sum: 073ac70140d610d0722469bc63185c53 SHA1: aa324205d307b3c4d6bfa93b06719d82330b2f3f SHA256: 60d2bbaf92c285f8c5777378ca56399e39a9fcdf858b22fb4454060fc2f7b7ac Section: debug Priority: optional Description: debug symbols for spot Build-Ids: 20d1582712f587478617e9244ea2a5a930a6d3bc 2b385e3335e93eb491cf924e0fb792f11e68acd5 31b68a8914c94c8f62523eea8767e404b01c0356 40e8f1c3608b79cca5000a43c7dc5782274ca5aa 52d4ded2168e030f81797c2b458b69b49e5176bc 602d25debaa4e870f2eb119bfd85850823dad5d1 67198341fa334267a7c73fb50421fa662d5e5f72 7171c56ff6a65ee704825e7d49cc83ff514e8cb6 7d6b6441a1b6e522a7920fe6ec05439e5fbb9736 7daead6445b45757b5f94c15e66ae54cbe3b534c 87a37b26cea4d43bb3da6b00799813a3881f1cde 88ed399d3f046b52bc59168f724a27e6aab4f70d ac3e9f310f8ce4f90d7a52125ce7182e3e2bb535 bb7763adedc3439686a8d2fb90c664dfd44e3d98 c5be2549fa8ed86725f02d94ded8a3819703d334 c62b48adcbf3be0a76a544ef5fd84a72d67c11ac feff8f8656eeceb0b71067de13e8f69e2e47b8e9 Package: spot-dbgsym Source: spot Version: 2.14.4.0-1 Auto-Built-Package: debug-symbols Architecture: amd64 Maintainer: Alexandre Duret-Lutz Installed-Size: 10950 Depends: spot (= 2.14.4.0-1) Filename: amd64/spot-dbgsym_2.14.4.0-1_amd64.deb Size: 9441992 MD5sum: a33e2d32d43b7314a87eccd0e638d102 SHA1: 86c33c1f16cdd98f4c6556f9ed026c8d7a8aba7f SHA256: 508450959667cebbbc233f331ff042de4d3e0781fd8526618746fb175d287275 Section: debug Priority: optional Description: debug symbols for spot Build-Ids: 22a0d593020c689838fc775875cafee0663696e2 29ef021ceef584121ca794a23e20fc9650c5060f 2b8a1792cd8c148cc9344fac1729d9869c33d4b8 4ed3f774324c9cfa51b59d57aea9dea56a336af7 53cc8c16426d695977a14bf4f9c511b61fb6e391 7f4ad8ee7f66a1d797379f0e44c5b6c281de8a7d 8098533345a1bc6808111a7c86536d2e6d35a0ad 8da7e2a2fe02cd36a5a4ae95a71e35874d7c9965 9f4b2e4f301de3d785bacd02ef08ee9b5a2f6a9e a1468171823abb133a23c81894453e61e7c0387e a19e39549bd6da3b6028ebc5010496aba98f0453 b9bf2e60b61c9160a849cb4463f8a9da2ccdef5f c35e7e1efc844cf1de1a09d335b217870bb82a9b c5e2bb862ffecae81b18f4179cd3476f33e8655f c9d9eb9e45aca33c9653f9dcc0b0b769453f7063 e4696a28579f77ac64ac568ae4d5f5a78848c8ff fe2f008b6546c65ac39590712808fb239d4a6858 Package: spot-doc Source: spot Version: 2.14.4.0-1 Architecture: all Maintainer: Alexandre Duret-Lutz Installed-Size: 31247 Depends: libjs-mathjax, libjs-jquery, libjs-requirejs Filename: all/spot-doc_2.14.4.0-1_all.deb Size: 2352688 MD5sum: 67a636c3d80d15320de06ab3bc30c052 SHA1: bf013d71f1fcc259dbac58931574c77e83845ca1 SHA256: 12250e23fac9ac386f3ba16debf837fc790cb36fe85812cc0a4c080d2d6de2a2 Section: doc Priority: optional Homepage: http://spot.lrde.epita.fr/ Description: documentation for Spot HTML and PDF documentation for Spot.