-----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: mips
Version: 2.26+dfsg-2+squeeze1
Distribution: squeeze
Urgency: low
Maintainer: mips Build Daemon (corelli) <buildd_mips-corelli@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:
 d6e3f925346bec9e6dce6779c68c1254a9c9230e 14583984 why_2.26+dfsg-2+squeeze1_mips.deb
Checksums-Sha256:
 66595a6328ee6ddf74ec44bd4b48beea959138dfede2a7033355bb075a475dab 14583984 why_2.26+dfsg-2+squeeze1_mips.deb
Files:
 e39f3e7d959b0748ce56e922ac1e530f 14583984 math optional why_2.26+dfsg-2+squeeze1_mips.deb
-----BEGIN PGP SIGNATURE-----
Version: GnuPG v1.4.9 (GNU/Linux)

iEYEARECAAYFAk19WfkACgkQmdOZoew2oYX2xQCcDWKfgi34E+hMsiUhieWnmn2G
FqIAn18UOV7C/ZbBhEPcGOZJip2Adgzx
=fHx3
-----END PGP SIGNATURE-----