[ubuntu/bionic-proposed] coq 8.6-5build1 (Accepted)

[Gianfranco Costamagna]

coq (8.6-5build1) bionic; urgency=medium

  * Rebuild against new OCAML ABIs.

Date: Sat, 28 Oct 2017 16:21:16 +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.6-5build1
-------------- next part --------------
-----BEGIN PGP SIGNED MESSAGE-----
Hash: SHA256

Format: 1.8
Date: Sat, 28 Oct 2017 16:21:16 +0200
Source: coq
Binary: coq coqide coq-theories libcoq-ocaml libcoq-ocaml-dev
Architecture: source
Version: 8.6-5build1
Distribution: bionic
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)
 coqide     - proof assistant for higher-order logic (gtk interface)
 libcoq-ocaml - runtime libraries for Coq
 libcoq-ocaml-dev - development libraries and tools for Coq
Changes:
 coq (8.6-5build1) bionic; urgency=medium
 .
   * Rebuild against new OCAML ABIs.
Checksums-Sha1:
 24c166b2a443722e70a72e53043618fcb9f29fd7 2403 coq_8.6-5build1.dsc
 6d0d637e06d1710bfaafd81e24b9060059e86036 21864 coq_8.6-5build1.debian.tar.xz
 666ae98817a493745c52778aa414015c7da3c90f 6847 coq_8.6-5build1_source.buildinfo
Checksums-Sha256:
 fe7076b2359197baa72d2016261ae52b2691cf553eeda8ba6b267f180625e3c8 2403 coq_8.6-5build1.dsc
 70e1cffd54deb41b7ad3e6fd0685c7f1078ba78cdd1f84e8a6225fbc349de9d3 21864 coq_8.6-5build1.debian.tar.xz
 b773bfc8dbf216db65d06db54597ee4ec29b8b55239a6b83b9ceb94b24740431 6847 coq_8.6-5build1_source.buildinfo
Files:
 505fd2781d123ed6b5ebcd707cbda6f2 2403 math optional coq_8.6-5build1.dsc
 246d0f061fef9ac38c5fac8b87506636 21864 math optional coq_8.6-5build1.debian.tar.xz
 b53c1fd7f59a431308deee098e41fe22 6847 math optional coq_8.6-5build1_source.buildinfo

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

iQIcBAEBCAAGBQJZ9JJjAAoJEPNPCXROn13ZJJIQANCRs5/AdO9WnvymC5BYVbL4
wY4xfFmqvX8G9XsU4D3KTclsFJXmeWfyZNgUBV23qCGhyYTNF5VtfEDycxZltYnf
4O1lD36lbcmBqh7i6HSYjIWuRwFlZ/8Q6Dic5wi3fORgN9BmdcTAfJZfVRDfjZZz
+i7DmPHAhwqg6VqtcsfYo6mfxGowO7N1xTQ/7Xz8fCauymmhz50WmNUaHYFYTaTj
fW9wdvQxdMNv2Z4lHwstlPB1h0xNlmQgubCQ32O2Iu/kSulY+xE+ep42oEnEBPyW
X5cp5bi3nnpqLYeNDkFluxzVbrmKaIVrplxNiBzACqAdlmsUZofn7Ghg7j6QdX4l
xEfB+aU4/uufhZ60OopTkpufabWuRhRt1sBEw/oTW4wOJSUOquKQxgVtC/HcWib8
cKf7EOyTbIwkjTj5uPsnmr2lr+1hxknvGnUMJwRHNCeqPuj9A3NubQo4LDp0/gru
+af6DRRB8AGy8N6C8cu8uEX6FA8HXpXVNqQbsWXXjhmjody3Wn/VIRmd85FpFQCM
o0JPdv0s67SyXGQx+m3TslR1HOF8NpliknRTfUG/S5nlo1TpC/HXcCD+jOIw/s+u
0pjsz9g+xy6Emul3X+LK/6MeQnKedJh3lLvHZOXCsfRc8tWmTAzB+nXZEyfkihTF
HXUUVV7vKok+KrdVoZw1
=zhtG
-----END PGP SIGNATURE-----