-----BEGIN PGP SIGNED MESSAGE----- Hash: SHA1 Format: 1.8 Date: Thu, 09 Oct 2014 10:15:49 +0000 Source: buddy Binary: libbdd0c2 libbdd-dev Architecture: source amd64 Version: 2.4-11 Distribution: unstable Urgency: medium Maintainer: Debian QA Group <packages@qa.debian.org> Changed-By: Matthias Klose <doko@debian.org> Description: libbdd-dev - Binary decision-diagram library (development) libbdd0c2 - Binary decision-diagram library (runtime) Closes: 761735 Changes: buddy (2.4-11) unstable; urgency=medium . * QA upload. * Build-depend on libtool-bin. Closes: #761735. Checksums-Sha1: 4ea19dd008573c0114d32c3e8fffa0475630b64b 1168 buddy_2.4-11.dsc 6f754b14ee481b7d2553286c9386baef35cdc5ad 4508 buddy_2.4-11.debian.tar.xz dcff8bed6ef7d1bd21a1251cc9efdb538f99a2c6 54288 libbdd0c2_2.4-11_amd64.deb 81b4da0e54f3fb1ec8b0b3399197e7946400ea84 457828 libbdd-dev_2.4-11_amd64.deb Checksums-Sha256: b0fd0aafaaeef24e882a2a82e6309424fcb21f93dff58b42cd0fdb2690e09c62 1168 buddy_2.4-11.dsc 31feef951aab30462a8c69054b40eeabe44a9051b661f765edc4cb4f7b26231a 4508 buddy_2.4-11.debian.tar.xz da6e9c0f2259dd53e39b05781ee870ea682eafdecc103c16f31017db23330934 54288 libbdd0c2_2.4-11_amd64.deb bf0dda155c6e3868fa05d133dc00532af6b478773ae02ce820bf23fa2c3a468f 457828 libbdd-dev_2.4-11_amd64.deb Files: 3b3fbb91c4e4003e8a3a0d25d1d812ab 1168 devel optional buddy_2.4-11.dsc 82f96b22593d1a5cd415dda329f2ec46 4508 devel optional buddy_2.4-11.debian.tar.xz a08baed27b981fa7708d6f626b80d4cd 54288 libs optional libbdd0c2_2.4-11_amd64.deb 61436b8819cead5dd17b4ae58b079428 457828 libdevel optional libbdd-dev_2.4-11_amd64.deb -----BEGIN PGP SIGNATURE----- Version: GnuPG v1 iEYEARECAAYFAlQ2YMMACgkQStlRaw+TLJwwMACfejSH03UKYUlaKlXkCLqrPqZV MBcAnRKtPOJSRirMOGQgL2P6B090Ij1n =sF6c -----END PGP SIGNATURE-----
