-----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: mipsel
Version: 2.26+dfsg-2+squeeze1
Distribution: squeeze
Urgency: low
Maintainer: mipsel Build Daemon (rem) <buildd_mipsel-rem@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:
 254fd83b27337fe0d24755a321c2bf070634f4c2 14583030 why_2.26+dfsg-2+squeeze1_mipsel.deb
Checksums-Sha256:
 c47e76b2b5b64c1cc8be9c3afe5de8e9a392b2371fd5aa18861faef5e4bb32ab 14583030 why_2.26+dfsg-2+squeeze1_mipsel.deb
Files:
 a4c87599ef271f525927e650ac309764 14583030 math optional why_2.26+dfsg-2+squeeze1_mipsel.deb
-----BEGIN PGP SIGNATURE-----
Version: GnuPG v1.4.9 (GNU/Linux)

iEYEARECAAYFAk19WgQACgkQmdOZoew2oYXU1wCgoxTlKvSlvtTBXC0EwC3+uPV2
4I0AoJWmv7rav35sfT0SRMKMiJiGIbIh
=8xNT
-----END PGP SIGNATURE-----