Accepted why 2.04.dfsg-3 (source)

[Ubuntu Installer]

Accepted:
 OK: why_2.04.dfsg.orig.tar.gz
 OK: why_2.04.dfsg-3.diff.gz
 OK: why_2.04.dfsg-3.dsc
     -> Component: universe Section: math

Origin: Debian/unstable
Format: 1.7
Date: Wed,  24 Oct 2007 08:10:40 +0100
Source: why
Binary: why
Architecture: source
Version: 2.04.dfsg-3
Distribution: hardy
Urgency: low
Maintainer: Samuel Mimram <smimram at debian.org>
Changed-By: Ubuntu Archive Auto-Sync <archive at ubuntu.com>
Description: 
 why        - A software verification tool
Closes: 430878 441500
Changes: 
 why (2.04.dfsg-3) unstable; urgency=low
 .
   * Rebuild with OCaml 3.10.
   * Build-depend on camlp4, closes: #441500.
 .
 why (2.04.dfsg-2) unstable; urgency=low
 .
   * Build-depend on libfloat-coq and enable float support, closes: #430878.
 .
 why (2.04.dfsg-1) unstable; urgency=low
 .
   * New upstream release.
Files: 
 fee54eca916feeecae0614ed0e175c64 688 math optional why_2.04.dfsg-3.dsc
 c35e1d0e241f9914841c052e46db28f0 2888 math optional why_2.04.dfsg-3.diff.gz
 fab59d0a7a19835771ca82b013c45c7c 1298690 math optional why_2.04.dfsg.orig.tar.gz