coq-club AT inria.fr

Subject: The Coq mailing list

List archive

[Coq-Club] Coq 8.7.2 is out

From: Théo Zimmermann <theo.zimmi AT gmail.com>
To: coq-club AT inria.fr
Subject: [Coq-Club] Coq 8.7.2 is out
Date: Sat, 17 Feb 2018 09:35:49 +0100
Authentication-results: mail2-smtp-roc.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-wm0-f42.google.com
Ironport-phdr: 9a23:wtXoOROf/FQoqoRrZvUl6mtUPXoX/o7sNwtQ0KIMzox0LfT7rarrMEGX3/hxlliBBdydt6ofzbKO+4nbGkU4qa6bt34DdJEeHzQksu4x2zIaPcieFEfgJ+TrZSFpVO5LVVti4m3peRMNQJW2aFLduGC94iAPERvjKwV1Ov71GonPhMiryuy+4ZLebxlGiTanfb9+MAi9oBnMuMURnYZsMLs6xAHTontPdeRWxGdoKkyWkh3h+Mq+/4Nt/jpJtf45+MFOTav1f6IjTbxFFzsmKHw65NfqtRbYUwSC4GYXX3gMnRpJBwjF6wz6Xov0vyDnuOdxxDWWMMvrRr0yRD+s7bpkSAXwhSkHKTA37WLZhMJ+g61UvB2svBN/z5LObY+SKPZzcKHQcNUHTmRBRMZRUClBD5uiYYsPFe0BOv5XoIr8p1sLqBuxGxOsBOb1xT9OgH/9wKo30/ghEQ7Y2wwsBdMPsHXRrNXwNacfSu+1zKzSwjXCa/Nawyvy6I/Nch04p/yHQLx+cc3UyUY1FgPFiE2dqY3jPzOP1+QCqXKX7+R6Ve63hG4nqh1xojiyxsg3kIXGmoUVylXC+C5kw4g1PcW1RUx0bNK+DZdcqSGXO5F1T888WW1ltzg2xqUFtJO7ZiQHyZAqywTBZ/CbcoWE+A/vWPiRLDp+mXlrYqiwhwyo/kil0uD8Vte70FJNriddl9nDrHEN1xjK5smJT/tx4l6t2TiA2gzN8O1ELkc0la3UK54l3LE8jIYcsUPGHiPumUX2irGZdlk89+Wq5OnreKjqqoGcOoNuiQzyLL4il8OhDeggNwgBRWmb+eCy1L35+k35Ra1HjuE2kqbHt5DWP8Uapq+8Aw9Q04Yu8Bm/DzK839QZmXkLNk5KeBWCj4TxIVHBPOj4Deujg1SriDpk2/fGPqT4DprRKnjDjazucK1m609czQoz1cpQ64hVCrEHOvLzW1X+uMbWDh8jYESIxLPsD8w43YcDU0qOBLWYOeXcqwym/OUqdtWM5Ygiijf4LvU/4vfoizdthV8Qeu+73J4SaVi3G/1nJwOSZn+60YRJKnsDogdrFL+is1aFSzMGPy/jDZJ53SkyDcedNamGQ4mshLKb2yLiR89ZY2lHDhaHFnK6LtzYCcdJUzqbJ4paqhJBTaKoEtZz2hSntQu8wL1ifLKNp38o8Kn73d0w3NX90BE/8TsuUpaY2mCJCn5xxiYGG2Vw06d4rkhwjFyE1Pogjg==

Dear Coq clubbers,

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

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

Version 8.7.2 fixes a critical bug in the VM handling of universes. This
bug affected all releases since 8.5. Other changes include improved
support for building with OCaml 4.06.0 and external num package, many
other bug fixes, documentation improvements, and user message
improvements (for details see the 8.7.2 milestone at
https://github.com/coq/coq/milestone/11?closed=1).

Source, Windows and Mac OS packages are available at:

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

OPAM and Nix packages have also already been updated (the update to the
Nix package is in nixpkgs master and should soon find its way into
nixpkgs-unstable).

The Coq Development Team

Attachment: signature.asc
Description: OpenPGP digital signature

[Coq-Club] Coq 8.7.2 is out, Théo Zimmermann, 02/17/2018
- Re: [Coq-Club] Coq 8.7.2 is out, Perry E. Metzger, 02/18/2018
  - Re: [Coq-Club] Coq 8.7.2 is out, Benoît Viguier, 02/20/2018
    - Re: [Coq-Club] Coq 8.7.2 is out, Maxime Dénès, 02/20/2018