-----BEGIN PGP SIGNED MESSAGE----- Hash: SHA256 Format: 1.8 Date: Sun, 20 Apr 2014 08:20:11 +0200 Source: depqbf Binary: depqbf Architecture: source amd64 Version: 3.01-1 Distribution: unstable Urgency: low 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 (3.01-1) unstable; urgency=low . * New upstream release. Checksums-Sha1: c09bb5a635480de4edc2b884360df0afabe4c890 1938 depqbf_3.01-1.dsc 7f1dc19f07fc0fa607724d1b7b124d5f2620acee 161130 depqbf_3.01.orig.tar.gz 83337525fb7bd326eec68590c272b9f96d451b91 3860 depqbf_3.01-1.debian.tar.xz 5c52e8c380ea90f7ddacfd456a70da5eb1e32953 66998 depqbf_3.01-1_amd64.deb Checksums-Sha256: 686075e5558f756a8654a8a6c7c6bde86b5a653fd2bf69acace5bfdb602ded61 1938 depqbf_3.01-1.dsc 9a3989d834d3af24cfff496f273ebba438fa882991f4c8df72f56a322bb64d27 161130 depqbf_3.01.orig.tar.gz b78b81245c12f32f7c82afda3f46599c146da51f876c6a30376811121b8c897c 3860 depqbf_3.01-1.debian.tar.xz 9a19e36723af5232116f7ffa912fa90813c74961646cb9d424a3f21f19997992 66998 depqbf_3.01-1_amd64.deb Files: a0bc581f6438b2f91a9e0b76a00e0a04 1938 interpreters extra depqbf_3.01-1.dsc ae96667be45e5d3ea60823be7c139766 161130 interpreters extra depqbf_3.01.orig.tar.gz b6588b92206fed6a2e1eaef1dbeffa9c 3860 interpreters extra depqbf_3.01-1.debian.tar.xz 1c905cad9be2c664851bd2a557ba0a73 66998 interpreters extra depqbf_3.01-1_amd64.deb -----BEGIN PGP SIGNATURE----- Version: GnuPG v1 iQIcBAEBCAAGBQJTU3LZAAoJECeX33SmZpqpG+YQAIA2eVb7uLIGmvbTZiyGuDHV ixE+HQQa/NA3fBEWWAKPioH+OTcdhsdxn/oR5CI7qQVVtpl7ERLODQy7R7gLgkRB eR/6XXuqtiYML5Pb8nkya3GE5vMAtybp6UGq5euyrvx7W3lNB042O/HLTYxdDXp7 Hvwdu2FCL+xBaJseThMDVQBglqPjmU2iBCIESqUUVaFWT/RaLrdqjl8RYaLMUTyg 9df6tyqf+FMoeD/NkzxUPYf9TdSOFdHMZxIPiECHiFcRgDOy/8BSbqv5zCYt/kMg D6GU0L/+vQcON/2inmAGQtcB9oyHr9FOt0FBKILhnzbp4c6lW4Of8LhTrRFF9JRC ebNThaowYHFXIFikLmL6HQS6sxWUeSjTE9DVcAX/VouoWvSGn972S93z2QWrJGRb xu4OWwGrHxiBxeePZKWt+5Qp68bz8huCrFd4fnUS+yETScaUxhCu7MWbvVNhYQ3h yB1Npd1sr9YaP4GhIEyaVe4AkFG+DaMLjvFyitRe0CM0HbekRTc9vYROB8SIPRaR TKN/bwOXhGcc1OaO8NatytOUXDDxzqsLT3Z59fN9FpZ3aAemrIsglggiArNCGIFA Be4EAoOdVhwFX+8GK/ACyRorbhLWbaC91h5hyxjarNgpAEBW+F4XjPRu8lrhBKx0 iuUY7ewfbZQa5YkaUXJG =Z/Dv -----END PGP SIGNATURE-----
