Skip to Content.
Sympa Menu

coq-club - [Coq-Club] Coq 8.6.1

coq-club AT inria.fr

Subject: The Coq mailing list

List archive

[Coq-Club] Coq 8.6.1


Chronological Thread 
  • From: Maxime Dénès <mail AT maximedenes.fr>
  • To: coq-club AT inria.fr
  • Subject: [Coq-Club] Coq 8.6.1
  • Date: Tue, 25 Jul 2017 22:38:45 +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 5.mo68.mail-out.ovh.net
  • Ironport-phdr: 9a23:1mBwah3LyBAnUnqAsmDT+DRfVm0co7zxezQtwd8Zse0RI/ad9pjvdHbS+e9qxAeQG96Ku7Qc06L/iOPJYSQ4+5GPsXQPItRndiQuroEopTEmG9OPEkbhLfTnPGQQFcVGU0J5rTngaRAGUMnxaEfPrXKs8DUcBgvwNRZvJuTyB4Xek9m72/q89pDXYAhEniaxba9vJxiqsAvdsdUbj5F/Iagr0BvJpXVIe+VSxWx2IF+Yggjx6MSt8pN96ipco/0u+dJOXqX8ZKQ4UKdXDC86PGAv5c3krgfMQA2S7XYBSGoWkx5IAw/Y7BHmW5r6ryX3uvZh1CScIMb5Sqw5VDqg4qplURPklCgKPCM9/GzXlsB8iaRWqw+jqRNi2Y7ZeIGbOudgcK3ec90VS2VOUdpeWSFaHoOxbZECA/YdMetWrYTwoUYFoxukBQmrAePi0jhGiWX53K071uQuDxzN0gI6GNIIqXPUt8j+OaAXUe+vzanIyS7Ob/ZM1jby6YjIdw4uruySUrJ2b8XR0lMjFw3fjliJr4HuIj2b1uMIs2eB7upgU/qii28hqwFrozig3N0giofTho8T11vK9j15zZ46KNC5UkJ3fMKoHZtKuyybKYd6WN4uTmNstSoizrAKpIS3cDULxZg73RLTdviKfomS7h7+VeucIDF1j29/dr2lnRa9602gx/X8Vsaq1FZKqTJIn9nWunAI0Bze68uKRuF4/ki72DaP0xnf6uZZIUAoj6bbLIAhwr4qmpoVr0vDAjf6mETwjKCIakUp4uel5uX9brn7upORN5V4hwDgPqg0h8CyA+A1PhALX2eB+OS80LPj/Vf+QLVPlvA2l7PWsJHeJckAo662GQBU0ocm6xmhEjipztIYkmccLF5fdhKHlZDlO0vSL/DgEfe/n1OsnS93yPDBJ73tG4nCLnzekLj6Zrt98E5dyA8rzd9F/Z5UC7cBIOjyWkDrrtDYAAU5YESIxLPsD8w43YcDU0qOBLWYOeXcqwym/OUqdsyFdI4QtX7Rqv6l/La6iHY4nXcYdLmo2JYbZXa1BbJoORPKMjLXnt4dHDJS7UIFR+vwhQjfCTM=

Dear Coq Clubbers,

The Coq development team is pleased to announce that Coq 8.6.1 is
available at:

http://coq.inria.fr/download

You may need to refresh the page if your browser has a previous
version in cache.

Source, Windows and OS X packages are available.

This release includes many bug fixes, see
http://coq.inria.fr/distrib/V8.6.1/CHANGES for more details.

Thanks to all bug reporters and contributors!

The Coq Development Team




  • [Coq-Club] Coq 8.6.1, Maxime Dénès, 07/25/2017

Archive powered by MHonArc 2.6.18.

Top of Page