-----BEGIN PGP SIGNED MESSAGE-----
Hash: SHA512

Format: 1.8
Date: Sun, 13 Mar 2011 18:34:27 +0100
Source: why
Binary: why why-examples libwhy-coq
Architecture: i386
Version: 2.26+dfsg-2+squeeze1
Distribution: squeeze
Urgency: low
Maintainer: i386 Build Daemon (murphy) <buildd_i386-murphy@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: 
 d6ec5bd780e74777ef8141c00cb6d52b7069a7d3 7654940 why_2.26+dfsg-2+squeeze1_i386.deb
Checksums-Sha256: 
 fe5c609644087498c5453ab216fb7103956b5b83bf131cc2120e17f3de4ef87b 7654940 why_2.26+dfsg-2+squeeze1_i386.deb
Files: 
 e8cc0425d8e70a06e9dd88abc86cbad7 7654940 math optional why_2.26+dfsg-2+squeeze1_i386.deb
-----BEGIN PGP SIGNATURE-----
Version: GnuPG v1.4.11 (GNU/Linux)

iQIcBAEBCgAGBQJNfcscAAoJEGpMZM6DE7XwZqMP/0FPtRgaIZdqUGlxou1zvxU/
WRoCSyUKcMuI05CPdXTEbdQrbxY08fy1X0SrP75UUhvC7fECaGl90XyVPCEFLjkM
yXyE24qv+g5PglaGcuzI1ohaMtVn2IwU/LkOHgoMiaVOX0lluoZUfb99VGZMEuPJ
2CHuosSmkAOmJPAWOugFa3vqpW0uL7OUVUifDKhx8d3c4eYw8pCdMSq60jbZDmyP
cs4p7hJXlkLn9pvQxHQrr0Pw65cL3Q/3BNc2ANInSQ/g151DC2PP6uErADnu3JTt
UdkvqjW/EY+fl7XjbbUHInmOacRai/vlnUYCv1RoanWRqI9qhNEcNN+WVXNUH7Qr
QNZxXTLHaCB0rjVXRuluxyje8A+Yoox0rSxlXySN4GU1o91pgTDL3tR17GJI3au5
oFlfeLw97y8B/8EhP/umiLDpDTmL93pjP+vlr69TSvddYhNOeFwT91UqKTYqkwj0
4Y5T60TOU3AJvW/0Wg6E3h7/r9Jo2taWnQ4t08f0ppDgtsS7E5DyLDBJu6dAqNbg
h+ocJvES1Z3bl5qK6dH3RgwA9ATrpZnE7qZMEJlDa/VBWtp5wCG4PQfFFho5qATh
lomjTD7r4ger0qLTXtgqvSI6YNp6vtoPW3967TGUeygvSnA32fjGS0SlVbM8ZhXE
1SCe7wzp7TGpK+2oSrDS
=V0lA
-----END PGP SIGNATURE-----