[ubuntu/yakkety-proposed] coq-float 1:8.4-5build3 (Accepted)

[Steve Langasek]

coq-float (1:8.4-5build3) yakkety; urgency=medium

  * No-change rebuild against coq-8.5+4.02.3

Date: Sun, 12 Jun 2016 17:06:08 +0000
Changed-By: Steve Langasek <steve.langasek at ubuntu.com>
Maintainer: Ubuntu Developers <ubuntu-devel-discuss at lists.ubuntu.com>
https://launchpad.net/ubuntu/+source/coq-float/1:8.4-5build3
-------------- next part --------------
-----BEGIN PGP SIGNED MESSAGE-----
Hash: SHA512

Format: 1.8
Date: Sun, 12 Jun 2016 17:06:08 +0000
Source: coq-float
Binary: libfloat-coq
Architecture: source
Version: 1:8.4-5build3
Distribution: yakkety
Urgency: medium
Maintainer: Ubuntu Developers <ubuntu-devel-discuss at lists.ubuntu.com>
Changed-By: Steve Langasek <steve.langasek at ubuntu.com>
Description:
 libfloat-coq - Coq library on floating-point arithmetic
Changes:
 coq-float (1:8.4-5build3) yakkety; urgency=medium
 .
   * No-change rebuild against coq-8.5+4.02.3
Checksums-Sha1:
 b7055fb47dd32e7f415012d580e1caaa384563d2 2089 coq-float_8.4-5build3.dsc
 c99db85ca8e30ca4e9da688c464461369c40b106 3556 coq-float_8.4-5build3.debian.tar.xz
Checksums-Sha256:
 43e1966876bbf01bf620066e99199939692a90ac9a368c07c87a32a6deec0db1 2089 coq-float_8.4-5build3.dsc
 699f37cdac76a5eff93a909f2e56ad4037a62ee6c98a7faa66a01750825e98f0 3556 coq-float_8.4-5build3.debian.tar.xz
Files:
 69edd3823b10a520afbf690ed6d3f85d 2089 math optional coq-float_8.4-5build3.dsc
 cbc8dd5df8e08aa33f0fa3178fc6b8dc 3556 math optional coq-float_8.4-5build3.debian.tar.xz
Original-Maintainer: Debian OCaml Maintainers <debian-ocaml-maint at lists.debian.org>

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

iQIcBAEBCgAGBQJXXZaNAAoJEFaNMPMhshM97jUQAIdJaBCHe/euf1fazDk2cpck
0gYIyyjiAd2/PumlyvBiZ95amArz44qFzuQPJljdUXkNzXhLfYsbLXgIIUSerpZP
Kl7x7H+9/cOpLJsLOvHmiUgCjuWwAOZx2y397YuTNIVIfpInxNyklgQ+5RuNUInV
M1mF65dVGTltsF1vOys00CPGFknSD0vjByd5VQw2lNXJxwQxjO+lEWQV6RaSOeyy
rEZkjiI7RS5pRUKi8cLQByVc/pbZ4+yLn07Ulnd9HmlNqFHcn0AjiRvtu2gm0k/E
VXJqSxCVl1mtrAhsljZseqJiuTK+B7sfT7zbcKu6C6gQVq0Kplvm/s6EJ5c6oh6H
lA4yXZXqDCSKu4stgSP5DjaWMAgvQGqd1g+pFO3PWEmA4+4t8rFuAIlIRxkFLonF
SpbMU7APnXCIN66D4jzApafKzvpO8JDwclkF2yJ0zscdkqpnUxqGFKcCOdT3kVvR
ksmqIGUgqwDWaL2r5p7gs9Ydb64cLIUGWC/dQwkjI1b0chkCwOQ3p4xYnPIjYmGn
Jb7ph2KwncR/2qt2iYgPmKo6ISYeo68vc/dj9GZYKbjkYQkCi/pGSLivP48NHrGC
dFxc22UJhygEi81gKc0xTwo9vzNsDI42grhGh/CmAZDvQWsvse2lDkPp9kJRmI+Q
hDL5p0CoW6RjIHplE47Y
=MFMq
-----END PGP SIGNATURE-----