[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: |
Julien Lepiller |
|
Subject: |
bug#28925: [PATCH 2/7] gnu: Update coq to 8.7.0. |
|
Date: |
Sun, 22 Oct 2017 10:22:44 +0200 |
Le Sun, 22 Oct 2017 00:18:43 +0200,
Marius Bakke <address@hidden> a écrit :
> 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.
Thank you for the review, pushed as
07b4cd3a48022a472c90ec46f2e8b08d9cc8fc3e
- 6efc99967800183daa74ba2ebff6185dfcf1b33d.
pgpyc_SJMX8sm.pgp
Description: Signature digitale OpenPGP
- [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] gnu: youtube-dl: Update to 2017.10.20., julien, 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