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