Skip to Content.
Sympa Menu

coq-club - Re: [Coq-Club] Coq 8.7.0 is out!

coq-club AT inria.fr

Subject: The Coq mailing list

List archive

Re: [Coq-Club] Coq 8.7.0 is out!


Chronological Thread 
  • 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



Archive powered by MHonArc 2.6.18.

Top of Page