coq-club AT inria.fr

Subject: The Coq mailing list

List archive

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

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

[Coq-Club] Coq 8.5 is out!, Maxime Dénès, 01/22/2016
- Re: [Coq-Club] Coq 8.5 is out!, John Wiegley, 01/22/2016
- Re: [Coq-Club] Coq 8.5 is out!, Frédéric Blanqui, 01/22/2016
  - Re: [Coq-Club] Coq 8.5 is out!, Hugo Herbelin, 01/22/2016
    - Re: [Coq-Club] Coq 8.5 is out!, Maxime Dénès, 01/22/2016
      - Re: [Coq-Club] Coq 8.5 is out!, Frédéric Blanqui, 01/25/2016
        
        Re: [Coq-Club] Coq 8.5 is out!, Guillaume Melquiond, 01/25/2016
        
        Re: [Coq-Club] Coq 8.5 is out!, Frédéric Blanqui, 01/25/2016
        
        Re: [Coq-Club] Coq 8.5 is out!, Enrico Tassi, 01/25/2016
        Re: [Coq-Club] Coq 8.5 is out!, Frédéric Blanqui, 01/25/2016
        Re: [Coq-Club] Coq 8.5 is out!, Enrico Tassi, 01/25/2016
        
        Re: [Coq-Club] Coq 8.5 is out!, Frédéric Blanqui, 01/25/2016