Subject: Re: [bug#28925] [PATCH 2/7] gnu: Update coq to 8.7.0.

From: Marius Bakke <[email-masked]>
Date: Sun, 22 Oct 2017 00:18:43 +0200

[email-masked] writes:

> From: Julien Lepiller <[email-masked]>
>
> * gnu/packages/ocaml.scm (coq): Update to 8.7.0.

Please also mention the changes to inputs and build-system here.  The
same goes for the other patches.  This series LGTM apart from that.