-----BEGIN PGP SIGNED MESSAGE----- Hash: SHA256 Format: 1.8 Date: Thu, 19 Sep 2013 12:36:40 +0200 Source: depqbf Binary: depqbf Architecture: source amd64 Version: 2.0-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 Changes: depqbf (2.0-1) unstable; urgency=low . * New upstream release. * debian/patches/depqbf-makefile.patch: quilt refresh. * debian/compat: Bump version. * debian/control: Bump Standards-Version, Build-Depends. * debian/copyright: Update year. * debian/docs: Add NEWS. Checksums-Sha1: b0659684eef457247399618f0191e2a1621824ad 1948 depqbf_2.0-1.dsc 86684df3d135847189a0312f45ba69e16bcd76ac 127609 depqbf_2.0.orig.tar.gz 0e0561381088d0c271fcff4bb9eda4510cd5a26d 3962 depqbf_2.0-1.debian.tar.gz 283ed1e12783e75e4c5be62384249dc909e27162 55202 depqbf_2.0-1_amd64.deb Checksums-Sha256: 947905d9209bdd3afbd044a6d5f6b1283c9e949f65f00a108c68e9dce19533d6 1948 depqbf_2.0-1.dsc 2beb1b2d0316c2732e5078f578352d931ee576f95e1ebc30662547cc886216c3 127609 depqbf_2.0.orig.tar.gz 06b83bf510e14780773a2598b1fa3753fb6ecedae986d94a48d44981df6d3070 3962 depqbf_2.0-1.debian.tar.gz 5258b5e17cf6e779f1d0d8078973a21986370175ee0a1a5bf3f4f6aacadebd34 55202 depqbf_2.0-1_amd64.deb Files: 44ea83d9327b919632fbafe81e57a078 1948 interpreters extra depqbf_2.0-1.dsc 5d9d689d8d88317fcfe903c956dc8ee7 127609 interpreters extra depqbf_2.0.orig.tar.gz c9bcb3fcf939e42999355403b96aff34 3962 interpreters extra depqbf_2.0-1.debian.tar.gz 9a49c65160e8451f242f256544c2aa1b 55202 interpreters extra depqbf_2.0-1_amd64.deb -----BEGIN PGP SIGNATURE----- Version: GnuPG v1.4.14 (GNU/Linux) iQIcBAEBCAAGBQJSOy3zAAoJECeX33SmZpqpPucP/0KaLTpbQoDRJtj27L1Ymfx/ 6ZnWRIrXF7Dwy3FBywZWHymyqtpUZAoKzFwyEDYM0F5BobVOMaQ/LM5HKpgHQRoU 5uFt+xp/EuHmJ3WmuTSlOt5u5wbVNl4u8WQIHyhN8pJwcx9FjcGlSTtv+3W6Syte kHy9t/C0dDJO36ZPQGM6jJElU6cbSmmOPMIwsguRmcn5FQxPIUfdnGc7PaCFu04f FFeFYp7AXMQtxDBg2p5bd+yHQ5i5MP1rLFYIKiBztIZ6ZLRgsWFP0H+a+N9LqvrF j4x+/FxgXJlnet+m3zC72CGVgitgo5O2f8x4VQaKGZyCuBD+aQdRAN31LYhmJAyj H966sU4or7t291DyRJJs2oA9fWo8eh8TdmYTUMZX8jKkSAaO2ntS2fvgqVq8d9UB lUgyqYhLBz+c2kdgjwVFhC0p4boTjA5OxNgTTCqZ1CoJ85ocOWrGpYsVfUcMjhlz TvMvZdma4dWuLJ6rt4YE6YuClo9RmFZXrlqSFRvjzSUnkbzbdsornA/xufNEIek/ i4FO/Vf6m2wPBJRRp+fPDr5N6sU8GZnQ2LavoEJEK9F+F+mOmp9haYNfF5CdS7hV 2q2oyiBS07w6fJfo/BxMUOMu/z1b/B2fyjJz+pj8S7Gg7DKS4EXINQ3M9V7o47Px JkFN3WnxPQhnNtf/diw5 =UJph -----END PGP SIGNATURE-----
