Back to depqbf PTS page

Accepted depqbf 3.02-1 (source amd64)



-----BEGIN PGP SIGNED MESSAGE-----
Hash: SHA256

Format: 1.8
Date: Thu, 24 Apr 2014 07:27:13 +0200
Source: depqbf
Binary: depqbf
Architecture: source amd64
Version: 3.02-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.02-1) unstable; urgency=low
 .
   * New upstream release.
   * Add support for libqdpll.
   * debian/install: Install libqdpll.* and qdpll.h.
   * debian/docs: Add examples directory.
   * debian/links: Symlink libqdpll.so.1.0.
   * debian/patches/depqbf-makefile.patch: quilt refresh.
Checksums-Sha1: 
 3840b25bdcb6bc943e43ba38f7b705a3f42e1522 1947 depqbf_3.02-1.dsc
 b66bfefe01f3bf6d3a71b76145f68447a41e66cc 161106 depqbf_3.02.orig.tar.gz
 2d8e3bedbcfc2d4c757c6c4f851941d3a0d53a56 4156 depqbf_3.02-1.debian.tar.xz
 7098116be879187af4a1a4457351e02019407b96 103380 depqbf_3.02-1_amd64.deb
Checksums-Sha256: 
 d7a0aef1e63b6fa97675602bd833d3ec43426959e6e15ab2596456c091b33cc8 1947 depqbf_3.02-1.dsc
 914001554f059280d0b1d879b4de0ece5d39a1af610f7c44b6b5d05c49666e17 161106 depqbf_3.02.orig.tar.gz
 72bd9f0ccc173f458d288e3189cb54454f869a5a8988613df1f71bca0fe89aab 4156 depqbf_3.02-1.debian.tar.xz
 81145e3160e61fa8bf8ed0bfff7d84182374d8ff0e72a993ab0e046c46e20ee5 103380 depqbf_3.02-1_amd64.deb
Files: 
 30180d02dbbca215b7d231ca9908b8c9 103380 interpreters extra depqbf_3.02-1_amd64.deb
 74330ee9ccdbd283371e3d4e34b76441 1947 interpreters extra depqbf_3.02-1.dsc
 328f290d529947612cc2c2b06b1239f0 161106 interpreters extra depqbf_3.02.orig.tar.gz
 6ddbf2897bd3d8d3315ab1e9883892ac 4156 interpreters extra depqbf_3.02-1.debian.tar.xz

-----BEGIN PGP SIGNATURE-----
Version: GnuPG v1

iQIbBAEBCAAGBQJTWKZSAAoJECeX33SmZpqpMmsP91ca2t90CObeci3Y5j+M0tlq
GtMRZS8/u9ivWcIXVoDL5zfVktWbzC72YvuMQwXAUJbDnXhOB+9rPH2vmaprRmpa
VE8QYUyULgNfXomJRWP/2/Mmf8qt162wwF1M73jR6wBab3cnKassTltphFdPFoYU
Q4rI9yUIu4YVKFgYAlRiS4+iJddm9Kbau/QWTHIWbHOAFFj2TAcvuqfBtbBv0y5G
GN9Ybtb9uhjJ1K9y9v2+mgNzQslYzzd3JvozZYix5ijGZKEErNV/mE3IqAnnKCWt
KiE86bqsjwWy6YqykK92m0UF9PWw5K7XGHtCLPvvIRGA8yl+usqwDo0mPV+JwYEL
MM+yZtOO12mq6uvuNIWKFsAknLhdATL8WY//AuJqos1JGZTL2dzb9UIaPN+a5ycY
aYOJZhF6HO4USCYzazJX+D5UcSfYdUNG5cOE5jE+bi4ZlqXGoKHeGuS02J41eTm1
n9e1GxzhiJ/6czbnqbYWcKMOa9uOkvZpxpxgkrAwXeGu9AxiDV/b1UD9i8kZlp6d
mYfVwlMJK3IbIuVFWAlRADIzV5n2VybtPB9IeMqU6rEEP8A7iMxLxcjLPG9qtE1e
vyFf52aoNCa6EHgWHM8rx0DrHrknEwuFucJFiAwApP087mvtkO5DtKt7hVROh9F9
ILMq8QwH6s6E5iRKvKY=
=uGf+
-----END PGP SIGNATURE-----