coq-club AT inria.fr

Subject: The Coq mailing list

List archive

Re: [Coq-Club] Coq 8.7.2 is out

From: "Perry E. Metzger" <perry AT piermont.com>
To: coq-club AT inria.fr
Subject: Re: [Coq-Club] Coq 8.7.2 is out
Date: Sun, 18 Feb 2018 11:31:22 -0500
Authentication-results: mail3-smtp-sop.national.inria.fr; spf=None smtp.pra=perry AT piermont.com; spf=Pass smtp.mailfrom=perry AT piermont.com; spf=None smtp.helo=postmaster AT hacklheber.piermont.com
Ironport-phdr: 9a23:Jjd3uhR8Oz8fZtneJZo0GAx25tpsv+yvbD5Q0YIujvd0So/mwa69ZxeN2/xhgRfzUJnB7Loc0qyK6/umATRIyK3CmUhKSIZLWR4BhJdetC0bK+nBN3fGKuX3ZTcxBsVIWQwt1Xi6NU9IBJS2PAWK8TW94jEIBxrwKxd+KPjrFY7OlcS30P2594HObwlSizexfb1/IA+qoQnNq8IbnZZsJqEtxxXTv3BGYf5WxWRmJVKSmxbz+MK994N9/ipTpvws6ddOXb31cKokQ7NYCi8mM30u683wqRbDVwqP6WACXWgQjxFFHhLK7BD+Xpf2ryv6qu9w0zSUMMHqUbw5Xymp4qF2QxHqlSgHLSY0/m/XhMJukaxVoxCupxJwzIHIb4+YL+Z+frrHcN8GWWZNQsRcWipcCY28dYsPCO8BMP5Wo4fnuVQOtwG+BAmxD+3g0DNDm3j40rMm0+UgHgHJwhYgE9wTu3nTtNX6Kr0SUfq1zaTT1TXDbu1Z2S346IjPdBAhveuAUq53ccrU0EQiER7OgFuXqYzgJTyV1+INvnCU7+phSeKvi3MnpBprrjezwccsj4/EjZ8WxFDc7Sh13Yc4KNyiREN4btOoCplduzuHO4Z5RM4pXntmtzwgyrIcvJ62ZCgKx4ojxx7Yc/GHc5KH7Q7gVOaVITd3mmlqd6ylhxqo6Uigy/PzVtOx0FZNqCpFjsPAuWwK1xzW8sSHS/198Vm92TuXygze6+BJLVo3mKfUMZIswKQ8moccvEjbGy/5gkT2jKuYdkU+/eio7vzqYq34qZ+GLY91ihrzMrwvmsOhG+Q4Nw8OX26H+eimyLLj+kj5TK1QjvIqiqnZrIzaJcMDq6GlBA9Vy58v5Aq7Dze7y9sVhmIHLVJAeBKflYflIVDOIPbiDfe+mVugijlrx+qVdoHmV57KNz3IlKrrVbd78U9VjgQpnv5F4JcBQIkMOujiEmK3/PnVEg02Phb+i7L/Bc9nx6sGWG+VB6ifLOXZtlretbFnGPWFeIJA4GW1EPMi/fO71SZoy29YRrGg2N4sUF79G/1nJ0uDZn+13oUZEGoQuw04UKrhj1jQCGcPNUb3ZLo143QAMKzjFZ3KH9z/mL2MxiK8GIEQbWdDWAjVTCXYMr6cUvJJUxq8Z89sljteCOqhQoQi0RGjvgLgjaJmI/DR/SsE85nk0Yot6g==

On Sat, 17 Feb 2018 09:35:49 +0100 Théo Zimmermann
<theo.zimmi AT gmail.com>
wrote:
> 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).

I've updated the MacPorts Coq package. The update and binary packages
should make their way out in the coming hours.

Perry
--
Perry E. Metzger
perry AT piermont.com

[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