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

guix-patches

[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 (https://notmuchmail.org) 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.

signature.asc
Description: PGP signature

[Prev in Thread]

Current Thread

[Next in Thread]

[bug#28925] [PATCH] Update coq and coq libraries., Julien Lepiller, 2017/10/21
- [bug#28925] [PATCH 1/7] gnu: camlp5: install META file., julien, 2017/10/21
  - [bug#28925] [PATCH 5/7] gnu: Update coq-coquelicot to 3.0.1., julien, 2017/10/21
  - [bug#28925] [PATCH 3/7] gnu: Update coq-flocq to 2.6.0., julien, 2017/10/21
  - [bug#28925] [PATCH 7/7] gnu: Update coq-interval to 3.3.0., julien, 2017/10/21
  - [bug#28925] [PATCH 4/7] gnu: Update coq-mathcomp to 1.6.2., julien, 2017/10/21
  - [bug#28925] [PATCH 2/7] gnu: Update coq to 8.7.0., julien, 2017/10/21
    - [bug#28925] [PATCH 2/7] gnu: Update coq to 8.7.0., Marius Bakke <=
    - bug#28925: [PATCH 2/7] gnu: Update coq to 8.7.0., Julien Lepiller, 2017/10/22
  - [bug#28925] [PATCH] gnu: youtube-dl: Update to 2017.10.20., julien, 2017/10/21
    - [bug#28925] [PATCH] gnu: youtube-dl: Update to 2017.10.20., Julien Lepiller, 2017/10/21
  - [bug#28925] [PATCH 6/7] gnu: Add coq-bignums., julien, 2017/10/21
  - [bug#28925] [PATCH 1/7] gnu: camlp5: install META file., Ludovic Courtès, 2017/10/24

Prev by Date: [bug#28917] gst-transcoder + python-pycanberra + gavl (pitivi dependencies)
Next by Date: [bug#28934] ROCA detect
Previous by thread: [bug#28925] [PATCH 2/7] gnu: Update coq to 8.7.0.
Next by thread: bug#28925: [PATCH 2/7] gnu: Update coq to 8.7.0.
Index(es):
- Date
- Thread