-----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: armel
Version: 2.26+dfsg-2+squeeze1
Distribution: squeeze
Urgency: low
Maintainer: armel Build Daemon (alwyn) <buildd_armel-alwyn@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: 
 7f45cf2fa65984bd86d1edd10ccb24763ddeebe0 14581136 why_2.26+dfsg-2+squeeze1_armel.deb
Checksums-Sha256: 
 2640e0d090e06b10b4545284c8b1f5042d63809110962e3a1d416fd8779e5028 14581136 why_2.26+dfsg-2+squeeze1_armel.deb
Files: 
 9b34e2d68e9dc2c7ebab0b8ca4b0d5fa 14581136 math optional why_2.26+dfsg-2+squeeze1_armel.deb
-----BEGIN PGP SIGNATURE-----
Version: GnuPG v1.4.10 (GNU/Linux)

iD8DBQFNfnxLibPvMsrqrwMRAj/jAKCPXhUqTGz4j5fbOhpZdxlaEYZ82ACg2jqS
3e0fRpkblHsc+JFS4dUOy4s=
=4dDA
-----END PGP SIGNATURE-----