[ubuntu/karmic] coq-float 1:8.2-1.2-3 (Accepted)

[Ubuntu Installer]

coq-float (1:8.2-1.2-3) unstable; urgency=low

  * Rebuild with Coq 8.2pl1

coq-float (1:8.2-1.2-2) unstable; urgency=low

  * Recompile with OCaml 3.11.1 ABI
  * Update Standards-Version to 3.8.2

Date: Sat,  15 Aug 2009 16:32:06 +0100
Changed-By: Michael Bienia <michael at bienia.de>
Maintainer: Debian OCaml Maintainers <debian-ocaml-maint at lists.debian.org>
Origin: Debian/unstable
https://launchpad.net/ubuntu/karmic/+source/coq-float/1:8.2-1.2-3
-------------- next part --------------
Origin: Debian/unstable
Format: 1.7
Date: Sat,  15 Aug 2009 16:32:06 +0100
Source: coq-float
Binary: libfloat-coq
Architecture: source
Version: 1:8.2-1.2-3
Distribution: karmic
Urgency: low
Maintainer: Debian OCaml Maintainers <debian-ocaml-maint at lists.debian.org>
Changed-By: Michael Bienia <michael at bienia.de>
Changes: 
 coq-float (1:8.2-1.2-3) unstable; urgency=low
 .
   * Rebuild with Coq 8.2pl1
 .
 coq-float (1:8.2-1.2-2) unstable; urgency=low
 .
   * Recompile with OCaml 3.11.1 ABI
   * Update Standards-Version to 3.8.2
Files: 
 1c876660c786a4690c5b06508ec6d335 1327 libdevel optional coq-float_8.2-1.2-3.dsc
 dda115ea7539ecba4c6237a77a2f5724 2733 libdevel optional coq-float_8.2-1.2-3.diff.gz