-----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: ia64
Version: 2.26+dfsg-2+squeeze1
Distribution: squeeze
Urgency: low
Maintainer: ia64 Build Daemon (alkman) <buildd_ia64-alkman@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:
 7907d78bf012cb8856687a3eafb88820f5262364 14564632 why_2.26+dfsg-2+squeeze1_ia64.deb
Checksums-Sha256:
 0314c08168908b680eb239bcc8f8815e1f0cd68ecbf23d51be3a3cd1c93c88f9 14564632 why_2.26+dfsg-2+squeeze1_ia64.deb
Files:
 6e7949093b4331c3edac8d159029f753 14564632 math optional why_2.26+dfsg-2+squeeze1_ia64.deb
-----BEGIN PGP SIGNATURE-----
Version: GnuPG v1.4.9 (GNU/Linux)

iEYEARECAAYFAk19WgEACgkQmdOZoew2oYXqOQCgu5z+yXUxoKb1aW8SuJGGxvt9
rKkAn0v+nLw0FWO42OuxjWc2DygeAgpd
=NNZI
-----END PGP SIGNATURE-----