Accepted depqbf 0.1-1 (source i386)
-----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