coq-club AT inria.fr
Subject: The Coq mailing list
List archive
- 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
- 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!, Maxime Dénès, 01/22/2016
- Re: [Coq-Club] Coq 8.5 is out!, Hugo Herbelin, 01/22/2016
Archive powered by MHonArc 2.6.18.