[ubuntu/focal-proposed] coq-float 1:8.9.0-1build1 (Accepted)

[Gianfranco Costamagna]

coq-float (1:8.9.0-1build1) focal; urgency=medium

  * Rebuild against new OCAML ABIs.

Date: Tue, 25 Feb 2020 18:37:43 +0100
Changed-By: Gianfranco Costamagna <locutusofborg at debian.org>
Maintainer: Debian OCaml Maintainers <debian-ocaml-maint at lists.debian.org>
https://launchpad.net/ubuntu/+source/coq-float/1:8.9.0-1build1
-------------- next part --------------
-----BEGIN PGP SIGNED MESSAGE-----
Hash: SHA256

Format: 1.8
Date: Tue, 25 Feb 2020 18:37:43 +0100
Source: coq-float
Binary: libfloat-coq
Architecture: source
Version: 1:8.9.0-1build1
Distribution: focal
Urgency: medium
Maintainer: Debian OCaml Maintainers <debian-ocaml-maint at lists.debian.org>
Changed-By: Gianfranco Costamagna <locutusofborg at debian.org>
Description:
 libfloat-coq - Coq library on floating-point arithmetic
Changes:
 coq-float (1:8.9.0-1build1) focal; urgency=medium
 .
   * Rebuild against new OCAML ABIs.
Checksums-Sha1:
 161ad6dc1faf23f4d83cc96708d8d610aaefbc1e 1964 coq-float_8.9.0-1build1.dsc
 f926c94a38d44a0e3c5e90ad1d766486616681f8 3104 coq-float_8.9.0-1build1.debian.tar.xz
 0b303003a56839165bd1d2a9a1f93ccb0ec69ade 10388 coq-float_8.9.0-1build1_source.buildinfo
Checksums-Sha256:
 d832353ed49012dc6840d0b9ace729562b0a00ba54e8ed811614b10da965e3b5 1964 coq-float_8.9.0-1build1.dsc
 8bb7a812b16f7a633803495f1aca9a29121a4671780daf6290a0c41ac64839a8 3104 coq-float_8.9.0-1build1.debian.tar.xz
 a9ed15d275ed3c8db9bfea3395c13dbaaebfba99bd7f40ef39831f26f215a8e1 10388 coq-float_8.9.0-1build1_source.buildinfo
Files:
 dacde4381af7e2f2f1d1026a4f15d87b 1964 math optional coq-float_8.9.0-1build1.dsc
 9587a04bcea4d79dfe959019a6382fe5 3104 math optional coq-float_8.9.0-1build1.debian.tar.xz
 e1f868c6ae7f7252d975246a68b68471 10388 math optional coq-float_8.9.0-1build1_source.buildinfo

-----BEGIN PGP SIGNATURE-----

iQIzBAEBCAAdFiEEkpeKbhleSSGCX3/w808JdE6fXdkFAl5VW2kACgkQ808JdE6f
XdkBExAAwJSU3Bbc7hYCk4VXbRioBq/INNDq/GO6v0UAIZ9Mb57AzDlOxScnrlLK
RyPn+LfzwLeDSV2RXhOGI/ygk+EQxVQLZHrLDt6eVzrn9KId7wFMjMmJoVMFBjsn
wlYXN+Lafgd+o42l3bWCTLTCx0eybUsnv9Oeiy/HmgQRVOV/LXR7ud4QtoaR+KgG
e25kV5wjWe5MfNvv7dLMfgTGmPYMdH1JbMZh49fV4qBQLlebqM6c0w2ZnpuYdQAs
/dm9zTEdqYKqW17OBhSUP2u52qXVI120g9WnQBqOwZMxjEdSFaqQT1gnqJrgcOjb
lGjo9whmvJz6mICvAwBRrLgs4/V26ptdo8b8bpuP8coq8polh7bsNyeFHH9p6W+R
WM3FXTYJdYy3lEf2XUMbYlnTuX5vz7tqf+bVa/dxMJFYdBzREgYIi0muumMBzDyp
JYSolsxb+ZiG2SqdS7Me5eVkzFY4wLysLKxKtOn/VdcU1rA3U+4Y30H9Hzt0Oan6
p3Bxx6FSS4ZZBxqeKjFXWzeG6En5xcPmPjcHxq97GURNfUuwNzEPwtJHfqG/wqeF
feuXSC2RjR++rwfXsw/QLJueIFxiGkXcMxVk9p0lNPtrDcGFfDAXByck+vOpDE2l
idhgJ2oXzIsQdn1VCowbQb9u7n/fqp8fgCf5tcNELIcrZbfinB4=
=lXvb
-----END PGP SIGNATURE-----