depqbf_5.0-1_amd64.changes ACCEPTED into unstable

Debian FTP Masters ftpmaster at ftp-master.debian.org
Tue Dec 22 09:35:28 UTC 2015



Accepted:

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


Thank you for your contribution to Debian.



More information about the debian-science-maintainers mailing list