Accepted depqbf 3.01-1 (source amd64)
-----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-----