Accepted: coq-float 1:8.1-1.0-2 (source)

[Ubuntu Installer]

Accepted:
 OK: coq-float_8.1-1.0.orig.tar.gz
 OK: coq-float_8.1-1.0-2.diff.gz
 OK: coq-float_8.1-1.0-2.dsc
     -> Component: universe Section: libdevel

Origin: Debian/unstable
Format: 1.7
Date: Sun,  28 Oct 2007 16:51:40 +0000
Source: coq-float
Binary: libfloat-coq
Architecture: source
Version: 1:8.1-1.0-2
Distribution: hardy
Urgency: low
Maintainer: Samuel Mimram <smimram at debian.org>
Changed-By: Ubuntu Archive Auto-Sync <archive at ubuntu.com>
Closes: 438613
Changes: 
 coq-float (1:8.1-1.0-2) unstable; urgency=low
 .
   * Rebuild with latest version of coq.
 .
 coq-float (1:8.1-1.0-1) unstable; urgency=low
 .
   * New upstream release.
   * Updated upstream url and watch.
   * Made the package arch all since coq libraries should be
     platform-independant.
 .
 coq-float (2001-1) unstable; urgency=low
 .
   * Initial release, closes: #438613.
Files: 
 c953129e841a0cc251510b534296885c 602 libdevel optional coq-float_8.1-1.0-2.dsc
 e01b242111c4b3751b2289ff82ee02a6 3750 libdevel optional coq-float_8.1-1.0-2.diff.gz
 2af65050cc8cf2b590fa1cf3b73506cf 320981 libdevel optional coq-float_8.1-1.0.orig.tar.gz