Accepted depqbf 5.01-3 (source) into unstable
-----BEGIN PGP SIGNED MESSAGE-----
Hash: SHA512
Format: 1.8
Date: Sat, 05 May 2018 12:58:06 +0200
Source: depqbf
Binary: depqbf
Architecture: source
Version: 5.01-3
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-3) unstable; urgency=medium
.
* debian/tests: add dep8 testsuite
Checksums-Sha1:
38ad0aacd24747e164bedec8f2f4dbd24692fe8f 1952 depqbf_5.01-3.dsc
e9bcf2af13373c0917bf2fc63f1703126796c1b8 5004 depqbf_5.01-3.debian.tar.xz
5a96970763f6dc16ee77374fdc0b2eaeafd34f95 6337 depqbf_5.01-3_amd64.buildinfo
Checksums-Sha256:
68385090b652441871a36d0e3e188dedff99792ecad6dcc091ab901cd31c8c84 1952 depqbf_5.01-3.dsc
d0f637ef62429e968a01b4f6fcc8dd31ce1c7880dbdd4a173b24e73e2eac4466 5004 depqbf_5.01-3.debian.tar.xz
8761011b35b6bb3daab883e26836b699679d362104e56e217d14c59e44129bd0 6337 depqbf_5.01-3_amd64.buildinfo
Files:
5b2afbfaa9d8f0ae9217e2efc4b0ce31 1952 interpreters optional depqbf_5.01-3.dsc
56ccd9fccabfc46fcf2cf107350c8dc0 5004 interpreters optional depqbf_5.01-3.debian.tar.xz
1e4b39ea9dadd245663952fee5e00af1 6337 interpreters optional depqbf_5.01-3_amd64.buildinfo
-----BEGIN PGP SIGNATURE-----
iQIzBAEBCgAdFiEEzH7vLECGZFUde0TKJ5ffdKZmmqkFAlrtj/4ACgkQJ5ffdKZm
mqnl7xAAme5dOyxXhynAEnnKehAeaiiJ95b8XibD9X4KGl3+Ad0ZSvMj0JKb3c5Z
BcuhLNiAvazKOXX9gYllpiERqqePJ4lUxGF542d8wtexobXYMMoEIeGxTTYm1DAY
KPVDYtNL91lKlzbYCwHhYkxrqIn6veBS8mR6EsZmvltAMb2G2bBHeqAU6kwan+cU
z+uPzeljRmqBUAsZO04Flm1psiwnuZeWrfboK6U/I0/iL+PEtQUctkSdgtCHAVPU
3YKBWGNTfSe8LO1osRBmJRWf+Ot9SRvOzr+xIzv1fN6sHrjHuIqosMCvSri4EKDc
dCErrUlu2ZGD0GPE20M2bObA2P3F/bfBcEqaSAyUpnJCvwlDGPxxj+Hix/rdOp0t
CE+66k3bdioFMpC2jfBPsI7a7OgPEmXZCnV+V9nLk8bHSKT88Ef+uEvZHkz9zJ8N
slQ5myzUFwJBFyh3NF4RPlIO//AM+4wjLx+vQIIxbklkmFFF0/SJDZxDNryl/qwD
PDw1Q3xZRLpJpXOGFY/QlQEr65EZGUZAsdkIVxOQz/dWurmGBlOTbSu73l9tcZZ4
2UXaZvulZFEcdzJTdt1A04wh2o/A00W6Ta9dNbECUEOOp58eK2gtOtnd74Qz0Jdf
tTD6Xl3iSNabg/kEW36q0/vE9bSNPjhv+8L5BUXfk8eqzoK3KLE=
=W0md
-----END PGP SIGNATURE-----