[ubuntu/precise] coq-float 1:8.2-1.2-8build2 (Accepted)

[Andreas Moog]

coq-float (1:8.2-1.2-8build2) precise; urgency=low

  * No-change rebuild against new coq

Date: Sat, 07 Jan 2012 18:36:51 +0100
Changed-By: Andreas Moog <amoog at ubuntu.com>
Maintainer: Debian OCaml Maintainers <debian-ocaml-maint at lists.debian.org>
https://launchpad.net/ubuntu/precise/+source/coq-float/1:8.2-1.2-8build2
-------------- next part --------------
-----BEGIN PGP SIGNED MESSAGE-----
Hash: SHA1

Format: 1.8
Date: Sat, 07 Jan 2012 18:36:51 +0100
Source: coq-float
Binary: libfloat-coq
Architecture: source
Version: 1:8.2-1.2-8build2
Distribution: precise
Urgency: low
Maintainer: Debian OCaml Maintainers <debian-ocaml-maint at lists.debian.org>
Changed-By: Andreas Moog <amoog at ubuntu.com>
Description: 
 libfloat-coq - Coq library on floating-point arithmetic
Changes: 
 coq-float (1:8.2-1.2-8build2) precise; urgency=low
 .
   * No-change rebuild against new coq
Checksums-Sha1: 
 71d91c74e253d2e7d4ef9ec773fa57ba503b13a2 2043 coq-float_8.2-1.2-8build2.dsc
 27d2f4b4e96b764fce5069ff7596a6b167597f77 3590 coq-float_8.2-1.2-8build2.debian.tar.gz
Checksums-Sha256: 
 16efb8f7bdf0d8979dfc9bc375b3d624149bda31881d15595e7449cdb0716ac2 2043 coq-float_8.2-1.2-8build2.dsc
 a3bc57b8bcffc8582ed8a8e0021b8659120f81c9f0bea5a641dd0202ded71fad 3590 coq-float_8.2-1.2-8build2.debian.tar.gz
Files: 
 a879b2eb898cefa203956285df334427 2043 math optional coq-float_8.2-1.2-8build2.dsc
 952ddd632d7200b37100b40b49753906 3590 math optional coq-float_8.2-1.2-8build2.debian.tar.gz

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

iQIcBAEBAgAGBQJPCIP2AAoJEGHzRCZ03mYkf/QQALuSpRxaqvUvOpTZZ6OjjnnG
PfQ+sF88UFXgD1PWU+hZMjeN8wKiNPDJSWe7av8Z7s6MmvLqpKb7KeTA3dJ7lL5m
xTtD+2/7igjBYmVhqeubUprvkWpi/XMJzNhQZwj/pTRz9bgFAC9sHog8BLRC5tdd
UVHcwRbNyviWHUCjr58iTaM31xLqtWhxxPpMo0AVBxgSvrNXekLY7GtHCp/SxdaV
DLf6MrmaPYlp3s7rJoBel30XIXGCoBebAvkEqNynPUfiMAOFP4wvuVoq75UkCG/3
rRQPrl162EzFZPU3aqZFprNRCf0OJZXnaplNI9y3PWnZjh/rLXmTHbDwlvsvtmot
yyYOQovAQ+3mo0l2N1emQ9ObFpVu1/o6M5Ofrw2mx3aAELXbGYYLpZr4C57/en3V
e7qijtDWZi/VxxIt/NSBLFxGtDslvUovTgURDweFxiKiCzHSDVdXI3b32MdwPEvR
IVPpluavVEDnDFy6wmpXOCUDSVc9Qbz12ZcDBWtOdbp9kjF6ZU09KivkREc/LiJh
Jrnf+GpPaukhoN4kl5EAic1mSsfGr7k6ygosN26kBdUlQnuqKNtGymZyzVjjAy8T
OaOAMTNV4a2OGePzDcEhn4aWtJWnu3HJDH9u11IpkD62SVT4oTfR+2ZTHP4SsV08
EUOoFJ2ilRPRbMPUJCnZ
=+DK+
-----END PGP SIGNATURE-----