-----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: s390
Version: 2.26+dfsg-2+squeeze1
Distribution: squeeze
Urgency: low
Maintainer: s390 Build Daemon (zandonai) <buildd_s390-zandonai@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:
 3a21871045cfaae19dca1d77bc8cf92bcab4bc9f 14575580 why_2.26+dfsg-2+squeeze1_s390.deb
Checksums-Sha256:
 72f3f9f1494c971200f9769a4e1cfac3f8f1eea7404ab78cdedb5d19e00d0252 14575580 why_2.26+dfsg-2+squeeze1_s390.deb
Files:
 40fdf371214211a32362ae594a4dfa4b 14575580 math optional why_2.26+dfsg-2+squeeze1_s390.deb
-----BEGIN PGP SIGNATURE-----
Version: GnuPG v1.4.10 (GNU/Linux)

iEYEARECAAYFAk19MMgACgkQ7Ro5M7LPzdhnwwCg65GP3XKrP7cS5AE+K7jv0ZcV
6HsAn3Bg6kVeLqxhZ/e9yDWLboKe8GN8
=esbJ
-----END PGP SIGNATURE-----