-----BEGIN PGP SIGNED MESSAGE----- Hash: SHA256 Format: 1.8 Date: Thu, 20 Feb 2014 16:31:40 +0100 Source: depqbf Binary: depqbf Architecture: source amd64 Version: 3.0-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.0-1) unstable; urgency=low . * New upstream release. * debian/control: Bump Standards-Version to 3.9.5. * debian/patches/depqbf-makefile.patch: quilt refresh. * debian/copyright: Fix years. Checksums-Sha1: d7697dc01432fd95102ca00409428301b4c3a9b4 1931 depqbf_3.0-1.dsc 4dbce430731ba0424b24f3960b932fe2984eb452 157366 depqbf_3.0.orig.tar.gz f92a8184387b2eff6e3de7040a123f2ec8ff6043 3840 depqbf_3.0-1.debian.tar.xz 069ec6671f57210c7da8c879e005469fd5de4176 65986 depqbf_3.0-1_amd64.deb Checksums-Sha256: 43179eb9eaa4cfb942965c125b3581b528ccf4f5f58ca3a2b523ea5e6cd92a81 1931 depqbf_3.0-1.dsc d501f364d679b8d041cee44a2a49a9dd1728d863fa40719ec27a091fcd4e3e80 157366 depqbf_3.0.orig.tar.gz d1551b3b5dc1f250f936e869e2dbdee92bba918da807385d18401410d96b789b 3840 depqbf_3.0-1.debian.tar.xz 789c63fcf0249a3ab366141ca682991edd871f1f4844cf4bbdd10eed964da5b2 65986 depqbf_3.0-1_amd64.deb Files: 0075a91d2511e84d0bee02fe3e77be33 1931 interpreters extra depqbf_3.0-1.dsc b773caefb73575e1aad6e53d362a66af 157366 interpreters extra depqbf_3.0.orig.tar.gz 9276beb305efaecaf344a167f7b2d4e3 3840 interpreters extra depqbf_3.0-1.debian.tar.xz b3f7a193ae68e60dd4a39fb9ea03ce0a 65986 interpreters extra depqbf_3.0-1_amd64.deb -----BEGIN PGP SIGNATURE----- Version: GnuPG v1 iQIcBAEBCAAGBQJTBiQbAAoJECeX33SmZpqpQ3kQAIuKAPz3ZjlaDC5UzB+Dmjy5 P1vjeFCsZlIMlaIJHblzM/mqJD7zeFbd6fjFaKpdYENHOg/y7APCBZf65TzHjH45 aakXpIMAhDgl1Kmc49r31gYdsivGU1uXWZB385jtup6hvAZPCZveAs7H17/X9zMn 73ouMfBWJo4N6q7HA0tWtrlztQ3Ld0bOjHRp9VMRLaYHHERtSEQBoT0QWmJqOMPk 8t9zwN7C5axSSXwKaAQXvo2IMZJ5Xz+J8iUsJ3tOeZ8OHneSDUSv4vJfR6Zypsj9 FLh240R/VkXGM9R99hbfLhyiXFYKTP4c/psWDhf18AopSzNP40s1bvZdy5yoJ+N+ 9ZhzF9zZVEWflMSHCFsKsvy9jsyLFYNWkmkvgKeaW3W4D0YX1BNXO/rm/6SvLjPh SyHwmqwapvlf1nZz/I/NCfoGl3Nfedl0yHp5WEUnCvolDH9XucVWbuIA0RVbdW7e /t8x5bl6Qy3TbhgiPh9OMgo7vwk72Pq7G5cUZtNzAZBlOhqgi6bd/Pq3Apo+HpW5 6HH5EH1gbfg+28Rd3IIB38Qtjr15nS/aW4XKNv1dKsicPJaSXRThqUySzKw+SI14 qvF+E6E4suuIBP4CG8m8d8Jhr9xNaCmbM8iIpmvVzJwQ1DKd5s5x6MuXEws0bFg2 LT/pEJgED+3jSk1/Tdmm =aumt -----END PGP SIGNATURE-----
