coq-club AT inria.fr

Subject: The Coq mailing list

List archive

Re: [Coq-Club] Coq 8.7.1 is out

From: Théo Zimmermann <theo.zimmi AT gmail.com>
To: coq-club AT inria.fr
Subject: Re: [Coq-Club] Coq 8.7.1 is out
Date: Sun, 17 Dec 2017 15:58:57 +0000
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-ua0-f169.google.com
Ironport-phdr: 9a23:UCZl9BExAi+ICsMA5HA2yp1GYnF86YWxBRYc798ds5kLTJ78ociwAkXT6L1XgUPTWs2DsrQY07OQ6/iocFdDyK7JiGoFfp1IWk1NouQttCtkPvS4D1bmJuXhdS0wEZcKflZk+3amLRodQ56mNBXdrXKo8DEdBAj0OxZrKeTpAI7SiNm82/yv95HJbAhEmCexbaluIBmqsA7cqtQYjYx+J6gr1xDHuGFIe+NYxWNpIVKcgRPx7dqu8ZBg7ipdpesv+9ZPXqvmcas4S6dYDCk9PGAu+MLrrxjDQhCR6XYaT24bjwBHAwnB7BH9Q5fxri73vfdz1SWGIcH7S60/VDK/5KlpVRDokj8KODE38G7VisJ+gqFVrg+/qRNj2IPbep2ZOeBkc6/BYd8XR2xMVdtRWSxbBYO8apMCAfQBPeFCqInyv1gBrRq7BQmpGuzv0DpIiWXw3a08zu8sFh3G3Aw+ENIJqnjVrdT1NKIXUeC016TIwjDDYOlX2Tf58oTHbhchofSVUL92bMHfx04vFwbfgVWRr4zoJzKV1uIXs2ia9eVsT+yvi3Q/pwF+oziv2scsipTSiY4P1l/E8iB5zYAoLtO7UE52ecCoHIdUui2ANIZ7QtkuT391tCs40LEKpJ+2cSwMxZ863RDQceaHfJKN4h/7VOaePzN4hHV9dbK6nRmy8EygxvThVsauzFpGtyRFnsTNu30JzRDT5c+HSvxy/kelxzmDzRzc6uZBIUwslKrbLYAuwqIom5YNrUjOGjX6lUb2gaOMaEko5+ql5/76brjnopKQL4p0hRv/MqQqlMy/G+M4Mg0WUmiH+eSzyrrj8Vf4QbVLi/02l6jZvYvVJcQevKG5AgtV3pw/5Ba4CjeqyM4YkmUfLFJZZBKHiJDkNE3JIPDhFPuwn1CskCpwyP3dJb3gApDNLmDZn7v7fLZ97VRcyAspwtxF6ZJUEOJJHPWmUUjo8dfcExURMgquwu+hBs8u+JkZXDezAi6eB5HTtFqF/OcmJe/EMJMVtTG7Ofkg4v/GgnowmFtbdq6si8hEIEukF+hrdh3KKUHnhc0MRD8H

Many thanks to package maintainers, John, Perry, Ralf, for your responsiveness!

Théo

Le dim. 17 déc. 2017 à 16:19, Ralf Jung <jung AT mpi-sws.org> a écrit :

The Coq+CoqIDE 8.7.1 opam packages have been accepted and should appear
in the repository shortly.

Kind regards,
Ralf

On 17.12.2017 02:40, Perry E. Metzger wrote:
> On Sat, 16 Dec 2017 01:35:37 +0100 Théo Zimmermann
> <theo.zimmi AT gmail.com> wrote:
>> 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
>
> For those on macOS that like building from sources using MacPorts,
> I have updated that to 8.7.1 as well.
>
> Perry
>

[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