Accepted:
-----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 <tk...@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----- Thank you for your contribution to Debian. -- debian-science-maintainers mailing list debian-science-maintainers@lists.alioth.debian.org http://lists.alioth.debian.org/cgi-bin/mailman/listinfo/debian-science-maintainers
