-----BEGIN PGP SIGNED MESSAGE-----
Hash: SHA512

Format: 1.8
Date: Sun, 13 Mar 2011 18:34:27 +0100
Source: why
Binary: why why-examples libwhy-coq
Architecture: sparc
Version: 2.26+dfsg-2+squeeze1
Distribution: squeeze
Urgency: low
Maintainer: sparc Build Daemon (schroeder) <buildd_sparc-schroeder@buildd.debian.org>
Changed-By: Mehdi Dogguy <mehdi@debian.org>
Description: 
 libwhy-coq - Why library for Coq
 why        - A software verification tool
 why-examples - Examples of programs certified with Why
Changes: 
 why (2.26+dfsg-2+squeeze1) stable; urgency=low
 .
   * Add 0007-Squeeze-s-Coq-is-also-compatible.patch: why-config checks
     compatibility of provers by checking their version number. Coq
     versioned 8.2pl2 is also compatible (like 8.2pl1). Marking it as
     such so that it gets activated.
Checksums-Sha1: 
 a6dbf1e130f5d41dea94abb261cf886d39872b4c 8615112 why_2.26+dfsg-2+squeeze1_sparc.deb
Checksums-Sha256: 
 ddca14d712de74b273bd21a81a343cb8a320ecc7dd5d63b23690567433500287 8615112 why_2.26+dfsg-2+squeeze1_sparc.deb
Files: 
 9a99abead77325d89d1f165f77176f34 8615112 math optional why_2.26+dfsg-2+squeeze1_sparc.deb
-----BEGIN PGP SIGNATURE-----
Version: GnuPG v1.4.11 (GNU/Linux)

iQIcBAEBCgAGBQJNfctDAAoJEGpMZM6DE7XwYj8QAJ+Kmc+sTHf5YQYhJuhGaLoJ
xlJlR83MwAzQ77rm8NgwPwvEVCwiMQzRCEGig3K5QjuD+jMLPU1CNt0kdHfxQtyi
FJXRQ8vdL4lLqX9T+PkQm2SPfKNAgFqRU19ljtuVW1q9Ym7VY3dv1rpfTtSbF4GQ
RILIOiGGUveuP1HapDLpK0H8/RpLUf2MUtQKHJhCMkUOVbF1MsTdwFq0GmzEfEk8
fgaD/0NHeIN4q8i90pIYm4J5W99obTEuNQnKdpxA+cRO1ZUwt51NPgtO1K6Ng/kJ
llEq9JOi5/b9bQQrwySD96Cwy0C7PrJvt0HG7wlyDlGDYa4uLfrfQBfgtAtD4VY2
w/wITU82TDe07UgkEXutj2wWIh1z7mtS9hNXYl0k35OYl2YCloqOVhGumYCVf+iv
tzGvT+zObkHSeamKjrM8B4NDTsGSHHnXvcCqnBndrEuqqJnhBknjnU5Kik7fEOY9
phYGqQq1hPSZBkkJDhLHzHPKmt/nIBvcxPQphbhKlKGgevsTeefDvf4DSeuJg3Gg
tyzl2/Qqua3oWGewwtUc3Jumy5IEMPfXGDezOvrBK6F1/nOGmgs3j8ec2t//N3yP
wROclfGW308ddRywspt6hMp1rPPmOedqYrKK1qEu6QwAnux7meo6rXr0e/uh/VWw
7Zk+iJwNNjd5DnNi5KOg
=d9Aq
-----END PGP SIGNATURE-----