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

[Iain Lane]

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

  * No-change rebuild against new ocaml ABIs

Date: Wed, 04 Nov 2015 11:08:32 +0000
Changed-By: Iain Lane <iain at orangesquash.org.uk>
Maintainer: Debian OCaml Maintainers <debian-ocaml-maint at lists.debian.org>
https://launchpad.net/ubuntu/+source/coq-float/1:8.4-5build1
-------------- next part --------------
-----BEGIN PGP SIGNED MESSAGE-----
Hash: SHA512

Format: 1.8
Date: Wed, 04 Nov 2015 11:08:32 +0000
Source: coq-float
Binary: libfloat-coq
Architecture: source
Version: 1:8.4-5build1
Distribution: xenial
Urgency: medium
Maintainer: Debian OCaml Maintainers <debian-ocaml-maint at lists.debian.org>
Changed-By: Iain Lane <iain at orangesquash.org.uk>
Description:
 libfloat-coq - Coq library on floating-point arithmetic
Changes:
 coq-float (1:8.4-5build1) xenial; urgency=medium
 .
   * No-change rebuild against new ocaml ABIs
Checksums-Sha1:
 34b775b679ab5c13f0eb852bb3b85a930d2c6b14 2010 coq-float_8.4-5build1.dsc
 8832281bc25aa6599a7b5aa89c73f962f8c957c1 3424 coq-float_8.4-5build1.debian.tar.xz
Checksums-Sha256:
 ca22ead035f8c1871d6b06f399e086070346028d4b4644aa1a15db4a48d2b3f5 2010 coq-float_8.4-5build1.dsc
 f0e6ba2ae96fd132620d3dd9336080d62f1d91fa9a0518204693e8a3efc813ed 3424 coq-float_8.4-5build1.debian.tar.xz
Files:
 f7d9493e28ae418f8111c83e58cbd552 2010 math optional coq-float_8.4-5build1.dsc
 b370e2ea6aea606021917c8d85ca6009 3424 math optional coq-float_8.4-5build1.debian.tar.xz

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

iQIcBAEBCgAGBQJWOiMRAAoJEONS1cUcUEHUdY8P/1UCGAQVBeiNmgYC8mIQMwhy
5hc3pjt5OlLvZOpqwX47eL3kYW2IDJ5isVRFDk17xv15H1j0WNtZJgm+09RfBdH0
2L1rrRjbC0Tr5HkEOOoLCfYFGgEaAb+yR2bmIUOXGYQcMD9stMX5SiwhU6AAHIhz
wKV7zL1GdHkaA/ljhYLuAzzNUyigdTpn2eb15iLFSegMeqaIjPzG7CvqTVMtRwRS
Qa9rQeuWiwZWBK3VcPg+jGr/uIsTOabmhRLi5+2JO/TB8kWuB/kswd8EvJQUR6gz
v447fnRyKwXoPxxm5s+eHtqUlvj2Ys/2A+iVbpIchKkHnR4YzbPcqoz932L0Q0eg
sP2/bJ5Gxyaq2zTZu2eh1HZEanb8spHFlzcz9V29V0LmMaxKn+WJKHkjofm+qt7F
WRYK8luNZYQzW+4XiE+sgsKFqcfCZICY2r5kxH+6VK9ViEDJyZNJUBYQsH1/hL9P
hhvFKzTqQG5xu6+ck/mr7tg6HsvZqVieV0G+1OczpSvd2SyLKygYKCVr+KV0LM9x
pLLP5bNAvRwElTreYiSGD+C+amXq0Qv6QRRnMJnDsTmcPjhWZC3dUG7QhGNR//5T
dKumLkLXGMTaxncNvHoW6w9bI94c/J1HG/3/amP9byRxswkWLMg8GgR5anStpyF+
XO4oQTUZWzi2QxRszbx3
=qHJb
-----END PGP SIGNATURE-----