coq-club AT inria.fr

Subject: The Coq mailing list

List archive

[Coq-Club] Coq 8.7+beta2 is out!

From: Maxime Dénès <mail AT maximedenes.fr>
To: coq-club AT inria.fr
Subject: [Coq-Club] Coq 8.7+beta2 is out!
Date: Fri, 6 Oct 2017 22:40:00 +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 8.mo179.mail-out.ovh.net
Ironport-phdr: 9a23:i/zUJBX9+XOYEIaZj/Wh/75QDjfV8LGtZVwlr6E/grcLSJyIuqrYZROAt8tkgFKBZ4jH8fUM07OQ6P+wHzFYqb+681k8M7V0HycfjssXmwFySOWkMmbcaMDQUiohAc5ZX0Vk9XzoeWJcGcL5ekGA6ibqtW1aNwvyLzV1J/j4X8v7x4Tyjrjqus6bXwIdjz2kJLh2MR+erAPLt8BQj5ExBLw2z07sq2tJfuke6eJupUnbyxP158OY+Zdz8iFdt/8n+tUGX7+sLPdwdqBREDlzazN938bsrxSWCFLXvnY=

Dear Coq clubbers,

The Coq development team is pleased to announce the release of the
second beta version of Coq 8.7, available at:

https://coq.inria.fr/coq-87

Source, Windows and OS X packages are available at:

https://github.com/coq/coq/releases/tag/V8.7%2Bbeta2

Since the first beta version, many bug fixes were integrated, including
two important ones:

- BZ#5730: CoqIDE becomes unresponsive on file open.
- coq_makefile: make sure compile flags for Coq and coq_makefile are in sync
(in particular, make sure the `-safe-string` option is used to compile
plugins). Plugin writers are invited to test this version, as some
fixing may be required due to this flag.

Some other changes are described in the CHANGES file.

The Coq Development Team

Attachment: signature.asc
Description: OpenPGP digital signature

[Coq-Club] Coq 8.7+beta2 is out!, Maxime Dénès, 10/06/2017