[Top][All Lists]

[Date Prev][Date Next][Thread Prev][Thread Next][Date Index][Thread Index]

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

From: Marius Bakke
Subject: [bug#28925] [PATCH 2/7] gnu: Update coq to 8.7.0.
Date: Sun, 22 Oct 2017 00:18:43 +0200
User-agent: Notmuch/0.25.1 ( Emacs/25.3.1 (x86_64-pc-linux-gnu)

address@hidden writes:

> From: Julien Lepiller <address@hidden>
> * 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.

Attachment: signature.asc
Description: PGP signature

reply via email to

[Prev in Thread] Current Thread [Next in Thread]