[ubuntu/groovy-proposed] coq-float 1:8.10.0-1build1 (Accepted)

[Gianfranco Costamagna]

coq-float (1:8.10.0-1build1) groovy; urgency=medium

  * Rebuild against new OCAML ABI.

Date: Wed, 16 Sep 2020 11:26:38 +0200
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.10.0-1build1
-------------- next part --------------
-----BEGIN PGP SIGNED MESSAGE-----
Hash: SHA256

Format: 1.8
Date: Wed, 16 Sep 2020 11:26:38 +0200
Source: coq-float
Binary: libfloat-coq
Architecture: source
Version: 1:8.10.0-1build1
Distribution: groovy
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.10.0-1build1) groovy; urgency=medium
 .
   * Rebuild against new OCAML ABI.
Checksums-Sha1:
 813cc908a6dc073d6d1c255d1f259e60f55873fc 1971 coq-float_8.10.0-1build1.dsc
 18763c4ca0b73530f30b0ebb43760d21d487f75b 3432 coq-float_8.10.0-1build1.debian.tar.xz
 e5ca4398a44e6a1ac9fd81562694811176e9cf81 10622 coq-float_8.10.0-1build1_source.buildinfo
Checksums-Sha256:
 adb4db7bd47aef81d57b37f83637b3291bf349558397956e59a67caf6f598d3e 1971 coq-float_8.10.0-1build1.dsc
 6cf43ee2a6181a33b2fc1fca1c0dd3d505acd0e2bc16085de6485fb61bfab2be 3432 coq-float_8.10.0-1build1.debian.tar.xz
 310caeffe9be1920cdf8cb045b3ff1b0289b2784036d45c13c19403eda9c2e1b 10622 coq-float_8.10.0-1build1_source.buildinfo
Files:
 08da74f7ce3ff39eb6ad146115c50a13 1971 math optional coq-float_8.10.0-1build1.dsc
 6233dc9a048633e4bc8398c7ab8be201 3432 math optional coq-float_8.10.0-1build1.debian.tar.xz
 2e80de8999c0ba4be99fc4533e3c176a 10622 math optional coq-float_8.10.0-1build1_source.buildinfo

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

iQIzBAEBCAAdFiEEkpeKbhleSSGCX3/w808JdE6fXdkFAl9h2lAACgkQ808JdE6f
Xdmnpg/+KJ5GiOEVjH04VeXfVuO8zmgh5hzfMWjQqMUg0IqujeDteBRbQ5W/5qPI
ca1HKGiaUnN0QXA8xM8O+cnoboPzs5EK61oA6SN0HuqOWZtvGHPe7g4mQ7lR3nUx
R9nfO4ubotEnUxduNldCWJ+C7mC6stY93Uv73KMBkdvarVKDT/L8DlwCZI+VXyRV
xypG6qhZK1rVKaj47e4D+nO7tyt88jdXRPEBZpJRJrnSjMSAn+hnYPgJy4HuwiZr
lmQKOsQ14UkVslvqUaBUSC96EsRWHK/jtGFitDyamRAqold4rDCnO/aSSJ4X1rlm
D0QbZ0r9D6Oj9inoIWrdAyIPyMItGv+TQ4496DrTJq2SU05mCmYtgWalaLCbJwdU
BrnKOm62be0Q7LQHPCXXmTy/38FYszJoLhAN3YWNFqoqgLRQNYF6jXssT1W9bp6/
6FoOvW6SLLfDaGGUeU7enMTp6UUatdKzSzliQJHAmusqSFR7gE7pufLF0kfStuxh
uLNkRk8J6lSU2Px8wFGGl7a3/NodNNM39k7yYMEDXZPXoRVAEc824I9Qe8VtEYtP
IAXNB3+lDkhvkC7LnzLdqFRGGUg/sxdQb8vdzcwW1q9L79wcRr2m/qUWN1Nd1HZC
b4e3+7kha3/wx8LqtpLOgxuVnREoTJ5q5blVrAzIZdMd8/+Yjco=
=U8dS
-----END PGP SIGNATURE-----