[ubuntu/eoan-proposed] coq 8.9.0-1build2 (Accepted)

[Gianfranco Costamagna]

coq (8.9.0-1build2) eoan; urgency=medium

  * Rebuild against new OCAML ABIs.

Date: Mon, 05 Aug 2019 10:16:43 +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/8.9.0-1build2
-------------- next part --------------
-----BEGIN PGP SIGNED MESSAGE-----
Hash: SHA256

Format: 1.8
Date: Mon, 05 Aug 2019 10:16:43 +0200
Source: coq
Binary: coq coq-theories libcoq-ocaml libcoq-ocaml-dev
Architecture: source
Version: 8.9.0-1build2
Distribution: eoan
Urgency: medium
Maintainer: Debian OCaml Maintainers <debian-ocaml-maint at lists.debian.org>
Changed-By: Gianfranco Costamagna <locutusofborg at debian.org>
Description:
 coq        - proof assistant for higher-order logic (toplevel and compiler)
 coq-theories - proof assistant for higher-order logic (theories)
 libcoq-ocaml - runtime libraries for Coq
 libcoq-ocaml-dev - development libraries and tools for Coq
Changes:
 coq (8.9.0-1build2) eoan; urgency=medium
 .
   * Rebuild against new OCAML ABIs.
Checksums-Sha1:
 a0cc077a7a53b508893eb5dadc9f6b6e2ffdb06b 2441 coq_8.9.0-1build2.dsc
 a18a7f9e04f6ed8c206ce752905e48da5b9c2566 27888 coq_8.9.0-1build2.debian.tar.xz
 8761f34297630257a631de95ab36a37d1b8ac011 15443 coq_8.9.0-1build2_source.buildinfo
Checksums-Sha256:
 be082ce4c654e08bddbd4b27fee9fd1d5ac3b5b0849d9a018ea2f45696abd2d2 2441 coq_8.9.0-1build2.dsc
 98ffa44bfdf3440bd837a5ebfde397b72031d40e14ae1e17592f6cff66a9a6c3 27888 coq_8.9.0-1build2.debian.tar.xz
 346e9b8a5e8b1610b041f56b4dd55ffd59894e84ab5b20c295b5896e637d27d1 15443 coq_8.9.0-1build2_source.buildinfo
Files:
 2654ec006a9074dc6add2f74c4236f8c 2441 math optional coq_8.9.0-1build2.dsc
 2798f5417ef0847233bf6c635e599704 27888 math optional coq_8.9.0-1build2.debian.tar.xz
 0e6daec4f76fa7d71dd316ab00fdee3b 15443 math optional coq_8.9.0-1build2_source.buildinfo

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

iQIzBAEBCAAdFiEEkpeKbhleSSGCX3/w808JdE6fXdkFAl1H5e8ACgkQ808JdE6f
XdnT/w//dax/zAP/8eMvJ0xIRRGEG0n74/sClqO+IbXGAGHoHhkMMBrlWdFXkDDi
NM5xbHcSejFk2x3qc7/o/WQe7NpKp5RNiDBP7cP9XaWGG9SSITp7HV0HO+hjbUdM
HBNdS3Yb+2IE+YNPv/qCaYer1musX53kNc42Yeq2Cbgm3bZg4xQgvqRMDtSrV3qM
F2m0dstfLBl8tDBz9RWClQ9os8jZpJQGGEsCkUzC6mMWw5oAAM0XNJ3+JYbFvrNH
KrdznKh6NneYT5SjVSXNiqocgkjLxxdC6Wyiw4e1S9aWGIy6nfTqbF1lGFMED37m
ZJgRYdvmezHP9OCaBS9jDUofdUIfkTtRCfrUmjqC1uLkA9Ht4h1x4sHBFz08exOa
rKvcRCym/SZw9FFt9owt/6HKQUUMSCoToM1tXklLZDFDacMHzvsW4g4QyWnpr7Ss
Ik8x+UmD1qSHEFFLMcUtJ7Pqk29fBYFLZxS9X8nHMs5civMD3lNHW5eDtSSnosL5
+u9JOBSqub9HX7eL9E/JBywqUPgEauQEtX8j6qc4a8uD4MFuE++hsfJ3hn8/6ESc
9uS0dXu70rQV2yzdSSOo4N/9MufqIfiMNx1Vjq84rQ7orBASrxgED3UxZ+lgfGax
tppEHrZkMZY64vPRuA9LD19uJpFQw2ggIRZq7tXAiTW76S6HQbQ=
=K+IQ
-----END PGP SIGNATURE-----