Accepted depqbf 5.01-1 (source amd64) into unstable
-----BEGIN PGP SIGNED MESSAGE-----
Hash: SHA512
Format: 1.8
Date: Sun, 27 Nov 2016 17:21:59 +0100
Source: depqbf
Binary: depqbf
Architecture: source amd64
Version: 5.01-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.01-1) unstable; urgency=medium
.
* New upstream version 5.01
* bump Standards-Version to 3.9.8, no changes needed
* debian/control: fix Vcs-Browser link
* debian/depqbf.lintian-overrides: add non-dev-pkg-with-shlib-symlink
Checksums-Sha1:
c7b9b81f23be71f051e1500a091c42df1bd40acc 1958 depqbf_5.01-1.dsc
d483a04842df1596e834e8e6711729fc33d318ba 429925 depqbf_5.01.orig.tar.gz
c5962a1ec094d45396a28416164f4e3fe3e080a0 4460 depqbf_5.01-1.debian.tar.xz
eda8e71c4a25c7253fb76b3b50c21117aa6caac5 414006 depqbf-dbgsym_5.01-1_amd64.deb
d417f1d9652ffe27bf992bc7157bfcc7e056313c 5109 depqbf_5.01-1_amd64.buildinfo
2e1c5ed6b686c7c356f225c8a494df8a1751193c 138254 depqbf_5.01-1_amd64.deb
Checksums-Sha256:
0542214a5c911831edd679eed2e5d655402a165a9996805d151a9372858f210c 1958 depqbf_5.01-1.dsc
ba2b93b3a83917f6084ab88d75b4848ce9354584fb36d70537fa7490e42921bc 429925 depqbf_5.01.orig.tar.gz
b44e6c307b1ec1aceeb6db00d2b0ca603a481ef94386cb563738cf93dc80e48d 4460 depqbf_5.01-1.debian.tar.xz
befe20f27cf6e1e943e5dcde682fbc9ddcbdf05d6026b54e93691b65e80c4a06 414006 depqbf-dbgsym_5.01-1_amd64.deb
634f8a5688dc90277b3b33ba867c5ec8bbe19bbf891c174292c851c4b6a733b6 5109 depqbf_5.01-1_amd64.buildinfo
3db17b65e550575cba0f2d851af8c0e985bd52f02e67b95231eaacfb18e39305 138254 depqbf_5.01-1_amd64.deb
Files:
2774c898bfe6223dd260fad54587d578 1958 interpreters extra depqbf_5.01-1.dsc
577d2a77c592ec87660811dd61482abf 429925 interpreters extra depqbf_5.01.orig.tar.gz
c84803351f7b06d16f5774a094ec4228 4460 interpreters extra depqbf_5.01-1.debian.tar.xz
7ba3c8b486f48dff6f0436e06238154c 414006 debug extra depqbf-dbgsym_5.01-1_amd64.deb
daf316a5668d973915a9555ecbdea8c1 5109 interpreters extra depqbf_5.01-1_amd64.buildinfo
554627c70729c61cb72a784826681dcd 138254 interpreters extra depqbf_5.01-1_amd64.deb
-----BEGIN PGP SIGNATURE-----
iQIzBAEBCgAdFiEEzH7vLECGZFUde0TKJ5ffdKZmmqkFAlg7E+AACgkQJ5ffdKZm
mqnZfw//eIE5WmYiwW286fENdvV5aKdKec0qZdPIsg1/quwYBg3RQ822wWyJCGqf
gNLSx+EetX9HhXAV6+IwRvl43sO1FIdyDgrTHNOX9ESFIcNopYyDF9Vjl2aiuUEp
X0Z0eWUyI4YFR9MJdPUxWKIYD0N/RgS1yuOMLTa9QuQx53YISf9aBOvzhU8QmugY
SjtvJfRt6WHGYP23J+bxWaOVP5Gnu5KwMog8UwrJMlRnioa0Gqp9cWGK0vO/Fgh6
Ezo3nr98m/lMrOYFOn+4xGbAXVgGM7/MS1MM7eqvH6o9tlYEj7N7z1f0NsXUfWrH
nzrYYIS5kujbVSWFA/5kL7s0E84Y3dRkl+CHVCs3YbQhb43H8W7tDlppap0mEFnR
0JTIKM08kRWz96pwdDi5dzap8tztFIBEOlrYMlMIHSkiG6uyUK7fREd0U3aU91Bf
amVKOriBxHfiS2VaeskS2bgqS+/hYA/kcWYhzz1pLQzZfal6jhaq0UBdVk5c6G9v
uCtIZw0rkLTcHtHvZJqr2TOwVzPdbcEm/Kaqz0jsLcYpU9QhUIH2iUtC/Zo+qWS3
GkBaab3he4QRgxucdrMJm0kxQKywt3tISP6weABrNYqnkKn91EkbINpzY4YH/fjT
cqNrjkvWYDI6/lN5kJhh1WQ9rFwC6tazkqyl73ZSLEg0t1SsmHU=
=gP2H
-----END PGP SIGNATURE-----