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

[Gianfranco Costamagna]

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

  * Rebuild against new OCAML ABIs.

Date: Fri, 26 Jul 2019 22:48:37 +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-1build1
-------------- next part --------------
-----BEGIN PGP SIGNED MESSAGE-----
Hash: SHA256

Format: 1.8
Date: Fri, 26 Jul 2019 22:48:37 +0200
Source: coq
Binary: coq coq-theories libcoq-ocaml libcoq-ocaml-dev
Architecture: source
Version: 8.9.0-1build1
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-1build1) eoan; urgency=medium
 .
   * Rebuild against new OCAML ABIs.
Checksums-Sha1:
 c239fbf2c16552359151bd11b6594f6fdaf54e2a 2441 coq_8.9.0-1build1.dsc
 5350b57200e3dfb794275ad46e9dcec9424e202b 27872 coq_8.9.0-1build1.debian.tar.xz
 bbf884a308584d3eb56174639e816c62ab19839e 15443 coq_8.9.0-1build1_source.buildinfo
Checksums-Sha256:
 eaff79a17fb483c2dd175ffd9c303e09f2a9f71e4eacad60efc01d4b539a997d 2441 coq_8.9.0-1build1.dsc
 3a4b5c01ce08af9b9a2b6b94cf7954aaa7ca705dba06a4fe69b11a2808c40883 27872 coq_8.9.0-1build1.debian.tar.xz
 860fa127f5503152dc91e03d8645fe940e9be80c3372cf9d232ca9c33884447d 15443 coq_8.9.0-1build1_source.buildinfo
Files:
 36847f477f34aac7cd6880397778c1ab 2441 math optional coq_8.9.0-1build1.dsc
 0f9ea0d602c964bca7793105e657e87d 27872 math optional coq_8.9.0-1build1.debian.tar.xz
 7454b0718c1c85f8103ff2f0ce31a307 15443 math optional coq_8.9.0-1build1_source.buildinfo

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

iQIzBAEBCAAdFiEEkpeKbhleSSGCX3/w808JdE6fXdkFAl07ZygACgkQ808JdE6f
XdlSLw/+NKjWzOcNDTLw5OKfstTE8KiZtNlgW999UQoVsFJKnOKLYCZHQrN0gc0G
WOHYp7E1UR/Ez66+yk9X8yljU08kejKO+Nx6LE/TKgmEpG3jKcjs+0JLYmakrA9k
Li6XiHsljhR32ENkYr/GE/e/IdxhKMRHrcpr7Y80AnfcC8NdvQCTmakZWmuLqVep
GUOKsRutbp/XhPn/MoH184jSlojKOCyL36a03xdlSWx+xnBHpgZEIGBfU4Py5n6c
UT2l+JVvdP4Anvbsq1Dd9masLWCIjrTlLYjFSB5VQCyea8ULCwUb1mg/nU9C8roh
hMjSwO8a5yAOljqRxqvBMO9jenShr/MBZoWDDHt1nGSeQ79zzAcb0Ab0HaFdWXTA
pqHqMgk43JYTN1AnZtewlILFx0oaoNiYEJ6Y7m6efwhTsLhNeJtZkPwZwRAznk1P
AC+Jglx/4zFMSEaKppeY3CwMC98Z6I1rog1+snda7SIVVw1D5VCABb5QujDM070i
ASMJ28BjVHU97FTEd3wIwkIll4hiRx1b2f6FH9Dwzd6R1LLuPsvvZM/GYxhvIQsO
cddcHZfid07q4lMRasgohSeyjT484Bc904TPXhrC/L2vyroJf6AXTgpJ5Syg1Tvi
D14FyYbbIsVizXUqu3Z4R8z8rdr2qBwAW5ulkdhBq3wMOiimDkE=
=TEPU
-----END PGP SIGNATURE-----