-----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: kfreebsd-amd64
Version: 2.26+dfsg-2+squeeze1
Distribution: squeeze
Urgency: low
Maintainer: kfreebsd-amd64 Build Daemon (fasch) <buildd_kfreebsd-amd64-fasch@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: 
 0a24b18c5f129dd7c75a2e301b4ccb2ac934847e 9041312 why_2.26+dfsg-2+squeeze1_kfreebsd-amd64.deb
Checksums-Sha256: 
 51415c0771aeb75ac069cc5407b9ceaa063256d52010eb293aae9963110fde47 9041312 why_2.26+dfsg-2+squeeze1_kfreebsd-amd64.deb
Files: 
 18e5104804f23d6bb2f854759a09a32b 9041312 math optional why_2.26+dfsg-2+squeeze1_kfreebsd-amd64.deb

-----BEGIN PGP SIGNATURE-----
Version: GnuPG v1.4.10 (GNU/Linux)

iEYEARECAAYFAk19nicACgkQeGfVPHR5Nd0MCwCfaeotxfuP4607e/3mrHVlZaIQ
dmsAnRj3jeWsOQ2/4NVhUK/fLA7zCTFZ
=jis5
-----END PGP SIGNATURE-----