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