-----BEGIN PGP SIGNED MESSAGE-----
Hash: SHA1

Format: 1.8
Date: Sun, 13 Mar 2011 18:34:27 +0100
Source: why
Binary: why why-examples libwhy-coq
Architecture: powerpc
Version: 2.26+dfsg-2+squeeze1
Distribution: squeeze
Urgency: low
Maintainer: powerpc Build Daemon (praetorius) <buildd_powerpc-praetorius@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: 
 be7a1208a43218648a49fed188bae7c20c0c185b 8674502 why_2.26+dfsg-2+squeeze1_powerpc.deb
Checksums-Sha256: 
 e5297eddf967c59547d0941b48f006af43d03f109d1ff70b5fd37207c5a72510 8674502 why_2.26+dfsg-2+squeeze1_powerpc.deb
Files: 
 37ce0064fd2241507a6bd03c3edf306b 8674502 math optional why_2.26+dfsg-2+squeeze1_powerpc.deb
-----BEGIN PGP SIGNATURE-----
Version: GnuPG v1.4.11 (GNU/Linux)

iQIcBAEBAgAGBQJNfkoIAAoJEMKUD5Ub3wqdOmUQAIV8wKPiZOPkYNB2iD2uVteQ
YIEMvEpNItxYkst4ZQi53XKs4V1DuiDdwyyW3KlXXqZ7EzWAI3gtmi7VgeIl5lbf
zlHjX4ZgomntZOAvF4c+jZYGqRNLXpdMVGD/oXo5xduf2DFcr6OYAPOsyYPgck8E
h1hRL7cyvZY0fFKEWfQxIbLxITZR5YJUAqyZBzdfC8SQtAlB49MGpv+cMbd4jui/
MxGcLiZ+7AN1F/1RALp2qHn6GqVFsndUBsk0D2ZTtSI8UNKupgDwYnCu3YqOoNdu
0RdNeuHXLx5pcM1RNdjbKD5WnXLRHVh9gA9iCPnBT+NqUTF2yH26+zRajkiNy5Vw
bTE76Amv8OBlfiZ07jh8TEcCZNeQrC6jVopY6tx5o6nzgjnpX97FtshYz0hbufgu
M4vDBCMbv4mHSu/joCJDTP1+4vB9Sa1XTCiP7UijZZawNrCKWAf+XZw5MCryztYv
Ct3ySOuTzAXyRVJJWbfNjAesUeeE/IHWRcjquEKrg6jpDo/wYEf66HXKstB5ihYA
RipED6PHnOZFjJXvBpKhbpe16HrygIx+7rfT6Cv4oziZ9erRlL0L3wdeEVYuKsuc
MxSZszN7qR8mG5ONT5tSDHfFdlh+Xl0w/+M9OvGPNpTu22pL46FfVvtabukZFwYZ
a0DHUMo9jLwB3CGA3eNw
=DYce
-----END PGP SIGNATURE-----