Skip to Content.
Sympa Menu

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

coq-club AT inria.fr

Subject: The Coq mailing list

List archive

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


Chronological Thread 
  • From: "John Wiegley" <johnw AT newartisans.com>
  • To: Maxime Dénès <mail AT maximedenes.fr>
  • Cc: coq-club AT inria.fr
  • Subject: Re: [Coq-Club] Coq 8.5 is out!
  • Date: Thu, 21 Jan 2016 16:51:10 -0800
  • Authentication-results: mail3-smtp-sop.national.inria.fr; spf=None smtp.pra=jwiegley AT gmail.com; spf=Pass smtp.mailfrom=jwiegley AT gmail.com; spf=None smtp.helo=postmaster AT mail-pa0-f47.google.com
  • Ironport-phdr: 9a23:KBAxgBLa56wa76TZztmcpTZWNBhigK39O0sv0rFitYgVKvnxwZ3uMQTl6Ol3ixeRBMOAu6wC0rKK+PqxEUU7or+/81k6OKRWUBEEjchE1ycBO+WiTXPBEfjxciYhF95DXlI2t1uyMExSBdqsLwaK+i760zceF13FOBZvIaytQ8iJ35rxjrjusMeCKyxzxxODIppKZC2sqgvQssREyaBDEY0WjiXzn31TZu5NznlpL1/A1zz158O34YIxu38I46FppIZ8VvDfdrQ5SLEQILUgs3t9sMjitB3rSAKf534RXmgQnwEODRKTvyv3RpPgjiyv/Mh62C/SAsz7QrQ5SH7qu6VsSBn3oCEKKDcj7GDMg8pryqlcpUTyiQZ4xtueQoaVMrJBf67Sed4LDyIVXMFRUTNpBI6jZpETDvEIO/0epI748Qhd5SCiDBWhUbu8ggRDgWX7iPU3
  • Organization: New Artisans LLC

>>>>> Maxime Dénès
>>>>> <mail AT maximedenes.fr>
>>>>> writes:

> The Coq development team is pleased to announce the final release of Coq 8.5
> available at:

Congratulations to everyone on the team, and all the testers!

--
John Wiegley GPG fingerprint = 4710 CF98 AF9B 327B B80F
http://newartisans.com 60E1 46C4 BD1A 7AC1 4BA2



Archive powered by MHonArc 2.6.18.

Top of Page