depqbf_2.0-1_amd64.changes ACCEPTED into unstable

Debian FTP Masters ftpmaster at ftp-master.debian.org
Fri Sep 20 10:18:37 UTC 2013



Accepted:

-----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 at lists.alioth.debian.org>
Changed-By: Thomas Krennwallner <tkren at 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-----


Thank you for your contribution to Debian.



More information about the debian-science-maintainers mailing list