coq-club AT inria.fr

Subject: The Coq mailing list

List archive

[Coq-Club] Coq 8.5pl2

From: Maxime Dénès <mail AT maximedenes.fr>
To: coq-club AT inria.fr
Subject: [Coq-Club] Coq 8.5pl2
Date: Mon, 11 Jul 2016 22:26:44 +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 5.mo2.mail-out.ovh.net
Ironport-phdr: 9a23:3HyJRR0Z1FQrBdbqsmDT+DRfVm0co7zxezQtwd8ZsegSKfad9pjvdHbS+e9qxAeQG96Ks7Qf1qGG4+jJYi8p2d65qncMcZhBBVcuqP49uEgeOvODElDxN/XwbiY3T4xoXV5h+GynYwAOQJ6tL2PbrnD61zMOABK3bVMzfbWtXNWPxJTnn8mJuLTrKz1SgzS8Zb4gZD6Xli728vcsvI15N6wqwQHIqHYbM85fxGdvOE7B102kvpT4yrc4rH8V465pt5MYEPayQ6NtRrtBST8iLmod5cvxtBCFQxHcyGEbVzAzmwpJBgWNwJD83oy55i7zt+5V3SCKPMj7Qb0yVC/k4b09G0ygszsOKzNsqDKfscd3lq8O/Uqs

Dear Coq-Clubers,

The Coq development team is pleased to announce that Coq 8.5pl2 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.5pl2/CHANGES for more details.

Thanks to all bug reporters and contributors!

The Coq Development Team

[Coq-Club] Coq 8.5pl2, Maxime Dénès, 07/11/2016