-----BEGIN PGP SIGNED MESSAGE-----
Hash: SHA256
Format: 1.8
Date: Tue, 22 Dec 2015 09:17:35 +0100
Source: depqbf
Binary: depqbf
Architecture: source amd64
Version: 5.0-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 (5.0-1) unstable; urgency=medium
.
* Imported Upstream version 5.0
* refresh depqbf-makefile.patch
* depqbf.lintian-overrides: add override for no-shlibs-control-file for
internal libqdpll.so.1.0
Checksums-Sha1:
18642ff86de10985923438c2ccf53831088ab046 1951 depqbf_5.0-1.dsc
2446086d2a1d1862e86bc548bc6caefd7b0bee2e 429755 depqbf_5.0.orig.tar.gz
ecfbe3381c7c47143d6e5921606613aec4528070 4352 depqbf_5.0-1.debian.tar.xz
955a31efc38891be9629972491f56616d115c324 407536 depqbf-dbgsym_5.0-1_amd64.deb
6f2f16fb8d848213856ee6a4e624cf8fcd45c1b4 138400 depqbf_5.0-1_amd64.deb
Checksums-Sha256:
0eebe3ce2d070dfbb3964e98696becc1a003a602e2e19ae15a2a0c2179537e46 1951 depqbf_5.0-1.dsc
9a4c9a60246e1c00128ae687f201b6dd309ece1e7601a6aa042a6317206f5dc7 429755 depqbf_5.0.orig.tar.gz
9789ebcc04c548342a1a6f650bc68234539b8bb8fc4bcdd481101f574e1497b5 4352 depqbf_5.0-1.debian.tar.xz
5f11b2f3ffb0d2a359158c9ccaf13e2c4b0077935708423223ad51836c9379f8 407536 depqbf-dbgsym_5.0-1_amd64.deb
20176b720deb85e6d9633e3e41aee1fbc1ea9904faa1c606809cff5d3f5cfd78 138400 depqbf_5.0-1_amd64.deb
Files:
6b3dbfaca3ab90e4fdac7b97dc23444e 1951 interpreters extra depqbf_5.0-1.dsc
a138cb696d208beea63caa05175cce2a 429755 interpreters extra depqbf_5.0.orig.tar.gz
9e570fce41e03d93b2d30e2d03c47399 4352 interpreters extra depqbf_5.0-1.debian.tar.xz
1dd544d58ca19c457e18e280a9a9531b 407536 debug extra depqbf-dbgsym_5.0-1_amd64.deb
8cb66902b82b68329733bbf34a5cd3f0 138400 interpreters extra depqbf_5.0-1_amd64.deb
-----BEGIN PGP SIGNATURE-----
Version: GnuPG v1
iQIcBAEBCAAGBQJWeQeUAAoJECeX33SmZpqpvCsP/jmOPbT994cmmVNJFshuH/qh
bmbqJC24XNazR+60N/N33BimwZ5GMj128vL3EebopVd6hU0aFgixqVHpUh8GHOD6
onrYgcamk+Ho3+XlXqaccVZDEhNsqoVPnRhbO68qXUhDc0FRn/iHiHwPY8f1+A/p
u4mpp4+Mzeh7PVoIcDs9fJyvh4LtgOrMSHHJFS0LXhWk9uloa8psPbXtdFjSg6rv
qIWHUsojDHl+X163d5r/mvpmLRSrxaacTh7zZbbZmcutJxN6flTQ5KQd6YdcxuXK
H2O33B9i2y8USQtq6g5V20J3XHM+XdoGVDJrN6UQFIRpKyYAHS9qky8S08YEb8a9
A80H8EeaN0eYqlBp3UzEhNB+VDUFew+Xu2iW182uMF984ROpvj7lNHJafhudrAk/
Z5/c16ianAJe782Iv94227Dz95dfrtkh2Q/LJ1iBlBHjo8psdHSCOiWuwjedDUxT
XAoRBPPMp2jrdc6L3ea0QYwUOafSvLXRixHXT/HwfJUn2DKtubbH09/Jq7ORxQpg
qDiipH66kOaxJgPtwpIZUscDsEdjkOamunra8AaubcqIFW55T/QGDJTXaXBz6OmS
+ruOQ84Gl8ZA+uSINyzotfzXH1YHTPF+RYZd6pXxyABICrdoYr5zlzOY+EJmLS2T
iGhiYiDTtv5MCXlnUy46
=FeRR
-----END PGP SIGNATURE-----
