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

[Ilya Barygin]

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

  * No-change rebuild for OCaml 3.12.1.

Date: Sun, 11 Dec 2011 13:34:38 +0400
Changed-By: Ilya Barygin <randomaction 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-8build1
-------------- next part --------------
-----BEGIN PGP SIGNED MESSAGE-----
Hash: SHA256

Format: 1.8
Date: Sun, 11 Dec 2011 13:34:38 +0400
Source: coq-float
Binary: libfloat-coq
Architecture: source
Version: 1:8.2-1.2-8build1
Distribution: precise
Urgency: low
Maintainer: Debian OCaml Maintainers <debian-ocaml-maint at lists.debian.org>
Changed-By: Ilya Barygin <randomaction at ubuntu.com>
Description: 
 libfloat-coq - Coq library on floating-point arithmetic
Changes: 
 coq-float (1:8.2-1.2-8build1) precise; urgency=low
 .
   * No-change rebuild for OCaml 3.12.1.
Checksums-Sha1: 
 3977dd1dc2152e47e380cf1d006d2607c1295dd5 1699 coq-float_8.2-1.2-8build1.dsc
 d78d73ea3dd861826fdb93f25a73d800be53ff6e 3585 coq-float_8.2-1.2-8build1.debian.tar.gz
Checksums-Sha256: 
 fb4fc500cb4c824be8a52e144393af2c2a866caa6b42645d926434dfef895756 1699 coq-float_8.2-1.2-8build1.dsc
 bb28bd3bcce98346f87ed006bf394a016b5b768df77b70686fa985c8dd78e921 3585 coq-float_8.2-1.2-8build1.debian.tar.gz
Files: 
 a4d638a724a41bb053cb1a4d400d1dbf 1699 math optional coq-float_8.2-1.2-8build1.dsc
 95977f72b4d3891db6e25b9e09cfd1bf 3585 math optional coq-float_8.2-1.2-8build1.debian.tar.gz

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

iQEcBAEBCAAGBQJO5HngAAoJEP+gcEe5E+JxZ9sH/jIvfdl6zYe9cmb9zTikl1wB
fPs0x77Ns0tHaXF1QnKi6ZYiH9s/6zSRUR4q9oCo/BOiSCNKyt81zemNmAQIYpG6
YVq8f9njYrofLgaLTpSRjK8FXxYcmZvzdQafRI2Vxx5AVro1VcYOGLQ9k7kZSzbM
2Ww1afxbZsmsELDR7XKR/mPpPOnemKglAqwbxs6rgvkGd2F+iTq+ncXpY1Hl1cGE
+/Mxmrtk+ydmbn8a7XzTm+tV33UI3I20Sb/e731wM40wVI+AYax+loVXY3YrPbAz
5E6e6WxpBrarhBIiRLxHm3oGeJICyqGLXkCvspmeb5QhWYjPH0yS0wdpHLmOq8A=
=iquL
-----END PGP SIGNATURE-----