Le Sun, 22 Oct 2017 00:18:43 +0200,
Marius Bakke <mbakke@fastmail.com> a écrit :

> julien@lepiller.eu writes:
> 
> > From: Julien Lepiller <julien@lepiller.eu>
> >
> > * 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.

Thank you for the review, pushed as
07b4cd3a48022a472c90ec46f2e8b08d9cc8fc3e
- 6efc99967800183daa74ba2ebff6185dfcf1b33d.