Accepted depqbf 2.0-1 (source amd64)
-----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-----