Package: libbddx-dev Source: spot Version: 2.12.2.0-1 Architecture: i386 Maintainer: Alexandre Duret-Lutz Installed-Size: 296 Depends: libbddx0 (>= 2.12.2.0-1), libbddx0 (<< 2.12.2.0-1.1~) Filename: i386/libbddx-dev_2.12.2.0-1_i386.deb Size: 82056 MD5sum: 4aa03674bcf4b5b7abd64403c6ab1d1a SHA1: 67d6711b71d5d2baf4d10eba4b981303e5c1e097 SHA256: 45830e29103304a9e8751c6bc393b4211d3a2d5bdcc9429693209e77331dce12 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.2.0-1 Architecture: amd64 Maintainer: Alexandre Duret-Lutz Installed-Size: 334 Depends: libbddx0 (>= 2.12.2.0-1), libbddx0 (<< 2.12.2.0-1.1~) Filename: amd64/libbddx-dev_2.12.2.0-1_amd64.deb Size: 77756 MD5sum: b8a864ba7844f9020727a931b26d96fc SHA1: 68171180c9bc81ed524c96c8c29075cc83c8f549 SHA256: cbef91e8690760ed4ca355e15ba2723e736467c2235b90c1dfd5c9745a268b87 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.2.0-1 Architecture: i386 Maintainer: Alexandre Duret-Lutz Installed-Size: 140 Depends: libc6 (>= 2.29), libgcc-s1 (>= 3.0), libstdc++6 (>= 4.3) Recommends: graphviz Suggests: libbddx-dev Filename: i386/libbddx0_2.12.2.0-1_i386.deb Size: 56716 MD5sum: c83bc8446230b07998d911eecf77a4b7 SHA1: ee8c49deced6af49841403888b356498e23475cd SHA256: c611c32334e0a3efba3dcfc22f09032d7fc191c4480cfa02ba7844826ef9d45f 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.2.0-1 Architecture: amd64 Maintainer: Alexandre Duret-Lutz Installed-Size: 133 Depends: libc6 (>= 2.29), libgcc-s1 (>= 3.0), libstdc++6 (>= 4.3) Recommends: graphviz Suggests: libbddx-dev Filename: amd64/libbddx0_2.12.2.0-1_amd64.deb Size: 54456 MD5sum: 314a99ab2c567da58cf2112a30a9df78 SHA1: 54924f76774219e06edd58094ba5ee125ec5a915 SHA256: ab758442a87c830b2efefc05095c34a9c4c7072afe77b5d009c3a9e8b8673138 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.2.0-1 Auto-Built-Package: debug-symbols Architecture: i386 Maintainer: Alexandre Duret-Lutz Installed-Size: 148 Depends: libbddx0 (= 2.12.2.0-1) Filename: i386/libbddx0-dbgsym_2.12.2.0-1_i386.deb Size: 129556 MD5sum: 7c56727da0941b1e2bcbb0e219729032 SHA1: ef6ccfe25883097fd2dc06c144f8240a4e4304bf SHA256: fa04a6fe4ef6b99d29046cdb64d3236ab56612a0ab60e977ffd0a7ed47947174 Section: debug Priority: optional Description: debug symbols for libbddx0 Build-Ids: 7d038b2b443c1678f086d36814242e9b3a1838cc Package: libbddx0-dbgsym Source: spot Version: 2.12.2.0-1 Auto-Built-Package: debug-symbols Architecture: amd64 Maintainer: Alexandre Duret-Lutz Installed-Size: 159 Depends: libbddx0 (= 2.12.2.0-1) Filename: amd64/libbddx0-dbgsym_2.12.2.0-1_amd64.deb Size: 136132 MD5sum: 12d905e18c37e813609aab22a905f31e SHA1: 2b360d8bdc5099ba02e5cf973813decf805f6e86 SHA256: cc233651e4bfbb824ce68a26c8a8514089de9fc2b2de8f9e23e5f6289faa1d21 Section: debug Priority: optional Description: debug symbols for libbddx0 Build-Ids: 9fc421d3f6263e3944c7834679fb32233430229f Package: libspot-dev Source: spot Version: 2.12.2.0-1 Architecture: i386 Maintainer: Alexandre Duret-Lutz Installed-Size: 14134 Depends: libspot0 (>= 2.12.2.0-1), libspot0 (<< 2.12.2.0-1.1~), libspotltsmin0 (>= 2.12.2.0-1), libspotltsmin0 (<< 2.12.2.0-1.1~), libbddx-dev Suggests: spot-doc Filename: i386/libspot-dev_2.12.2.0-1_i386.deb Size: 3060088 MD5sum: 0f20d2373b7d331eb33b1dbb8c2c8723 SHA1: b192cb9b5f6829f3f9df30433e6a5425f1676d76 SHA256: 4a68c17bcc8ae47a1ffdee39e1415565e7fe7aead783cf5bd466e7409d10a448 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.2.0-1 Architecture: amd64 Maintainer: Alexandre Duret-Lutz Installed-Size: 16472 Depends: libspot0 (>= 2.12.2.0-1), libspot0 (<< 2.12.2.0-1.1~), libspotltsmin0 (>= 2.12.2.0-1), libspotltsmin0 (<< 2.12.2.0-1.1~), libbddx-dev Suggests: spot-doc Filename: amd64/libspot-dev_2.12.2.0-1_amd64.deb Size: 2901592 MD5sum: 51de46fb6de6afacf5ece34ab0b17a78 SHA1: 80fbbe9c992d45ab08659c22ad1877e0c603598a SHA256: dc1fbab128f0482292035d41048f7612c181a9046fbe78a9f30843fb08891a38 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.2.0-1 Architecture: i386 Maintainer: Alexandre Duret-Lutz Installed-Size: 3898 Depends: libbddx0 (>= 2.12.2.0-1), libc6 (>= 2.33), libgcc-s1 (>= 3.4), libstdc++6 (>= 11), libbddx0 (<< 2.12.2.0-1.1~) Recommends: graphviz Suggests: libspot-dev, spot-doc, python3-spot Filename: i386/libspot0_2.12.2.0-1_i386.deb Size: 1814228 MD5sum: 30c6b0dfaa547f796563ed0acfe1faa8 SHA1: 64828c1280cd4c5f3aef68a7ae4a23617181e639 SHA256: 010af4a84ae747241adca8d4d245811bd2bd89dbed6baaf44b2ee4a9e4920e91 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.2.0-1 Architecture: amd64 Maintainer: Alexandre Duret-Lutz Installed-Size: 3781 Depends: libbddx0 (>= 2.12.2.0-1), libc6 (>= 2.33), libgcc-s1 (>= 3.4), libstdc++6 (>= 11), libbddx0 (<< 2.12.2.0-1.1~) Recommends: graphviz Suggests: libspot-dev, spot-doc, python3-spot Filename: amd64/libspot0_2.12.2.0-1_amd64.deb Size: 1712076 MD5sum: 5a2c59ad14b21a86ab2b74422a3c57b7 SHA1: d5a1c916c3abcc4458ae281d3fca26b0ccb99504 SHA256: 206b803151662e1e9252e02b0cf6aefe369cfc8ae718e91b3df3715153369130 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.2.0-1 Auto-Built-Package: debug-symbols Architecture: i386 Maintainer: Alexandre Duret-Lutz Installed-Size: 26682 Depends: libspot0 (= 2.12.2.0-1) Filename: i386/libspot0-dbgsym_2.12.2.0-1_i386.deb Size: 26416864 MD5sum: 244517ca78bd1d8d8bec69f57cd8dd8d SHA1: 6a99f069164967088ef5d68940f62be189ea1636 SHA256: c253ef1ffea045885661942ab46828745d42025c9a237d2050c1a271f3a4c73a Section: debug Priority: optional Description: debug symbols for libspot0 Build-Ids: 528c77d85d44967ff971352c0cdfa53a0c40cfc6 Package: libspot0-dbgsym Source: spot Version: 2.12.2.0-1 Auto-Built-Package: debug-symbols Architecture: amd64 Maintainer: Alexandre Duret-Lutz Installed-Size: 27248 Depends: libspot0 (= 2.12.2.0-1) Filename: amd64/libspot0-dbgsym_2.12.2.0-1_amd64.deb Size: 26938856 MD5sum: ca3ae2d990cc6bd9c5a82fde83e22778 SHA1: 70aa8b983390af3b020c0aceb0d87d9bd3ccce7c SHA256: 0a0c2268348dc4b1a39cc0dc181491d7a0240ff09ea0ee2a6a1c52a1b535f478 Section: debug Priority: optional Description: debug symbols for libspot0 Build-Ids: f8e08adf1b7d0435f9d5953a587c4895cbe1569f Package: libspotgen0 Source: spot Version: 2.12.2.0-1 Architecture: i386 Maintainer: Alexandre Duret-Lutz Installed-Size: 532 Depends: libbddx0 (>= 2.12.2.0), libc6 (>= 2.32), libgcc-s1 (>= 3.3.1), libspot0 (>= 2.12.2.0-1), libstdc++6 (>= 11), libspot0 (<< 2.12.2.0-1.1~) Suggests: libspot-dev Filename: i386/libspotgen0_2.12.2.0-1_i386.deb Size: 402464 MD5sum: 0dbdf5806afa45d45b18b6ccd967122b SHA1: 14e1280886505089d574a3491d4776c6d5f54e0f SHA256: 2fb4a24f7b8094e69f593217ebcd0beb8e5051481af86d316c2e1bedfd0dab7e 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.2.0-1 Architecture: amd64 Maintainer: Alexandre Duret-Lutz Installed-Size: 537 Depends: libbddx0 (>= 2.12.2.0), libc6 (>= 2.32), libgcc-s1 (>= 3.3.1), libspot0 (>= 2.12.2.0-1), libstdc++6 (>= 11), libspot0 (<< 2.12.2.0-1.1~) Suggests: libspot-dev Filename: amd64/libspotgen0_2.12.2.0-1_amd64.deb Size: 399556 MD5sum: 8ce107e2afbb9486bc15b873833f7c9c SHA1: 0d7e1c00a9cd3198fa842c08d2b4418e970f21a9 SHA256: 99d30cf925c7e9071c1f660c853cb3e4a2214dc1e46ad431c9a7e3448e86fa9e 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.2.0-1 Auto-Built-Package: debug-symbols Architecture: i386 Maintainer: Alexandre Duret-Lutz Installed-Size: 668 Depends: libspotgen0 (= 2.12.2.0-1) Filename: i386/libspotgen0-dbgsym_2.12.2.0-1_i386.deb Size: 647880 MD5sum: b500865dc1fe97e66aba2eb27b9d8522 SHA1: 286a67ea0e451c6d1ef6a1a7025920980653b1c4 SHA256: ca43cb170a4a03a1a3cc8c90dbc754b4a5219463ced7dd6f700a4489b6cc4e82 Section: debug Priority: optional Description: debug symbols for libspotgen0 Build-Ids: 0e183bced335a7a8011d6788ae55559d6c9e3988 Package: libspotgen0-dbgsym Source: spot Version: 2.12.2.0-1 Auto-Built-Package: debug-symbols Architecture: amd64 Maintainer: Alexandre Duret-Lutz Installed-Size: 686 Depends: libspotgen0 (= 2.12.2.0-1) Filename: amd64/libspotgen0-dbgsym_2.12.2.0-1_amd64.deb Size: 661836 MD5sum: 93a2e0da6aa6494c3601b28892ed316e SHA1: 5e7e236a3588446f2916bbc3d6a560315cd73fd6 SHA256: 5b7effb75721e30f38eaef5879af73173e4e96595aa2071725df93d9833b9c64 Section: debug Priority: optional Description: debug symbols for libspotgen0 Build-Ids: 7abec922da35ebeeafbca7449955d1f131f6031f Package: libspotltsmin0 Source: spot Version: 2.12.2.0-1 Architecture: i386 Maintainer: Alexandre Duret-Lutz Installed-Size: 408 Depends: libbddx0 (>= 2.12.2.0), libc6 (>= 2.33), libgcc-s1 (>= 3.3.1), libltdl7 (>= 2.4.7), libspot0 (>= 2.12.2.0-1), libstdc++6 (>= 11), libspot0 (<< 2.12.2.0-1.1~) Suggests: libspot-dev Filename: i386/libspotltsmin0_2.12.2.0-1_i386.deb Size: 357576 MD5sum: e1f682611534157ee15ed26ebc48c704 SHA1: d929cf213aaee7ee5598bc14706c704efd3a8e78 SHA256: 83085cf240329ddb1be4be6512b55f3254e4106ac610b7bd0b8f865614b3283f 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.2.0-1 Architecture: amd64 Maintainer: Alexandre Duret-Lutz Installed-Size: 409 Depends: libbddx0 (>= 2.12.2.0), libc6 (>= 2.33), libgcc-s1 (>= 3.3.1), libltdl7 (>= 2.4.7), libspot0 (>= 2.12.2.0-1), libstdc++6 (>= 11), libspot0 (<< 2.12.2.0-1.1~) Suggests: libspot-dev Filename: amd64/libspotltsmin0_2.12.2.0-1_amd64.deb Size: 355500 MD5sum: bb0dd9dc05103648bfb0fe530581c140 SHA1: 21add8c33c941673120995f7e32805c530b5a11d SHA256: ca1c49b5827d1e0ef66b74edfe40b569fb9291f47113cebca71a116d266aadfa 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.2.0-1 Auto-Built-Package: debug-symbols Architecture: i386 Maintainer: Alexandre Duret-Lutz Installed-Size: 636 Depends: libspotltsmin0 (= 2.12.2.0-1) Filename: i386/libspotltsmin0-dbgsym_2.12.2.0-1_i386.deb Size: 620020 MD5sum: e51a5475039b702bcf7295dc33ad7f4d SHA1: 5c703c565dbc937cd1e94420dd9f099c7d0b8c20 SHA256: 6df1ed70e2b321800a62f940d0eac82226acbbb2e3ffbbe22bc3563fea2ab11f Section: debug Priority: optional Description: debug symbols for libspotltsmin0 Build-Ids: 4ac41d0b23e9713ee34454c2c0cfeca4a3cc3063 Package: libspotltsmin0-dbgsym Source: spot Version: 2.12.2.0-1 Auto-Built-Package: debug-symbols Architecture: amd64 Maintainer: Alexandre Duret-Lutz Installed-Size: 644 Depends: libspotltsmin0 (= 2.12.2.0-1) Filename: amd64/libspotltsmin0-dbgsym_2.12.2.0-1_amd64.deb Size: 624984 MD5sum: 8be032415da9356824a7ce0f499fea02 SHA1: 350ca25ec7e413bfa99a2a496a765f56107ce5a2 SHA256: c1a34ddfa99732a028a28d9b9c5412ac913f1ca45c59197ad06e33192d320c67 Section: debug Priority: optional Description: debug symbols for libspotltsmin0 Build-Ids: 314dffdd3eb96fc22080f829c1f8a8d55fd50c88 Package: python3-spot Source: spot Version: 2.12.2.0-1 Architecture: i386 Maintainer: Alexandre Duret-Lutz Installed-Size: 15967 Depends: libbddx0 (>= 2.12.2.0), libc6 (>= 2.32), libgcc-s1 (>= 3.4), libspot0 (>= 2.12.2.0-1), libspotgen0 (>= 2.12.2.0), libspotltsmin0 (>= 2.12.2.0-1), libstdc++6 (>= 11), python3 (<< 3.12), python3 (>= 3.11~), python3:any, libspot0 (<< 2.12.2.0-1.1~), libspotltsmin0 (<< 2.12.2.0-1.1~) Suggests: ipython3 Filename: i386/python3-spot_2.12.2.0-1_i386.deb Size: 1695324 MD5sum: 15d17bf5193146a90ca011d1070b81fa SHA1: da9279fea684dadc860a0c751619be582d7ce53c SHA256: 7566a220059b5a1786738ffc30ff45039d54f4d503b4461d115d9f24a7731bb3 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.2.0-1 Architecture: amd64 Maintainer: Alexandre Duret-Lutz Installed-Size: 16230 Depends: libbddx0 (>= 2.12.2.0), libc6 (>= 2.32), libgcc-s1 (>= 3.4), libspot0 (>= 2.12.2.0-1), libspotgen0 (>= 2.12.2.0), libspotltsmin0 (>= 2.12.2.0-1), libstdc++6 (>= 11), python3 (<< 3.12), python3 (>= 3.11~), python3:any, libspot0 (<< 2.12.2.0-1.1~), libspotltsmin0 (<< 2.12.2.0-1.1~) Suggests: ipython3 Filename: amd64/python3-spot_2.12.2.0-1_amd64.deb Size: 1693356 MD5sum: fc3c1b7d1d721a9e870bb1e7692d2616 SHA1: bad5890b8e9dc16edae5a5788d78e04190731d3c SHA256: 74bcb49951ab2838a6e71059d5393b873a5dbf8a4be72d3408f22500be26f98d 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.2.0-1 Auto-Built-Package: debug-symbols Architecture: i386 Maintainer: Alexandre Duret-Lutz Installed-Size: 6528 Depends: python3-spot (= 2.12.2.0-1) Filename: i386/python3-spot-dbgsym_2.12.2.0-1_i386.deb Size: 6052252 MD5sum: 35bdae3ca260b14e340a638f56e3ff0c SHA1: 1d66530819b071c22f5bc2863b752d3b3106999d SHA256: df1fef9eebd503f7bba1a7b1e53a476ee517ad9c182446884416af93875adee0 Section: debug Priority: optional Description: debug symbols for python3-spot Build-Ids: 018c72739224f4093c759f79d1d605034081ef1f 34be5fed02b8f3b30d31860fa3a2ad88c8e5185a 5eb08e414f408e5f23cc1ecc0b3067ff44b42a4a ed9bb988856a2c8abf135d1bd65d5a77de1805bc Package: python3-spot-dbgsym Source: spot Version: 2.12.2.0-1 Auto-Built-Package: debug-symbols Architecture: amd64 Maintainer: Alexandre Duret-Lutz Installed-Size: 6795 Depends: python3-spot (= 2.12.2.0-1) Filename: amd64/python3-spot-dbgsym_2.12.2.0-1_amd64.deb Size: 6245812 MD5sum: 30fd388e6f7f0d63d5e2fd5358e9ff96 SHA1: 4a74fc57c980a879db33f302cb271c125a9f1847 SHA256: e04f9c879e1a991ccc4506baff41f6659ed2d2b8a93e2dce41b7fe76e6409984 Section: debug Priority: optional Description: debug symbols for python3-spot Build-Ids: 4c446c23d7ab64efcc284ef8f518401c9c535a5c 78db695991b8f50831fe6cd2ceee6872e51d58f0 948413af86e536441dccc7e8d75980a3f87c2c87 fe24e2ae78ea24a7b10820f18296dbad64848c6b Package: spot Version: 2.12.2.0-1 Architecture: i386 Maintainer: Alexandre Duret-Lutz Installed-Size: 2745 Depends: libbddx0 (>= 2.12.2.0), libc6 (>= 2.34), libgcc-s1 (>= 4.2), libspot0 (>= 2.12.2.0-1), libspotgen0 (>= 2.12.2.0-1), libstdc++6 (>= 11), libspot0 (<< 2.12.2.0-1.1~), libspotgen0 (<< 2.12.2.0-1.1~) Recommends: graphviz Suggests: libspot-dev, spot-doc, python3-spot Filename: i386/spot_2.12.2.0-1_i386.deb Size: 1016352 MD5sum: 77caf6f3054d44a6aea33d3ea242e7e1 SHA1: 9e7216fa6497374e0f04562f29d08ce28f848add SHA256: 54a59ebaef8a7035e6f4b22086145191f4fdf39124c476a8fdea640a807ffd96 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.2.0-1 Architecture: amd64 Maintainer: Alexandre Duret-Lutz Installed-Size: 2827 Depends: libbddx0 (>= 2.12.2.0), libc6 (>= 2.34), libgcc-s1 (>= 3.3.1), libspot0 (>= 2.12.2.0-1), libspotgen0 (>= 2.12.2.0-1), libstdc++6 (>= 11), libspot0 (<< 2.12.2.0-1.1~), libspotgen0 (<< 2.12.2.0-1.1~) Recommends: graphviz Suggests: libspot-dev, spot-doc, python3-spot Filename: amd64/spot_2.12.2.0-1_amd64.deb Size: 998124 MD5sum: 326231c2538a99c18020f29014c18676 SHA1: e68348e67357f50c7f9c55c408498db04f9295a2 SHA256: 23f4a48983cf2661fd455e13151cfbad28a81f8d89de5ca030cb47c4545e392c 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.2.0-1 Auto-Built-Package: debug-symbols Architecture: i386 Maintainer: Alexandre Duret-Lutz Installed-Size: 11759 Depends: spot (= 2.12.2.0-1) Filename: i386/spot-dbgsym_2.12.2.0-1_i386.deb Size: 11392116 MD5sum: 99a550fcaea52af9e1b31f9de417118b SHA1: d7cbf8f8eb2abe074fd155a13f10909fc7309d31 SHA256: 2609b3d90b0b49577f78bc153739e5ad74fb167a9611714215c3bbf000455150 Section: debug Priority: optional Description: debug symbols for spot Build-Ids: 090ca7138a59fa10afa3848a5f1cf3991d7d9927 1496d47ca8ae6b2fcbfbb239d9e338ccdc13ece9 153be119b165d1feb03e9f6b9929d22cb330deb7 1e807bef2966cdaeb592771cc54312d3b51603d1 200be1197fab040e2747f372ca13f1c8ca38e470 2e444144f03aca1cdd8e94a01b1d1c8aa0db86b9 3f3257d64094c4320725af8692c34270eaa9830c 40d5f5e27732ba2456019c31def1ae8661ad98ba 49fb4542cfd4d3b2e17c2429ce72f4231c72be8b 4d56048ccd7f74568b7a2dea2b3124adf81b0bd1 99c88b7618cdb09df9e0d7f24ca26905a10e2211 bc1c062c938ed929f09a7b5f4cd23d9f332f1947 bf5fd8ccc6f47009ac1977b3d3889b0f6b82d349 d02fd3bc33da3ccb3d3964897e04a46f99dccd78 Package: spot-dbgsym Source: spot Version: 2.12.2.0-1 Auto-Built-Package: debug-symbols Architecture: amd64 Maintainer: Alexandre Duret-Lutz Installed-Size: 11980 Depends: spot (= 2.12.2.0-1) Filename: amd64/spot-dbgsym_2.12.2.0-1_amd64.deb Size: 11531504 MD5sum: d83a3cb5a4f2011741257ee50b2078bc SHA1: e067d248657bf136076165f25d61fae9935a628b SHA256: 6a058fb9b9e61742a34c068dcf4d5a73d0e9f06b24caa88aefaa3c925224a9f2 Section: debug Priority: optional Description: debug symbols for spot Build-Ids: 06f322cd51e008d4c9bb3e278b5713ef5706dcd4 0957fdb642503389afddc2d7b5ae0f5389d69354 0abcd29c9bbec5735699e4d8f5c127e2c308d2b3 18f0b11991adab1eebbb67a35253e7d8a71f5038 1b8c0d6caa90bcd485395ae3a45b7f0dc299b3f3 24ced056227896d77702551998c68a2662b0941e 444f1f95e28c6454af99a58ff51178b1402c4fe1 468c3517a28b5c0825bae3aee93134050f585c38 5d099a6fa6916345ee2d60b5b3dcda869da68643 5dae569a7877c84930de55c2959a5bb7f5a566a7 88707a3cd2c99bdd5d65684413c121594859e9a8 9357f13549ea4bd4567a6f10103db9ee26979665 d57b31868efb4d14716a879b1f93cf571d1d70a4 eae9f42975ece36a30e0d6f7127bf7e8b38eaef2 Package: spot-doc Source: spot Version: 2.12.2.0-1 Architecture: all Maintainer: Alexandre Duret-Lutz Installed-Size: 30049 Depends: libjs-mathjax, libjs-jquery, libjs-requirejs Filename: all/spot-doc_2.12.2.0-1_all.deb Size: 2251420 MD5sum: e57d4bcebd1494f2926a7166094dee80 SHA1: c8061a8c21eca134abef0d89a3d0a40ced1d07db SHA256: 6b351740023290bf77911d8c8c7c61bdbdc94841fce785e0adaee74e8b9cc666 Section: doc Priority: optional Homepage: http://spot.lrde.epita.fr/ Description: documentation for Spot HTML and PDF documentation for Spot.