-----BEGIN PGP SIGNED MESSAGE-----
Hash: SHA256
Format: 1.8
Date: Sat, 04 Oct 2014 10:25:42 +0200
Source: depqbf
Binary: depqbf
Architecture: source amd64
Version: 3.04-1
Distribution: unstable
Urgency: medium
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 (3.04-1) unstable; urgency=medium
.
* Initial upstream branch.
* Imported Upstream version 3.02 and 3.04.
* debian/control:
- Bump Standards-Version to 3.9.6.
- Fix Vcs fields to use anonscm.debian.org.
* debian/watch: Use github archive instead of deprecated
githubredir.debian.net.
Checksums-Sha1:
a55292e2384426210aabf6d1466f1b5a11db3441 1958 depqbf_3.04-1.dsc
459576fb72d93c41ad3b13c2f15d6a4d9efb5ffa 339716 depqbf_3.04.orig.tar.gz
b80f7b6ee2b00e4e6d3ac87badaab98171de8bc0 4228 depqbf_3.04-1.debian.tar.xz
5a34ae6417e5bf8be2d2d1be9543c2108746be0c 105826 depqbf_3.04-1_amd64.deb
Checksums-Sha256:
ebf741b07e812095902000c0969b8a96852bb6b394003d758a6e87a9121860f3 1958 depqbf_3.04-1.dsc
a6982020f2b89f77661feaae203e3396dc5afb625e378bca15db74f40652059a 339716 depqbf_3.04.orig.tar.gz
3eaa90c95b6fd6e65c42d8fc14459a2a7cd9dfc6b4dfec99a222bd6bbbf4145b 4228 depqbf_3.04-1.debian.tar.xz
39c2d6bfe277ac8b2c8f64c3e1320a8d81eb61a55d3357f393e0c95330ce5d62 105826 depqbf_3.04-1_amd64.deb
Files:
424b9ae43411daf5de7813bd2a62b905 105826 interpreters extra depqbf_3.04-1_amd64.deb
6c2b575708f20dfae46204334b1773fc 1958 interpreters extra depqbf_3.04-1.dsc
188b0f7ef6e60ec4d254e0244ac37f2c 339716 interpreters extra depqbf_3.04.orig.tar.gz
06110173c75121258add6b848250dbff 4228 interpreters extra depqbf_3.04-1.debian.tar.xz
-----BEGIN PGP SIGNATURE-----
Version: GnuPG v1
iQIcBAEBCAAGBQJUL7G+AAoJECeX33SmZpqpf/MP/2Gglw5wiot5uwMc9GcBoDY9
iYSYcpick2Fu47Ow+Gq9BnATqxMqRXpVlqTFrUCmEzyAl74+/LCErJPHLy8dAdIR
7W+h/BqCLvCgkzbIEi3Ik9eo62ZZWWS4zptdqndQbYq+PJGyNq7jbUdfLiegGDdz
l+JzcjkzThtx6TcK72LRvxHvJO0oAWskOGEPjzkSh7pFfMrfy4UAhIcpX1bk1bf8
eL5K5kzhVhNZJngAJMydvMlioHXny7U9p4VpZha74HOxSPjtTZMU/ki8W//nqU+A
DxdXBH0QKhycmFGnVyJDZMfDPZLV/WNIEnrym6ZIqbshMgUNjEPP0K51ZFYobf/F
1a7mYe5SZwSFXqnzxEh6pESGjUxiqtNYyWcXzNZV2An81ri+u1quh9S87wnF8r7/
2qFVDg0WPri/rRgyuSe2feMiZqwV2gM8k1fvYc8sgdzsIk1DjhtDvYjsy/vH4uLr
6tE9+gk3TkRfVwe4aAv/kdQXcjqbUb1mBuuy3ivU5z6nvuRFUW5kEo7O2adhhT/Z
bvWDARIsDhGSeETwFLMhhmRd2RrsGU5FfLlobxrNgSL5U+zTW81jv44rky8arhQn
XdWl4ZAYyZsIZpjs5yn1Z2H8aoBboHBMHtTb9jS4kSU++xsSTn0svFtjptZI9kHX
IILWtk/SAOt+uy1kHl+4
=aAub
-----END PGP SIGNATURE-----
