-----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-----
