-----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-i386
Version: 2.26+dfsg-2+squeeze1
Distribution: squeeze
Urgency: low
Maintainer: kfreebsd-i386 Build Daemon (field) <buildd_kfreebsd-i386-field@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: 
 917b4229e49dc17cc379b7011e79ed62303f819a 7628498 why_2.26+dfsg-2+squeeze1_kfreebsd-i386.deb
Checksums-Sha256: 
 6cd907326fb247faf64591c3feeb39c045659a14af16fa06932dccffaab6cffa 7628498 why_2.26+dfsg-2+squeeze1_kfreebsd-i386.deb
Files: 
 28d7df60dc80fd7b013ce94419613352 7628498 math optional why_2.26+dfsg-2+squeeze1_kfreebsd-i386.deb

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

iEYEARECAAYFAk19ni4ACgkQeGfVPHR5Nd3oyACgjWLQ44+C0H5alEw2SDE8j0DN
kwgAn0TlQ5L/r/6GuM0eOpBHBsHK4Dcx
=85VS
-----END PGP SIGNATURE-----