coq-club AT inria.fr
Subject: The Coq mailing list
List archive
- From: Laurent Thery <Laurent.Thery AT inria.fr>
- To: coq-club AT inria.fr
- Subject: Re: [Coq-Club] Coq 8.7.0 is out!
- Date: Wed, 18 Oct 2017 10:59:00 +0200
On 10/18/2017 12:16 AM, Maxime Dénès wrote:
> Dear Coq clubbers,
>
> The Coq development team is pleased to announce the release of Coq
> 8.7.0, available at:
Great! Is there an opam package?
--
Laurent
- [Coq-Club] Coq 8.7.0 is out!, Maxime Dénès, 10/18/2017
- Re: [Coq-Club] Coq 8.7.0 is out!, Laurent Thery, 10/18/2017
- Re: [Coq-Club] Coq 8.7.0 is out!, Maxime Dénès, 10/18/2017
- Re: [Coq-Club] Coq 8.7.0 is out!, Ralf Jung, 10/18/2017
- Re: [Coq-Club] Coq 8.7.0 is out!, Laurent Thery, 10/18/2017
Archive powered by MHonArc 2.6.18.