-----BEGIN PGP SIGNED MESSAGE-----
Hash: SHA512
Format: 1.8
Date: Sat, 05 May 2018 09:46:34 +0200
Source: depqbf
Binary: depqbf
Architecture: source
Version: 5.01-2
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-2) unstable; urgency=medium
.
* debian/gbp.conf: pristine-tar is True
* debian/control: cleanup for Standards-Version 4.1.4
- set Priority optional
- Build-Depends on debhelper (>= 11)
- use secure Homepage https://lonsing.github.io/depqbf/
- update Vcs-* for https://salsa.debian.org/science-team/depqbf
* fix DEB_BUILD_MAINT_OPTIONS and install changelog
- debian/rules: add DEB_BUILD_MAINT_OPTIONS = hardening=+all
- install NEWS as upstream changelog
* debian/copyright: fix Upstream-Contact, use secure Format and Source
* debian/compat: set to 11
Checksums-Sha1:
081801a9ee2d0fccb06198ef3354cb6c4699f395 1929 depqbf_5.01-2.dsc
051a18c0a8c70e196144198b78a2fe64454d85e6 4736 depqbf_5.01-2.debian.tar.xz
8a4429cd5fce2da06f6d89d5a36d422d1de4a7f6 6337 depqbf_5.01-2_amd64.buildinfo
Checksums-Sha256:
313c5c088fbcd855f29de0d4d9bef3eecbe6ec10951b92ae42198b6c92d15e71 1929 depqbf_5.01-2.dsc
60e221d5caeae043c1cf0dcbfb4ff7ae21fad0017144283befae04dd8c6cc42f 4736 depqbf_5.01-2.debian.tar.xz
99d172a45856e9a6dc4e84a331563dcc30d00d2346373dd81c0cf1ad98fade78 6337 depqbf_5.01-2_amd64.buildinfo
Files:
ad363f63ebaa1cb610d7d40665b2d3ab 1929 interpreters optional depqbf_5.01-2.dsc
d646c6b8f813155d96c180231b2ee4ec 4736 interpreters optional depqbf_5.01-2.debian.tar.xz
349c26cd8dd730586c870ad5ae5bdfe1 6337 interpreters optional depqbf_5.01-2_amd64.buildinfo
-----BEGIN PGP SIGNATURE-----
iQIzBAEBCgAdFiEEzH7vLECGZFUde0TKJ5ffdKZmmqkFAlrtYw4ACgkQJ5ffdKZm
mqm+Ww//fJgO2xXAI2U9UTtftZ40Nq8AB3MnAF0UfMU9oq+ZMmdplhShyc0AxCTZ
G7/OQsYlEjYrnXXkX91cYA8RTI6Tc8X6ySfrd+cgcFOlcW6kqtkgSTmi2qPx+2/o
2mzy3smQkF0qoPbym0eU9fwY0EHsmTUkKGGXBnrycK5H1c3vHlR5MJrmtuYrVDUt
PHebusvXpk0CVRQkkycI0U18lO3iYc4WsCLhxfhtT4UHVgZefNnpCTWo4ZSTnZLU
q78K0NUR2o2dJykF8iQeooFTFEmGxVrRfM/4HTvo+/D5RpgbnO/I11VQXhCxvyVn
7I3iS2NUJUESO2AWM1v2bTRb5VTyc5ASOeLj0l2LPPWdlN9VL3nhhA2L90UhNsY2
zyXljgflop+IxuBaLRBsmap9l5LMKX8uN6mKid82WhnMcYzsNS3oJbnH7rAbtVus
uHQW5Bilna9WxdzBo/p85ntzXhxtrTIac4JYWiGhiXPgfMC1t9ZTXSDDq17ApcCQ
nypLMaJWkT17oQtohr9cVVE/PwCNDXFL8QsjLgLuOrUCUHiuTLMLszjRnhrsOIe7
/FvgVI7d4nwsmPzmjjuOA+NPb5DK8jgtV3N5GWfGy1uKAf3Ez9dCNOJehIY9zSv7
FxFwpM0++lITMemRYeiGINJqX4D+6ux2iEnOW6D9mwsHPlpEPz8=
=AgXT
-----END PGP SIGNATURE-----
