-----BEGIN PGP SIGNED MESSAGE-----
Hash: SHA256
Format: 1.8
Date: Sun, 12 Aug 2012 22:02:14 +0200
Source: depqbf
Binary: depqbf
Architecture: source amd64
Version: 1.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 (1.0-1) unstable; urgency=low
.
* New upstream release.
* debian/control: Bump Standards-Version and update Homepage and Description,
Build-Depends on dpkg-dev.
* debian/copyright: Update Format, Upstream-Contact, Source, and Copyright.
* debian/watch: Scan github for version tags.
* debian/patches/depqbf-makefile.patch: Add hardening support.
* debian/rules: Enable dpkg-buildflags.
Checksums-Sha1:
876388f983509be72e74514f4fd46868dc41f246 1977 depqbf_1.0-1.dsc
9b8793dae32a28e48693a8d7161d5d49149bc5b0 113995 depqbf_1.0.orig.tar.gz
5d8d3c83b8c256ba6a7afb5c57b43c47ed44e03e 3895 depqbf_1.0-1.debian.tar.gz
08f7be09ba800ce55280f43de55c630bc84a5499 55450 depqbf_1.0-1_amd64.deb
Checksums-Sha256:
3277918317414368d392b9c1c3f29c9d501cd28cd3d884fb4993fdbe4cffe804 1977 depqbf_1.0-1.dsc
c875cda3914d872f200261022f552819237cc7c9141601b0a562bfdfb0d18963 113995 depqbf_1.0.orig.tar.gz
3f1b7717b0cfcdd66a377dd7152c6a5d3c1c322ec2762c7dbbd188c4040ab627 3895 depqbf_1.0-1.debian.tar.gz
4584ca07b39eee6058776a6b65fdd79941df558b28470352342f2d1be948fac8 55450 depqbf_1.0-1_amd64.deb
Files:
c6c641390c3af0ee77cada5083fa08bc 1977 interpreters extra depqbf_1.0-1.dsc
4b74543587118aae01c72c2962ac55c7 113995 interpreters extra depqbf_1.0.orig.tar.gz
d0a5396f6bc01f8082e713668b63bfd6 3895 interpreters extra depqbf_1.0-1.debian.tar.gz
7ca69f42eea386e86b3b424026d645b3 55450 interpreters extra depqbf_1.0-1_amd64.deb
-----BEGIN PGP SIGNATURE-----
Version: GnuPG v1.4.12 (GNU/Linux)
iQIcBAEBCAAGBQJQKBSZAAoJECeX33SmZpqp2xMP/2jYFJ6YO26mfHRdDdjg5KSa
o0HpgrzN+t9+q4/KYfQxPf6SfhOvCv3HY/OYa09zZn4WZGQsjEMzfZTt5x4v9FQI
HyTk76k4ctK3/E/7x+Vou0xmPTJ9t92Csprs2ViFz3mY9R1F4q1sW5hL6USwbfog
JM2ck3B2eaf85gAW/bZZnR4Ea3BcOLodT5c8kkhe+RwmqSgFCWddjFEeVaHbdfkJ
3tR5mszAoUlPiMHb3R2rmDwOhCHfJ/Rvd/3zz0TwqdgHG4UjWE5gr+SP/N3cVYEH
i+M2GLSRjmXIje2pJHvnji6hkaKSqoV8WFRz1KvQYQB1m38n2Yo/S9jfFNCRbFIN
43A0vYEuSInDcgh73/hSzi5LpnV+n10wGL3c6gyuo7yEKZzXHqGeq8v3tLXIAtfZ
vfltqoKZ2vExHxxDRGyaZ4ghzvKo3Jy2PC+YSTSe8vQpiX+0etWIFfKG6xN0mhwx
ORdnt67Y8WIU+1+ojN8cKyLT4lVqd458myX61I3D1jZE4bwTlZtNGq0bVV8oEVBG
vJ9uHA/wQNx3sTSHnoDiaCec7yLVgU27ZbaUwOGo0zqYpxSYL/kQYFmzlLwt4/hI
Uz4apwEBlF8JhQ7g9IxmMqOmQyjxnRSgR2HVlMcYe9XWeF8Z+Q8QemgjgCcUDXWp
sF697pxZ+B4j2t3Dn0cn
=rWY9
-----END PGP SIGNATURE-----
