-----BEGIN PGP SIGNED MESSAGE----- Hash: SHA1 Format: 1.8 Date: Fri, 26 Aug 2011 10:56:08 +0200 Source: depqbf Binary: depqbf Architecture: source i386 Version: 0.1-1 Distribution: unstable Urgency: low Maintainer: Debian Science Maintainers <debian-science-maintainers@lists.alioth.debian.org> Changed-By: Thomas Krennwallner <tkren@kr.tuwien.ac.at> Description: depqbf - solver for quantified boolean formulae Closes: 639363 Changes: depqbf (0.1-1) unstable; urgency=low . * Initial release (Closes: #639363) Checksums-Sha1: 1e0bfb9a62eeb89e467c500c621a92923674bfe2 1255 depqbf_0.1-1.dsc 980fd39d101bf7080d2e0b89ea972d39c9cdf56b 79401 depqbf_0.1.orig.tar.gz 95757cd936ff9e616dd5b95d512666e42258f569 3231 depqbf_0.1-1.debian.tar.gz 94424d22c8e005990032964cfca4242ec69833c4 39576 depqbf_0.1-1_i386.deb Checksums-Sha256: 470ecdcd61e43c5fce15b760349174b973993e517872185930ac6de9bacb2ade 1255 depqbf_0.1-1.dsc 650347bc23367a3976d169ff21aa16406fd184fcfd2a417139a1930056a9666e 79401 depqbf_0.1.orig.tar.gz a3fbb70f5ddf69a00e03c376d733f2785e1200365437211fc92231d8ca42dd59 3231 depqbf_0.1-1.debian.tar.gz 0b389efd549d2d2c1c120a131975a3ca1985a6aeaa3fcb24329b5a7150e265fa 39576 depqbf_0.1-1_i386.deb Files: b447c76be1b9d04cb7d5c7611570ed93 1255 interpreters extra depqbf_0.1-1.dsc c88199216f50052ab4dcb8a4ce0a9dca 79401 interpreters extra depqbf_0.1.orig.tar.gz aca3ade9cc6621ad22072ad4ba87203b 3231 interpreters extra depqbf_0.1-1.debian.tar.gz cc9b6d032053b63fc31b8c7662151299 39576 interpreters extra depqbf_0.1-1_i386.deb -----BEGIN PGP SIGNATURE----- Version: GnuPG v1.4.10 (GNU/Linux) iEYEARECAAYFAk5lWKcACgkQvx6dH3bVKsRqTgCgt+n7bJhPgdcj7XG08zY5Fylv GNoAoLaQn1ffeShkSSIOtjbcSZAWdNBx =AtXA -----END PGP SIGNATURE----- Accepted: depqbf_0.1-1.debian.tar.gz to main/d/depqbf/depqbf_0.1-1.debian.tar.gz depqbf_0.1-1.dsc to main/d/depqbf/depqbf_0.1-1.dsc depqbf_0.1-1_i386.deb to main/d/depqbf/depqbf_0.1-1_i386.deb depqbf_0.1.orig.tar.gz to main/d/depqbf/depqbf_0.1.orig.tar.gz
