[ubuntu/xenial-proposed] coq-float 1:8.4-5build2 (Accepted)

[Matthias Klose]

coq-float (1:8.4-5build2) xenial; urgency=medium

  * No-change rebuild against new ocaml ABIs

Date: Thu, 04 Feb 2016 16:59:12 +0100
Changed-By: Matthias Klose <doko at ubuntu.com>
Maintainer: Debian OCaml Maintainers <debian-ocaml-maint at lists.debian.org>
https://launchpad.net/ubuntu/+source/coq-float/1:8.4-5build2
-------------- next part --------------
-----BEGIN PGP SIGNED MESSAGE-----
Hash: SHA256

Format: 1.8
Date: Thu, 04 Feb 2016 16:59:12 +0100
Source: coq-float
Binary: libfloat-coq
Architecture: source
Version: 1:8.4-5build2
Distribution: xenial
Urgency: medium
Maintainer: Debian OCaml Maintainers <debian-ocaml-maint at lists.debian.org>
Changed-By: Matthias Klose <doko at ubuntu.com>
Description:
 libfloat-coq - Coq library on floating-point arithmetic
Changes:
 coq-float (1:8.4-5build2) xenial; urgency=medium
 .
   * No-change rebuild against new ocaml ABIs
Checksums-Sha1:
 dd91646e9fc25a6d9269376f0bdbc5922c22e4dc 2010 coq-float_8.4-5build2.dsc
 cf183fc5aec632f17cb863709f6a6424f6788d69 3472 coq-float_8.4-5build2.debian.tar.xz
Checksums-Sha256:
 5da6aa0deb3d86093c5750626450c0ee65b3268b72f53f9e8c69133f24e261bc 2010 coq-float_8.4-5build2.dsc
 4c0b899f6e7b9add37453279079365a34fede5eda61d2b34df29aa292dbb3b34 3472 coq-float_8.4-5build2.debian.tar.xz
Files:
 af4b9be4c68a5e3507b9cfaacba3a83a 2010 math optional coq-float_8.4-5build2.dsc
 d9d5acb5d569dd19f0f4ed67881503a6 3472 math optional coq-float_8.4-5build2.debian.tar.xz

-----BEGIN PGP SIGNATURE-----
Version: GnuPG v1

iQIcBAEBCAAGBQJWs3YtAAoJEL1+qmB3j6b1BUkQAJY9x45QI3boGgYYGNb9o0Z4
VQrJVgVgzGpuMOmOBBGJM/AI05jE9H/hpsooQK3H6kaj1idPhkUf+X8H+tdsm+2T
II1QsPhT/ckGxvJseHvPDyEASwjQoZ+RzrMbr+kgJralpi/deOwj95oqYqaZkDp/
6/lysTq0Zl2hmiz7a67czyrxGwCrNU7AuHeQGKh91jlMJ2A/tRlEriWO76ASAJPn
knTCwDbTQoRPyq87T6svvEwF7tLcWLoWZm48QVENoaYpBejvPklj69yX1kbm/8pj
F7DmTaqMX8VsghderK5lxxq357Lfw5z5IeSfkOpB9wmZXewetVeLp11CbhlcL1MF
XPN4D44XYwS26F9iGjLyxI2bf2Ce/FbbWp3akH00xf57lq5mZ0prSThbQELwi6QS
AcfSD510EDRZGiGA7VbvBuM6wiukxaJSapHcBPRmn0oR1gqcLLLfmRPbgPciEf0m
YYf721BSliS/5Iv+pzVqyytYfvVOQTDCkqM8MgJC0nmxGVqpbWeYubPmHM/Uy7Tf
XEQ8gxUk9R1g15sEGdD5wJUvslRtDCdLlWjrkQoKmfVS9V7XfisLwgHmWabFP5wb
67JHtogFRt0UWB8ncp7OVSAidiyzmUNoIGkjRFIoKqtMkNZDnfyu+yS+BQI82Cap
fMX2/DcCUCrRuiKRa2Yt
=4PAT
-----END PGP SIGNATURE-----