Package: libbddx-dev Source: spot Version: 2.14.2.0-1 Architecture: i386 Maintainer: Alexandre Duret-Lutz Installed-Size: 353 Depends: libbddx0 (>= 2.14.2.0-1), libbddx0 (<< 2.14.2.0-1.1~) Filename: i386/libbddx-dev_2.14.2.0-1_i386.deb Size: 100240 MD5sum: 903644df503edf35b179092ea633acfe SHA1: db12bdfd103edd6782da3f2a42f7e21392c72e6f SHA256: 6ec55046cc97b9719b469c3a423e2999d6ff53ab9a50649a847740d88fc856a2 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.2.0-1 Architecture: amd64 Maintainer: Alexandre Duret-Lutz Installed-Size: 398 Depends: libbddx0 (>= 2.14.2.0-1), libbddx0 (<< 2.14.2.0-1.1~) Filename: amd64/libbddx-dev_2.14.2.0-1_amd64.deb Size: 94200 MD5sum: 4da970622c898d4c03aa957d0b22d9b2 SHA1: b897a6e1db8e6f5585d28c7df38d90828f449ae1 SHA256: 3ca303bb0b4273ca141ca28e8369d6474232bee29096ac5279e91e8f4b119bb3 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.2.0-1 Architecture: i386 Maintainer: Alexandre Duret-Lutz Installed-Size: 182 Depends: libc6 (>= 2.29), libgcc-s1 (>= 3.3.1), libstdc++6 (>= 5) Recommends: graphviz Suggests: libbddx-dev Filename: i386/libbddx0_2.14.2.0-1_i386.deb Size: 73148 MD5sum: 5eaffa01adedb1de39030f8a51aeb955 SHA1: 66a0d91ee517bb2fadc23e5d0bdb596822b5237e SHA256: e62e94f9254a2450eec9c7562a242b76bfa6c760c5a5caf7a6b55ba57aa952af 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.2.0-1 Architecture: amd64 Maintainer: Alexandre Duret-Lutz Installed-Size: 175 Depends: libc6 (>= 2.29), libgcc-s1 (>= 3.3.1), libstdc++6 (>= 5) Recommends: graphviz Suggests: libbddx-dev Filename: amd64/libbddx0_2.14.2.0-1_amd64.deb Size: 71828 MD5sum: 8e1bcc9c05a032dab427d2818c574ea7 SHA1: e0593ad7ccd35b6b7c3301965e02d1a31870e1ad SHA256: 30c531f10b9420868abed42f1c570070ee7824916a8841ab8cf63b61b4fb637f 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.2.0-1 Auto-Built-Package: debug-symbols Architecture: i386 Maintainer: Alexandre Duret-Lutz Installed-Size: 206 Depends: libbddx0 (= 2.14.2.0-1) Filename: i386/libbddx0-dbgsym_2.14.2.0-1_i386.deb Size: 187336 MD5sum: 713ddb9d7de458982caee28f1137c74b SHA1: 0adecdae23739a434052111fe80b0dc763177587 SHA256: 3214bd1e3d0325bdc4335b2d17d83b930796005b9624b220add42184fe33a0a7 Section: debug Priority: optional Description: debug symbols for libbddx0 Build-Ids: a849e75a709e45544148e7e56b6d64b16a36e269 Package: libbddx0-dbgsym Source: spot Version: 2.14.2.0-1 Auto-Built-Package: debug-symbols Architecture: amd64 Maintainer: Alexandre Duret-Lutz Installed-Size: 217 Depends: libbddx0 (= 2.14.2.0-1) Filename: amd64/libbddx0-dbgsym_2.14.2.0-1_amd64.deb Size: 192992 MD5sum: 6df217b640e65b47c331dfcd87d8a5bf SHA1: c1460b133a2c18926896b2cbe470882cea1ae3db SHA256: f59ce2fc5cb40ceeb78f9aa76a974d6f613f3ee72363811fa16b8ae5db664df8 Section: debug Priority: optional Description: debug symbols for libbddx0 Build-Ids: f8b7d23cee03e0e6b95a269637f32f036fcee3cd Package: libspot-dev Source: spot Version: 2.14.2.0-1 Architecture: i386 Maintainer: Alexandre Duret-Lutz Installed-Size: 15221 Depends: libspot0 (>= 2.14.2.0-1), libspot0 (<< 2.14.2.0-1.1~), libspotltsmin0 (>= 2.14.2.0-1), libspotltsmin0 (<< 2.14.2.0-1.1~), libbddx-dev Suggests: spot-doc Filename: i386/libspot-dev_2.14.2.0-1_i386.deb Size: 3301536 MD5sum: 50938a34511b2e1f128f2c00938a0844 SHA1: 10646ffaec84116596b224cce4aa5872b179b266 SHA256: accda884d7df2fe6e9921c0f349e46a917af162406a9fa414097f64823bccba2 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.2.0-1 Architecture: amd64 Maintainer: Alexandre Duret-Lutz Installed-Size: 17774 Depends: libspot0 (>= 2.14.2.0-1), libspot0 (<< 2.14.2.0-1.1~), libspotltsmin0 (>= 2.14.2.0-1), libspotltsmin0 (<< 2.14.2.0-1.1~), libbddx-dev Suggests: spot-doc Filename: amd64/libspot-dev_2.14.2.0-1_amd64.deb Size: 3137200 MD5sum: 84323398bfef5f1d2a75c5a4a5ad9c8e SHA1: 1535db75c11126a2406b27c5654297e4b131aaca SHA256: dd416e18abb27f3477bbe0947d77d20e91599da95e224dd9c21ae64b6e57a6a9 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.2.0-1 Architecture: i386 Maintainer: Alexandre Duret-Lutz Installed-Size: 4225 Depends: libbddx0 (>= 2.14.2.0-1), libc6 (>= 2.33), libgcc-s1 (>= 3.4), libstdc++6 (>= 11), libbddx0 (<< 2.14.2.0-1.1~) Recommends: graphviz Suggests: libspot-dev, spot-doc, python3-spot Filename: i386/libspot0_2.14.2.0-1_i386.deb Size: 1959648 MD5sum: b1a7834347e91529548adfafefe02062 SHA1: 5133f78b3a3314decf186799dd811b27659fdc32 SHA256: e0f91db51479ec5471dc5c4c7b99e670cc7c8b122067f3f0cfdadae7db8e73f9 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.2.0-1 Architecture: amd64 Maintainer: Alexandre Duret-Lutz Installed-Size: 4112 Depends: libbddx0 (>= 2.14.2.0-1), libc6 (>= 2.33), libgcc-s1 (>= 3.4), libstdc++6 (>= 11), libbddx0 (<< 2.14.2.0-1.1~) Recommends: graphviz Suggests: libspot-dev, spot-doc, python3-spot Filename: amd64/libspot0_2.14.2.0-1_amd64.deb Size: 1852392 MD5sum: c84a937f38d8fb41a5a761e4c868f3ef SHA1: 5b8f71bb9e87966217733b9d73341533a0d93e16 SHA256: 6779e4ecf19469249173b6c973290a6308228f1aa9ee9e001d9090271c856e53 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.2.0-1 Auto-Built-Package: debug-symbols Architecture: i386 Maintainer: Alexandre Duret-Lutz Installed-Size: 28763 Depends: libspot0 (= 2.14.2.0-1) Filename: i386/libspot0-dbgsym_2.14.2.0-1_i386.deb Size: 28476180 MD5sum: 8deb10742b2f6011f182fe86d60712eb SHA1: 7598ea1a722d3753c2eb6668b2af3df470728562 SHA256: 759e7ceadb930b1d7d952e99a2a843e531bf12ad656d4018ca5ef38f42a1f5e8 Section: debug Priority: optional Description: debug symbols for libspot0 Build-Ids: 04580cc83be071a330e70c64a65ed267b7b144f5 Package: libspot0-dbgsym Source: spot Version: 2.14.2.0-1 Auto-Built-Package: debug-symbols Architecture: amd64 Maintainer: Alexandre Duret-Lutz Installed-Size: 29359 Depends: libspot0 (= 2.14.2.0-1) Filename: amd64/libspot0-dbgsym_2.14.2.0-1_amd64.deb Size: 29028608 MD5sum: 043cb564b98c38ee2268e52a7cc5f896 SHA1: a7cf1e9f1814f8398ad081ad35f61e26184fb363 SHA256: 1ab071db45d6c482c14d927eb0c76a3f9dfbfe0ce26260d8b5e6f038ff8201de Section: debug Priority: optional Description: debug symbols for libspot0 Build-Ids: 725ead4e6cc2b32cdd811c3d06c71fa11263bdd2 Package: libspotgen0 Source: spot Version: 2.14.2.0-1 Architecture: i386 Maintainer: Alexandre Duret-Lutz Installed-Size: 583 Depends: libbddx0 (>= 2.14.2.0), libc6 (>= 2.32), libgcc-s1 (>= 3.3.1), libspot0 (>= 2.14.2.0-1), libstdc++6 (>= 11), libspot0 (<< 2.14.2.0-1.1~) Suggests: libspot-dev Filename: i386/libspotgen0_2.14.2.0-1_i386.deb Size: 431904 MD5sum: 7a4b47730863ea99219191598a9bd7c7 SHA1: f9b4c4f4921349bd4c7da5fc4f0b39a7216c9789 SHA256: b44aad3816e30d339c4de5567bc40ee3721b19f85e5b26287b8b6f87c27e145c 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.2.0-1 Architecture: amd64 Maintainer: Alexandre Duret-Lutz Installed-Size: 584 Depends: libbddx0 (>= 2.14.2.0), libc6 (>= 2.32), libgcc-s1 (>= 3.3.1), libspot0 (>= 2.14.2.0-1), libstdc++6 (>= 11), libspot0 (<< 2.14.2.0-1.1~) Suggests: libspot-dev Filename: amd64/libspotgen0_2.14.2.0-1_amd64.deb Size: 429120 MD5sum: 9329209950c979743d2c00bc609462ee SHA1: 4e1fb61dd36002e29f9dbcfe7f0b9e0ca80325df SHA256: 076b586d4c2e9600acde94b66927d4df7d27c10210eb8d9d828a8f7d1a455c5d 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.2.0-1 Auto-Built-Package: debug-symbols Architecture: i386 Maintainer: Alexandre Duret-Lutz Installed-Size: 750 Depends: libspotgen0 (= 2.14.2.0-1) Filename: i386/libspotgen0-dbgsym_2.14.2.0-1_i386.deb Size: 730560 MD5sum: cadbbffb987a22ab14e1c7a0396b7883 SHA1: 655a309a5120c511d7ffcb8dbb5180d3281996c2 SHA256: dde6eb93fc1d881429f8ec2e0bb3a7390ae570f099408898aab72e0147ece6b6 Section: debug Priority: optional Description: debug symbols for libspotgen0 Build-Ids: fd7a27bbb6d244df73082fadeeb1d00e9fc3fd22 Package: libspotgen0-dbgsym Source: spot Version: 2.14.2.0-1 Auto-Built-Package: debug-symbols Architecture: amd64 Maintainer: Alexandre Duret-Lutz Installed-Size: 771 Depends: libspotgen0 (= 2.14.2.0-1) Filename: amd64/libspotgen0-dbgsym_2.14.2.0-1_amd64.deb Size: 746652 MD5sum: f02592d16858ab9f26bc6e03fd9ceddb SHA1: 15cfcac3bc8a57b2d3a0adfe1049abf93bd70662 SHA256: 073542bb00b839f44cf715f26063c9a16edb0120646aa96593b65b33734d6ae8 Section: debug Priority: optional Description: debug symbols for libspotgen0 Build-Ids: 9c30f6f19400f3bcef1968dc997a7f1c21c40590 Package: libspotltsmin0 Source: spot Version: 2.14.2.0-1 Architecture: i386 Maintainer: Alexandre Duret-Lutz Installed-Size: 423 Depends: libbddx0 (>= 2.14.2.0), libc6 (>= 2.33), libgcc-s1 (>= 3.3.1), libltdl7 (>= 2.4.7), libspot0 (>= 2.14.2.0-1), libstdc++6 (>= 11), libspot0 (<< 2.14.2.0-1.1~) Suggests: libspot-dev Filename: i386/libspotltsmin0_2.14.2.0-1_i386.deb Size: 372808 MD5sum: 59cf7114d348e65db7ab6c3a612ad2a0 SHA1: 6a987ecdedbab8e33612df9aa237cb9897a58fb1 SHA256: aaec16105ab67a16129b819090048dec5197be8e8f3ad89f0a90cbbddb0f0f8c 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.2.0-1 Architecture: amd64 Maintainer: Alexandre Duret-Lutz Installed-Size: 424 Depends: libbddx0 (>= 2.14.2.0), libc6 (>= 2.33), libgcc-s1 (>= 3.3.1), libltdl7 (>= 2.4.7), libspot0 (>= 2.14.2.0-1), libstdc++6 (>= 11), libspot0 (<< 2.14.2.0-1.1~) Suggests: libspot-dev Filename: amd64/libspotltsmin0_2.14.2.0-1_amd64.deb Size: 370700 MD5sum: f1c34516b2147ccc8e137e527e8451e7 SHA1: 0d7af776f2a4f2c19d3dea9a6e7b3f054f5aea99 SHA256: 94d69210a9137fa2b93e33ddf0eeb3963c129f8f216a41217cfb6dbcc20eb82d 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.2.0-1 Auto-Built-Package: debug-symbols Architecture: i386 Maintainer: Alexandre Duret-Lutz Installed-Size: 631 Depends: libspotltsmin0 (= 2.14.2.0-1) Filename: i386/libspotltsmin0-dbgsym_2.14.2.0-1_i386.deb Size: 615764 MD5sum: 03e042ee596461d75b8f6221791d07cc SHA1: 19ae168ce00a480bbda7e9e625005412e82c579e SHA256: dae75afbf14a478252d293cce82d3670ffe9b5a743fbaf242a0f506e4d4036ea Section: debug Priority: optional Description: debug symbols for libspotltsmin0 Build-Ids: 6e0d7915ac6ff1dce9497e9efe1148fcd74bcfe3 Package: libspotltsmin0-dbgsym Source: spot Version: 2.14.2.0-1 Auto-Built-Package: debug-symbols Architecture: amd64 Maintainer: Alexandre Duret-Lutz Installed-Size: 640 Depends: libspotltsmin0 (= 2.14.2.0-1) Filename: amd64/libspotltsmin0-dbgsym_2.14.2.0-1_amd64.deb Size: 620692 MD5sum: 9338546eddf62db2264341b6faae62c0 SHA1: 2d0659e37ed49d9d2a9f5fc3325d2ad29527b70c SHA256: 75e1be7b422c325001ce75ca25298432dbe1f55947fd4a368a7efea3a1af382c Section: debug Priority: optional Description: debug symbols for libspotltsmin0 Build-Ids: 13ffec514a3ddc90000c286e26bc8f02d14ca6ad Package: python3-spot Source: spot Version: 2.14.2.0-1 Architecture: i386 Maintainer: Alexandre Duret-Lutz Installed-Size: 41007 Depends: libbddx0 (>= 2.14.2.0), libc6 (>= 2.32), libgcc-s1 (>= 3.4), libspot0 (>= 2.14.2.0-1), libspotgen0 (>= 2.14.2.0), libspotltsmin0 (>= 2.14.2.0-1), libstdc++6 (>= 11), python3 (<< 3.12), python3 (>= 3.11~), python3:any, libspot0 (<< 2.14.2.0-1.1~), libspotltsmin0 (<< 2.14.2.0-1.1~) Suggests: ipython3 Filename: i386/python3-spot_2.14.2.0-1_i386.deb Size: 2306224 MD5sum: 5fce0aa0a98c5ba08f40034d93170e20 SHA1: 251285873bde88db02880af3a31f6397550f09cb SHA256: 05c3138b1173f3f124b00384996c1352055cdb1d29259dc1feb0964766bae8fd 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.2.0-1 Architecture: amd64 Maintainer: Alexandre Duret-Lutz Installed-Size: 41289 Depends: libbddx0 (>= 2.14.2.0), libc6 (>= 2.32), libgcc-s1 (>= 3.4), libspot0 (>= 2.14.2.0-1), libspotgen0 (>= 2.14.2.0), libspotltsmin0 (>= 2.14.2.0-1), libstdc++6 (>= 11), python3 (<< 3.12), python3 (>= 3.11~), python3:any, libspot0 (<< 2.14.2.0-1.1~), libspotltsmin0 (<< 2.14.2.0-1.1~) Suggests: ipython3 Filename: amd64/python3-spot_2.14.2.0-1_amd64.deb Size: 2304660 MD5sum: dae744835b1db23cc679e7730cb91dbd SHA1: d1733250e8f0fd533d43edeb8267f4aaf81652c6 SHA256: 37311167bb0db20808dec63725f6f8ca91a358cd2ac709539560cfd189126e71 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.2.0-1 Auto-Built-Package: debug-symbols Architecture: i386 Maintainer: Alexandre Duret-Lutz Installed-Size: 7237 Depends: python3-spot (= 2.14.2.0-1) Filename: i386/python3-spot-dbgsym_2.14.2.0-1_i386.deb Size: 6711772 MD5sum: e0cf92901fc547974a527c163d847fef SHA1: 263fafb042f864dbca3f055d444c19274fc21e34 SHA256: 16cb639fb6d997c41ceb0fb50e5fa5c2e3ceea4168d8081dc2025364681bcb72 Section: debug Priority: optional Description: debug symbols for python3-spot Build-Ids: 3531f611c460f1c42bcb3552cc247cb2c4342733 51df02b83df5268b8bf709ba12e913a6d104b030 6e0ec8e5043ee68b8bde18aba4faf2f11ffb705c c5b83cc065682482fb6a131989452236663c8f2b Package: python3-spot-dbgsym Source: spot Version: 2.14.2.0-1 Auto-Built-Package: debug-symbols Architecture: amd64 Maintainer: Alexandre Duret-Lutz Installed-Size: 7512 Depends: python3-spot (= 2.14.2.0-1) Filename: amd64/python3-spot-dbgsym_2.14.2.0-1_amd64.deb Size: 6908524 MD5sum: a8a730ed9eeeff5d03062462e6a8e77a SHA1: 18afe6a31347a9eb701bdec8c5192d860744a1fc SHA256: f9277780832e94aa6ea688d4d6071dd9523600381681ffc93f3afb208f0f3254 Section: debug Priority: optional Description: debug symbols for python3-spot Build-Ids: 78fdd6916d7e231e05a6b633f7ecde0822150e17 9a5ca7ac06769938a0afb9c074da593c9a780ed8 b3e5a32ee88ba36e52cec49f780b52e783b4a646 be7284f84134bb7c362a9d185901666da2611c47 Package: spot Version: 2.14.2.0-1 Architecture: i386 Maintainer: Alexandre Duret-Lutz Installed-Size: 3571 Depends: libbddx0 (>= 2.14.2.0), libc6 (>= 2.34), libgcc-s1 (>= 4.2), libspot0 (>= 2.14.2.0-1), libspotgen0 (>= 2.14.2.0-1), libstdc++6 (>= 11), libspot0 (<< 2.14.2.0-1.1~), libspotgen0 (<< 2.14.2.0-1.1~) Recommends: graphviz Suggests: libspot-dev, spot-doc, python3-spot Filename: i386/spot_2.14.2.0-1_i386.deb Size: 1199820 MD5sum: bccb5f00fc65321175b98ae56e205798 SHA1: a31e8ef9fcb3e5ec86307cf8a2cc7173131e37ea SHA256: 17e33c16f78dcd7a3e540f86c69a2a7adccc6d59234d1deb95f77f1fe3317e51 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.2.0-1 Architecture: amd64 Maintainer: Alexandre Duret-Lutz Installed-Size: 3659 Depends: libbddx0 (>= 2.14.2.0), libc6 (>= 2.34), libgcc-s1 (>= 3.3.1), libspot0 (>= 2.14.2.0-1), libspotgen0 (>= 2.14.2.0-1), libstdc++6 (>= 11), libspot0 (<< 2.14.2.0-1.1~), libspotgen0 (<< 2.14.2.0-1.1~) Recommends: graphviz Suggests: libspot-dev, spot-doc, python3-spot Filename: amd64/spot_2.14.2.0-1_amd64.deb Size: 1170664 MD5sum: 20ea5f75e20cb9d00c8cad691a4f80bb SHA1: 10c90b419d5d05d8afbb9eb4256dc2d3bb411f00 SHA256: 259cfc716107d2108d669d612f3c568506a6b4749d41a16f93dfdc5727c182a2 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.2.0-1 Auto-Built-Package: debug-symbols Architecture: i386 Maintainer: Alexandre Duret-Lutz Installed-Size: 15618 Depends: spot (= 2.14.2.0-1) Filename: i386/spot-dbgsym_2.14.2.0-1_i386.deb Size: 15078424 MD5sum: 4e51384f3f5002d38ae1cd6efb2ea83f SHA1: 32dca9ef5cfbeb78a2576d9f41a30b184273b761 SHA256: 71d5eb32b91425aeb937a924a1a9641a5ab61e4b6902ebbf8e1e246690e569d0 Section: debug Priority: optional Description: debug symbols for spot Build-Ids: 048ec93bfe1a95909c68ba39fbd17183f1a4a10d 0c85558c83a987cd70d1bccd7dd16c054f075025 227146c4e7ea6a35935e00b41be9fedb9fb757f7 361bb785c82b2e5ce06b076b572263face65acd9 4174e2fdcfd29fbbf3e73ac4a511807a0d59ba3b 5ad5a747099b510a369ab6aee5bc5e21592167a3 6da2666ea31da3403840c8faf4f51a9046d9ed38 74d0b91f05d51f21b35999f81ce9384940c9ae4f 7be42d929671292aa8251c1a28bdcdead24db90a 8513fddc6f51c5b85fde5e1eb558032c8d2a3e02 889d4524baaac074a3ac57194f48680782c4014e af0d92b8fa580157104580dc5847f599fce9223b b200cd035874f82ab61fb1a5a1c7e0a1622ecaeb be4d95c2afd60a853da85e6bc0aad5779dabbde2 c2cff808e710cb61023f9f9c04f6d8e290e3225c d72f62e6cc16dede6a75279ae8f39faf19178f2b f3d02e62e203dbc685e3ec4b6892540e95199fc7 Package: spot-dbgsym Source: spot Version: 2.14.2.0-1 Auto-Built-Package: debug-symbols Architecture: amd64 Maintainer: Alexandre Duret-Lutz Installed-Size: 15943 Depends: spot (= 2.14.2.0-1) Filename: amd64/spot-dbgsym_2.14.2.0-1_amd64.deb Size: 15287272 MD5sum: f997bbafce5d9fb5d2d044bb6d1b25d9 SHA1: 568a1f48d6c8309ee83d73be1fa860702fb1f20c SHA256: 63aa25c13912be57894a86f4e570876cbc281673f2eac69e5cba313f08bd265b Section: debug Priority: optional Description: debug symbols for spot Build-Ids: 03f13c69f573d8c32780f30f7ea381e097f662e4 17d82d8359e035cf22e22998ef9e1c462ba1222a 2df9658a76b87c2ed5826afef7c678d994b8dcfc 410d554d684d0418aaf3eeb4f1be31b84b45b0b2 418b2171d17cc243942eea3231834c8dc75c7d18 4e9f8b929a28ef50712a1a2e0950e9968815c58c 618ee23e31f44f6fdb3900722721b86d9960c7a6 6b05f8ad8ccc9eea8873fbe01933bfce5d3406f3 6e5577a764bdb2d33e71c4c11a2d8e947a703e40 868ff6d39d17e11c2b1d7fd610dc83ea2e9f09fc 9a822657507d3fba6c314b66275d876a1adeba70 9c29104504ee039a64124bf0456fc74d870143bc c273a00d22b6c98efcd6186bb810807181f82e32 ef05b7c3c4770e4bec655845e3e999e2e057c3fe f21043090c6e87d87e99927c305fa502ee806a4c f5ae95874c4dd4c05b68c8bac71c7914003e4a67 f5f29e074aeadd07cd829680912e02a4de69eae1 Package: spot-doc Source: spot Version: 2.14.2.0-1 Architecture: all Maintainer: Alexandre Duret-Lutz Installed-Size: 31544 Depends: libjs-mathjax, libjs-jquery, libjs-requirejs Filename: all/spot-doc_2.14.2.0-1_all.deb Size: 2372720 MD5sum: e9d371cccc24ce8a529dea042fdeaff9 SHA1: 3f0ce332b9b3fb05b8868e0d9c4d86ec91e176ca SHA256: efc80a4dc335853bd35a114661373737d88a455f608c5bb5b7939c6195c80b41 Section: doc Priority: optional Homepage: http://spot.lrde.epita.fr/ Description: documentation for Spot HTML and PDF documentation for Spot.