Accepted why 2.04.dfsg-2 (source i386)

[Samuel Mimram <smimram@debian.org>]

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

Format: 1.7
Date: Thu, 30 Aug 2007 13:06:52 +0200
Source: why
Binary: why
Architecture: source i386
Version: 2.04.dfsg-2
Distribution: unstable
Urgency: low
Maintainer: Samuel Mimram <smimram@debian.org>
Changed-By: Samuel Mimram <smimram@debian.org>
Description: 
 why        - A software verification tool
Closes: 430878
Changes: 
 why (2.04.dfsg-2) unstable; urgency=low
 .
   * Build-depend on libfloat-coq and enable float support, closes: #430878.
Files: 
 e36b86935f87054543e7b48ee7026d31 648 math optional why_2.04.dfsg-2.dsc
 8e2b61339c485b56133a256c3446dfc5 2814 math optional why_2.04.dfsg-2.diff.gz
 8d535d590866f847333b4ae6897b9a9e 3582672 math optional why_2.04.dfsg-2_i386.deb

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

iD8DBQFG2eTIIae1O4AJae8RAtxCAJ4/w8urN6x/qzVyTbE6Jfl7yuJ3gwCfYyeb
pOn4Z1llbCCKgUtIC6mP6TE=
=Zn3S
-----END PGP SIGNATURE-----


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