coq-club AT inria.fr

Subject: The Coq mailing list

List archive

[Coq-Club] Coq 8.5pl3

From: Maxime Dénès <mail AT maximedenes.fr>
To: coq-club AT inria.fr
Subject: [Coq-Club] Coq 8.5pl3
Date: Thu, 27 Oct 2016 15:41:47 +0200
Authentication-results: mail3-smtp-sop.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 2.mo173.mail-out.ovh.net
Ironport-phdr: 9a23:HJH69B88g4xo/P9uRHKM819IXTAuvvDOBiVQ1KB91+kcTK2v8tzYMVDF4r011RmSDN+dtKsP17SempujcFRI2YyGvnEGfc4EfD4+ouJSoTYdBtWYA1bwNv/gYn9yNs1DUFh44yPzahANS47AblHf6ke/8SQVUk2mc1EkfKKqQ8WO0Yye7KObw9XreQJGhT6wM/tZDS6dikHvjPQQmpZoMa0ryxHE8TNicuVSwn50dxrIx06vrvGZp8E4tnwM87J8r48TGZn9Kq8/VPlTCCksG2Ez/szi8xfZHiWV4X5Jd2wGkx9FSyRE6pHhFsP0uyr+nu90yCifMMH7S70vHzq4ufQ4ACT0gTsKYmZquFrcjdZ92f8DrQ==

Dear Coq Clubbers,

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

http://coq.inria.fr/download

You may need to refresh the page if your browser has a previous
version in cache.

This release includes many bug fixes, see
http://coq.inria.fr/distrib/V8.5pl3/CHANGES for more details.

Thanks to all bug reporters and contributors!

The Coq Development Team

[Coq-Club] Coq 8.5pl3, Maxime Dénès, 10/27/2016
- Re: [Coq-Club] Coq 8.5pl3, zjhsdtc, 10/27/2016
- Re: [Coq-Club] Coq 8.5pl3, Frédéric Blanqui, 10/27/2016
  - Re: [Coq-Club] Coq 8.5pl3, Maxime Dénès, 10/27/2016
    - Re: [Coq-Club] Coq 8.5pl3, Maxime Dénès, 10/27/2016