Accepted why 2.04.dfsg-4 (source i386)

[Samuel Mimram <smimram@debian.org>]

-----BEGIN PGP SIGNED MESSAGE-----
Hash: SHA1

Format: 1.7
Date: Sat, 22 Dec 2007 01:19:44 +0100
Source: why
Binary: why
Architecture: source i386
Version: 2.04.dfsg-4
Distribution: unstable
Urgency: low
Maintainer: Samuel Mimram <smimram@debian.org>
Changed-By: Samuel Mimram <smimram@debian.org>
Description: 
 why        - A software verification tool
Changes: 
 why (2.04.dfsg-4) unstable; urgency=low
 .
   * Rebuild with latest version of coq.
Files: 
 d1be217bf4b7e8dc55cd31741873a662 688 math optional why_2.04.dfsg-4.dsc
 99b1812ed867c88661c4c0b641f95c98 2927 math optional why_2.04.dfsg-4.diff.gz
 08b7e283862c188e368bda289ab049cf 3773164 math optional why_2.04.dfsg-4_i386.deb

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

iD8DBQFHbFiqIae1O4AJae8RApUjAJ9ekUmYa3Aqq7qWE1eenm/gj34j3QCffONr
AkKNvrh+/puu18RyUe+ln8M=
=kYUc
-----END PGP SIGNATURE-----


Accepted:
why_2.04.dfsg-4.diff.gz
  to pool/main/w/why/why_2.04.dfsg-4.diff.gz
why_2.04.dfsg-4.dsc
  to pool/main/w/why/why_2.04.dfsg-4.dsc
why_2.04.dfsg-4_i386.deb
  to pool/main/w/why/why_2.04.dfsg-4_i386.deb