Package: libbddx-dev Source: spot Version: 2.12.1.0-1 Architecture: i386 Maintainer: Alexandre Duret-Lutz Installed-Size: 296 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: 82056 MD5sum: b1f525fc9a14fc830b737a0bea389999 SHA1: 5c9626aa76ae5a6102083f085642c9da1963f9f6 SHA256: 546a2c0ae40debc6b589b5a915ab1e8c9ccb70a47dbf46b9d7b4894524a96ec4 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: 334 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: 77752 MD5sum: 3b2cae53537e9ecd24103c569e37e958 SHA1: da3d52a0e5cba6018fc75f69406aca2f27b86989 SHA256: 9c174fcb532b88a9f129b5dbff9e0936fa8e46c1c51f854940eb4cb323c78bad 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: 140 Depends: libc6 (>= 2.29), libgcc-s1 (>= 3.0), libstdc++6 (>= 4.3) Recommends: graphviz Suggests: libbddx-dev Filename: i386/libbddx0_2.12.1.0-1_i386.deb Size: 56728 MD5sum: 4b023070ffcfec594ac801599e554d3a SHA1: adbe1a08d246b543bdc147f944814e956ee43b48 SHA256: e4a4ade5f1a5f638cd7d98379cc90a5b6d4096827d5830d7bc73885487e51e1a 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: 133 Depends: libc6 (>= 2.29), libgcc-s1 (>= 3.0), libstdc++6 (>= 4.3) Recommends: graphviz Suggests: libbddx-dev Filename: amd64/libbddx0_2.12.1.0-1_amd64.deb Size: 54384 MD5sum: 21b400449d975984b39c2cd4ebf938b0 SHA1: 20b2a33cdee326d3cddcdc717316a841e1f4d300 SHA256: 98921e011c94bc3ae250cc51526b49c35a712b78bbf15aaecb93d0efd9ab8cf8 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: 148 Depends: libbddx0 (= 2.12.1.0-1) Filename: i386/libbddx0-dbgsym_2.12.1.0-1_i386.deb Size: 129556 MD5sum: d8fcb6eb412631bd349ca63c86ed1c9a SHA1: 4c4abe40b8b67bab2e520a827cfd85fe8611b5c6 SHA256: dd67e64288282119ef0b35242d38eecccd1c419b0523fb5d2d8f07b4b6642689 Section: debug Priority: optional Description: debug symbols for libbddx0 Build-Ids: 7d038b2b443c1678f086d36814242e9b3a1838cc Package: libbddx0-dbgsym Source: spot Version: 2.12.1.0-1 Auto-Built-Package: debug-symbols Architecture: amd64 Maintainer: Alexandre Duret-Lutz Installed-Size: 159 Depends: libbddx0 (= 2.12.1.0-1) Filename: amd64/libbddx0-dbgsym_2.12.1.0-1_amd64.deb Size: 136176 MD5sum: 84b1bcbaea7e9e542e241d09d4a59bab SHA1: aafcf867fbc15f36c0ea34dbcf3750b5c82cb862 SHA256: f6338ea3a1db89a4035181ff761fd89f4bfffaf3bcd321a3898a700e15f10b71 Section: debug Priority: optional Description: debug symbols for libbddx0 Build-Ids: 34dbb7140b69f789cca732a44ff9ff0c655daaf2 Package: libspot-dev Source: spot Version: 2.12.1.0-1 Architecture: i386 Maintainer: Alexandre Duret-Lutz Installed-Size: 14131 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: 3058852 MD5sum: a3d58678ec4862cf866bba26f5f2b47e SHA1: 084ba3f71e442dd6e830890c5626fc2bb6d34f42 SHA256: 23d25bc58f3506191c45a74eceaf695452148a640ed4204db5a923b59aeaf871 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: 16468 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: 2900560 MD5sum: aece888723b4693d5c422b542280a857 SHA1: dff8179ef6e31723c93d03e3fb2a210038515683 SHA256: b8ca24b0e25b0824287bc0ae287806f4e37aa88093048b0eae428fe2a118f009 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: 3897 Depends: libbddx0 (>= 2.12.1.0-1), libc6 (>= 2.33), libgcc-s1 (>= 3.4), libstdc++6 (>= 11), 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: 1813820 MD5sum: bb8a1d5119afbd0843444f8631edd20c SHA1: be5b91d4ec25e7ee33491c7ba65ad55b731140ff SHA256: 7f5582252f3e0290150c2181eb75fde3b43585c47457d4e9610322b1b6600f27 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: 3780 Depends: libbddx0 (>= 2.12.1.0-1), libc6 (>= 2.33), libgcc-s1 (>= 3.4), libstdc++6 (>= 11), 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: 1711584 MD5sum: 0c7f2a764602cd1af93177e469dd2ce6 SHA1: a18f06c11040c1c080ad9bde882050f267fe1f1d SHA256: 77402cd8b7bbc1a25a4d634ae1e70bc59f5ea644046ec8c6f9015ca59f1ea113 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: 26667 Depends: libspot0 (= 2.12.1.0-1) Filename: i386/libspot0-dbgsym_2.12.1.0-1_i386.deb Size: 26400756 MD5sum: 9dbc908c6f0fe51ca44f7ddf9b249062 SHA1: 65431c0bfa4aa63bfa08e50a221294148ba0b202 SHA256: 6d86e63038081bfecaffd97fabbd95945448f75a0b8163719a2b5d71e17580f6 Section: debug Priority: optional Description: debug symbols for libspot0 Build-Ids: ad7a702adcf80df27f589307d248a726e6d63a44 Package: libspot0-dbgsym Source: spot Version: 2.12.1.0-1 Auto-Built-Package: debug-symbols Architecture: amd64 Maintainer: Alexandre Duret-Lutz Installed-Size: 27231 Depends: libspot0 (= 2.12.1.0-1) Filename: amd64/libspot0-dbgsym_2.12.1.0-1_amd64.deb Size: 26923204 MD5sum: 9ff186c61b7b8e500e55cd0ab3ef9bb9 SHA1: f9f5f2d62d4840ab0fd146817bbf86ae4d1f533f SHA256: 5541581141ab207ec7ec4e0d7837be2ce60229f0bf0d0822a7c9c2ca97097ee7 Section: debug Priority: optional Description: debug symbols for libspot0 Build-Ids: 16be2afdf20c4534c853b5cd0617682f95be588b Package: libspotgen0 Source: spot Version: 2.12.1.0-1 Architecture: i386 Maintainer: Alexandre Duret-Lutz Installed-Size: 531 Depends: libbddx0 (>= 2.12.1.0), libc6 (>= 2.32), libgcc-s1 (>= 3.3.1), libspot0 (>= 2.12.1.0-1), libstdc++6 (>= 11), libspot0 (<< 2.12.1.0-1.1~) Suggests: libspot-dev Filename: i386/libspotgen0_2.12.1.0-1_i386.deb Size: 402008 MD5sum: 84b3a526844d8a1bfb4599cbed62b38e SHA1: cb1440a0dc856e19a20104cb0d9c3523a2d24982 SHA256: 323138e236b687b4ed688764676870ab6dff5b9b5bdc7d1ed9c3af16096756bf 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: 536 Depends: libbddx0 (>= 2.12.1.0), libc6 (>= 2.32), libgcc-s1 (>= 3.3.1), libspot0 (>= 2.12.1.0-1), libstdc++6 (>= 11), libspot0 (<< 2.12.1.0-1.1~) Suggests: libspot-dev Filename: amd64/libspotgen0_2.12.1.0-1_amd64.deb Size: 399116 MD5sum: a5b38731e4be07932d68f2bec3164f3f SHA1: 58f1993717ce1a43144ff54d21b3de1c5dab7bc4 SHA256: ff962dda4030bf89c517510d7b835011229f69c1af10cdc3cee1ba9954bfd958 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: 668 Depends: libspotgen0 (= 2.12.1.0-1) Filename: i386/libspotgen0-dbgsym_2.12.1.0-1_i386.deb Size: 647880 MD5sum: ce7202c9cc35d0800013a25b4b2ab59e SHA1: bca4f52778fed82812ad5b4d0b2428e3caebb9c1 SHA256: 88963cf6dfd878c32d5eb5ec014171c8d595ec853028abf566e5d51b75fb1a75 Section: debug Priority: optional Description: debug symbols for libspotgen0 Build-Ids: 0e183bced335a7a8011d6788ae55559d6c9e3988 Package: libspotgen0-dbgsym Source: spot Version: 2.12.1.0-1 Auto-Built-Package: debug-symbols Architecture: amd64 Maintainer: Alexandre Duret-Lutz Installed-Size: 686 Depends: libspotgen0 (= 2.12.1.0-1) Filename: amd64/libspotgen0-dbgsym_2.12.1.0-1_amd64.deb Size: 661836 MD5sum: 31188fcbd5f7e89634657cb2958397fc SHA1: 47664e8ab0eacc02fc434f76de551e957279eebd SHA256: ea552706c2180e1309cd70e34f04f51b644f2bff2c01f7322485c79ce5069d71 Section: debug Priority: optional Description: debug symbols for libspotgen0 Build-Ids: 7abec922da35ebeeafbca7449955d1f131f6031f 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.33), libgcc-s1 (>= 3.3.1), libltdl7 (>= 2.4.7), libspot0 (>= 2.12.1.0-1), libstdc++6 (>= 11), libspot0 (<< 2.12.1.0-1.1~) Suggests: libspot-dev Filename: i386/libspotltsmin0_2.12.1.0-1_i386.deb Size: 357132 MD5sum: e9f10855c6ac197a382564ddbbaa0959 SHA1: 6858608e5287addcc98b70d3af95cb4605d24a56 SHA256: fd137c7a4b516badf15262db3164eacebf5cd328337845ec9b78507ff1c85512 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.33), libgcc-s1 (>= 3.3.1), libltdl7 (>= 2.4.7), libspot0 (>= 2.12.1.0-1), libstdc++6 (>= 11), libspot0 (<< 2.12.1.0-1.1~) Suggests: libspot-dev Filename: amd64/libspotltsmin0_2.12.1.0-1_amd64.deb Size: 355036 MD5sum: beac44e8796fb7822a4d5c601487fc39 SHA1: 0c9469e98cf757b97823801d681f7d0541f8dce1 SHA256: 6554d715462df821f99f99d74ea5ba30e9a8c01ccb1b5253a27a2f1a27da5cc6 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: 636 Depends: libspotltsmin0 (= 2.12.1.0-1) Filename: i386/libspotltsmin0-dbgsym_2.12.1.0-1_i386.deb Size: 620020 MD5sum: bc8214aa0133658e05bd318e008c468c SHA1: 52f916ef0931b4c3d98bf6f4352e12cd017489c9 SHA256: e7566ec0319521efb2bdc822ed12bf4f446f3facd95684259caf50bc3cf37a90 Section: debug Priority: optional Description: debug symbols for libspotltsmin0 Build-Ids: 4ac41d0b23e9713ee34454c2c0cfeca4a3cc3063 Package: libspotltsmin0-dbgsym Source: spot Version: 2.12.1.0-1 Auto-Built-Package: debug-symbols Architecture: amd64 Maintainer: Alexandre Duret-Lutz Installed-Size: 644 Depends: libspotltsmin0 (= 2.12.1.0-1) Filename: amd64/libspotltsmin0-dbgsym_2.12.1.0-1_amd64.deb Size: 624980 MD5sum: 071e796d47e76e859f386dbdee60f8a0 SHA1: 2e2165c52eed0d1526d051328a5c3b7d1b0e5d9b SHA256: 1e0de48b830f3eb60afeab24c77ced10e80c3c9eda0cde55a3671eb025c3e564 Section: debug Priority: optional Description: debug symbols for libspotltsmin0 Build-Ids: 314dffdd3eb96fc22080f829c1f8a8d55fd50c88 Package: python3-spot Source: spot Version: 2.12.1.0-1 Architecture: i386 Maintainer: Alexandre Duret-Lutz Installed-Size: 15966 Depends: libbddx0 (>= 2.12.1.0), libc6 (>= 2.32), libgcc-s1 (>= 3.4), libspot0 (>= 2.12.1.0-1), libspotgen0 (>= 2.12.1.0), libspotltsmin0 (>= 2.12.1.0-1), libstdc++6 (>= 11), python3 (<< 3.12), python3 (>= 3.11~), 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: 1696028 MD5sum: f083aa29b1d5b0d7bd58d25165e164bb SHA1: faf6254259ad18c9ae3f690c35f73c540a9f377e SHA256: cb15ba2c1fb0bfd177baea9059ca6b2610de1c6fc6abccb3b82d668dd9e11caf 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: 16229 Depends: libbddx0 (>= 2.12.1.0), libc6 (>= 2.32), libgcc-s1 (>= 3.4), libspot0 (>= 2.12.1.0-1), libspotgen0 (>= 2.12.1.0), libspotltsmin0 (>= 2.12.1.0-1), libstdc++6 (>= 11), python3 (<< 3.12), python3 (>= 3.11~), 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: 1691076 MD5sum: 7a457678388a166d3f1f8f7f7c6616c7 SHA1: 3bfa1446f15602c2a50e73295834d8d059bc56c0 SHA256: 1020fcdcb56ed4f99be5ae03733aac06e65454db44d494a17c9b62ae73330e08 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: 6524 Depends: python3-spot (= 2.12.1.0-1) Filename: i386/python3-spot-dbgsym_2.12.1.0-1_i386.deb Size: 6047364 MD5sum: 1b6946d10a98bfa990c249503e896d7e SHA1: 2163cfd23bd39481111655443ab3bbd730523529 SHA256: a5ecaaea83b4d72f08e22af4beed2c518e18f19db7511054df7bf3562566ccf1 Section: debug Priority: optional Description: debug symbols for python3-spot Build-Ids: 5eb08e414f408e5f23cc1ecc0b3067ff44b42a4a 6e983c10392c91f62a9c976517197483e50a9c73 d4a68071e1b929bff75babcc1bc228dd5307241b ed9bb988856a2c8abf135d1bd65d5a77de1805bc 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: 6809 Depends: python3-spot (= 2.12.1.0-1) Filename: amd64/python3-spot-dbgsym_2.12.1.0-1_amd64.deb Size: 6260684 MD5sum: 7a1567e3373823f255834b5f7c12cd6e SHA1: c22726b34d68e081441ba88c44f803eb1c5adc76 SHA256: 703edef0694488b06e112f1a586eae1ac785e822646c2a7fb1c9b4b92a8c7df3 Section: debug Priority: optional Description: debug symbols for python3-spot Build-Ids: 32cbc6f986f0cda0f849ffa093ee4d6603e37264 4c446c23d7ab64efcc284ef8f518401c9c535a5c 948413af86e536441dccc7e8d75980a3f87c2c87 d5d28d222407338e48a1be1e9a83b0465c7dffe4 Package: spot Version: 2.12.1.0-1 Architecture: i386 Maintainer: Alexandre Duret-Lutz Installed-Size: 2742 Depends: libbddx0 (>= 2.12.1.0), libc6 (>= 2.34), libgcc-s1 (>= 4.2), libspot0 (>= 2.12.1.0-1), libspotgen0 (>= 2.12.1.0-1), libstdc++6 (>= 11), 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: 1015992 MD5sum: 2230ca3a7035b725fc890d29e68c74e3 SHA1: ae03bdcb993e7dd2c92c59bf8ec9b95ec44c0944 SHA256: 5f93369d89860722cac1404246d2dc66121e7cb607e888be441b3ed54f426cd8 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: 2824 Depends: libbddx0 (>= 2.12.1.0), libc6 (>= 2.34), libgcc-s1 (>= 3.3.1), libspot0 (>= 2.12.1.0-1), libspotgen0 (>= 2.12.1.0-1), libstdc++6 (>= 11), 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: 999152 MD5sum: c61e0b2dc85d901454afe045a2265b89 SHA1: c17433d825b7108128ee9d5bb561f9f6d065b370 SHA256: 24d7287ab6bf51c982af9c90a2e642142f033f4ff93c93487b3b574b0ab03ba2 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: 11757 Depends: spot (= 2.12.1.0-1) Filename: i386/spot-dbgsym_2.12.1.0-1_i386.deb Size: 11386956 MD5sum: a0ea3e3c05208f85fbbccb80c2227540 SHA1: 00e2f19c7ae7415ada0107a6bdd4ba866c08331a SHA256: 1c3538e76eb7348513633ec179bfe7002707717747e0b2a216cbb4e4f20326df Section: debug Priority: optional Description: debug symbols for spot Build-Ids: 0d73428a7079f03f7acb082b3ab9705619d890e3 2ee22a38f81087b01a293458ad0c0433dc534e17 3793a8d52890e5f0587e98e66e005725f4ca1b7b 3b6ca5061709f8ab8055b7dda02c41a0ee9ae675 583085a2d48498220a70ebe76c836886d87f61cd 90f111d74807355e6c6f534002999ab5989b04f2 939456e06054d62b6e5e154a0b00e6db5dbffe4c af9db2bc660d418f832a44136300ca3eccfb558c cdeee319e0fc6ffb172c175d60ab0532ca27e881 cffe29dde33cbf6e01c45db5968bb31e4f97dcd5 d40d3ea0a0655185ed3d2808adecef7c5bc9a3b5 e9838c893d8cd4ea9fdcf819aa368414e075fce4 f5faaeca803f47a1f7a813142aa5e572f8698588 ffbf7f270bb156ac7a4d0782570a149450da85a1 Package: spot-dbgsym Source: spot Version: 2.12.1.0-1 Auto-Built-Package: debug-symbols Architecture: amd64 Maintainer: Alexandre Duret-Lutz Installed-Size: 11982 Depends: spot (= 2.12.1.0-1) Filename: amd64/spot-dbgsym_2.12.1.0-1_amd64.deb Size: 11531776 MD5sum: fa8b6516d862075c26ad2adbb1e71dc4 SHA1: aad435f6ed999dbac4cab98a9165d0be5bdb7a00 SHA256: 92c9a6f333ce9424cb5f74fed8ee8fe52456cd226430cdff1f7e0caf6d805af2 Section: debug Priority: optional Description: debug symbols for spot Build-Ids: 18d0f0d76766a4f34e905c869efffe1b388e222a 1bb900a1f8cef72b906cd50b19ac3921113c0252 3c446b35d5a0d81683587fa90a2caffd1aaca800 5260ccb5b38d7812ef6004c9ee8c775c9bde3178 6156ba2476e3688ec1ad646f783237521fc6c35d 99998b7b7fa3fb6ecf38c29507209362d853802a 9b00f22caedbf78c865a99c8dd8278be181fe259 a457de49cc50fe3942246d1d2e1ac9689b454ffa cc76804520e398be19af0090723495b059da4abd d119d4db7c69ec1fbe9866ab32957d50592173cb da7591734e0236b64edcd824fcb65844b675c5ea db34147b34ed1f787b82368fc1c6d6e010467fd9 e05703445b8467bda3570e7507572d45d8e1c8a1 fe70cb212101642a3aacbc482bc4c00bbe329199 Package: spot-doc Source: spot Version: 2.12.1.0-1 Architecture: all Maintainer: Alexandre Duret-Lutz Installed-Size: 30048 Depends: libjs-mathjax, libjs-jquery, libjs-requirejs Filename: all/spot-doc_2.12.1.0-1_all.deb Size: 2251072 MD5sum: 9ec66e2222b0259dc68d2fb3dede85bd SHA1: 413743a8b71000a6945c625dfba549040efb4d40 SHA256: 2a600181abc554da61996f444c9684f38222dfd0e39dcea002230fe64af9246b Section: doc Priority: optional Homepage: http://spot.lrde.epita.fr/ Description: documentation for Spot HTML and PDF documentation for Spot.