coq-club AT inria.fr

Subject: The Coq mailing list

List archive

[Coq-Club] Coq 8.7.1 is out

From: Théo Zimmermann <theo.zimmi AT gmail.com>
To: coq-club AT inria.fr
Subject: [Coq-Club] Coq 8.7.1 is out
Date: Sat, 16 Dec 2017 01:35:37 +0100
Authentication-results: mail3-smtp-sop.national.inria.fr; spf=None smtp.pra=theo.zimmi AT gmail.com; spf=Pass smtp.mailfrom=theo.zimmi AT gmail.com; spf=None smtp.helo=postmaster AT mail-wr0-f177.google.com
Ironport-phdr: 9a23:PQT5BhHNtOsWCf+S3rSpqp1GYnF86YWxBRYc798ds5kLTJ78rsywAkXT6L1XgUPTWs2DsrQY07OQ6/iocFdDyK7JiGoFfp1IWk1NouQttCtkPvS4D1bmJuXhdS0wEZcKflZk+3amLRodQ56mNBXdrXKo8DEdBAj0OxZrKeTpAI7SiNm82/yv95HJbAhEmCexbaluIBmqsA7cqtQYjYx+J6gr1xDHuGFIe+NYxWNpIVKcgRPx7dqu8ZBg7ipdpesv+9ZPXqvmcas4S6dYDCk9PGAu+MLrrxjDQhCR6XYaT24bjwBHAwnB7BH9Q5fxri73vfdz1SWGIcH7S60/VDK/5KlpVRDokj8KOSA5/m/KicJ+gqxUrx29qBFkzI7YfJuYOv1icq7Tf94XQ3dKUMZLVyxGB4Oxd5UBD+obOuZft4bypFoOrR67BQayHuPvzyVHhnnw3aYn1OkhDQHG0xInH94UsXXUrdD1NKITUe2uw6nIyC/Mb/JS2Tvn9IfIdRUhrOiKULltf8TRzkwvGBnEjlWWsYHlPjWV1v4Ms2eB9eZgW/ivh3YoqwFwvjivxtoshZLTio0JzVDE8CN0y5s2K92gUEN3f8KoHZ9KuyyZN4Z6WN4uT39rtSog17ELu5y2cDAJxZkn3RLSaviKf5KW7h7/VeudOyp0iG97dL+5mh2861KvyvfmWcmxyFtKrjRKkt3Ltn0V0hzc8MmHSv9k8kavwzaDyxnf6u9ZLU02l6fXMZEhwrk3lpoctUTMADX6l1nxjK+Tbkkk++6o5Pr7Yrj+uJOQK4t5hhv9P6kugMCzHPo0PwsUU2SG++mx1qXv/UjjT7VLiv02nLPZsJffJckDuq65AxFa0oE55xe+Djem1dEYnXgcIVJKfRKIlYnpO1XULP/kCve/hkygkC13yPDeIr3hHpLNI2Dfn7fmZLZx8lJTyA4uzd9E/J9UEbEAIPfrWkDrrtDYDxk5Mxa1w+n9Etl92JkeCiqzBfqSN7qXuluV7MouJfONbckbomXTMf8gssLuDHgOq14YeKSz2JIRbjjsAvRrJAOLYH/pg/8OFG4Lukw1S+m82w7KaiJae3vnB/F03To8Eo/zVYo=

Dear Coq clubbers,

The Coq development team is pleased to announce the release of Coq 8.7.1:

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

Source, Windows and Mac OS packages are available at:

https://github.com/coq/coq/releases/tag/V8.7.1

Version 8.7.1 brings compatibility with OCaml 4.06.0, many bug fixes,
documentation improvements, and user message improvements (for details
see the 8.7.1 milestone at
https://github.com/coq/coq/milestone/10?closed=1).

The Coq Development Team

Attachment: signature.asc
Description: OpenPGP digital signature

[Coq-Club] Coq 8.7.1 is out, Théo Zimmermann, 12/16/2017
- Re: [Coq-Club] Coq 8.7.1 is out, Perry E. Metzger, 12/17/2017
  - Re: [Coq-Club] Coq 8.7.1 is out, Ralf Jung, 12/17/2017
    - Re: [Coq-Club] Coq 8.7.1 is out, Théo Zimmermann, 12/17/2017