coq-club AT inria.fr

Subject: The Coq mailing list

List archive

[Coq-Club] Coq 8.5pl1

From: Maxime Dénès <mail AT maximedenes.fr>
To: coq-club AT inria.fr
Subject: [Coq-Club] Coq 8.5pl1
Date: Mon, 18 Apr 2016 18:32:56 +0200
Authentication-results: mail2-smtp-roc.national.inria.fr; spf=None smtp.pra=mail AT maximedenes.fr; spf=Pass smtp.mailfrom=mail AT maximedenes.fr; spf=None smtp.helo=postmaster AT 8.mo2.mail-out.ovh.net
Ironport-phdr: 9a23:DCU27ByVRoDAnHHXCy+O+j09IxM/srCxBDY+r6Qd0e8XIJqq85mqBkHD//Il1AaPBtWLrawewLOO6+jJYi8p39WoiDg6aptCVhsI2409vjcLJ4q7M3D9N+PgdCcgHc5PBxdP9nC/NlVJSo6lPwWB6kO74TNaIBjjLw09fr2zQd6CyZrtnLnqo9X6WEZhunmUWftKNhK4rAHc5IE9oLBJDeIP8CbPuWZCYO9MxGlldhq5lhf44dqsrtY4q3wD88QIrJEbFP2mN+RlFf0LRAghZmsy/YjgsQTJZQqJ/HoVFGsMwTRSBA2QyRjqX5L8+gd7sGpmkH2fNMzyZbU9STWn4qtmThLzzikdYW1quFrLg9B92foI6CmqoAZyltOMbQ==

Dear Coq-Clubers,

The Coq development team is pleased to announce that Coq 8.5pl1 is
available at:

http://coq.inria.fr/download

This release includes many bug fixes and various performance improvements.

See http://coq.inria.fr/distrib/V8.5pl1/CHANGES for more details.

Thanks to all bug reporters!

The Coq Development Team

[Coq-Club] Coq 8.5pl1, Maxime Dénès, 04/18/2016