Skip to Content.
Sympa Menu

coq-club - [Coq-Club] Next version of Coq

coq-club AT inria.fr

Subject: The Coq mailing list

List archive

[Coq-Club] Next version of Coq


Chronological Thread 
  • From: Vincent Laporte <vincent.laporte AT gmail.com>
  • To: coq-club AT inria.fr
  • Subject: [Coq-Club] Next version of Coq
  • Date: Thu, 3 Oct 2019 08:26:16 +0000
  • Authentication-results: mail3-smtp-sop.national.inria.fr; spf=None smtp.pra=vincent.laporte AT gmail.com; spf=Pass smtp.mailfrom=vincent.laporte AT gmail.com; spf=None smtp.helo=postmaster AT mail-wr1-f54.google.com
  • Ironport-phdr: 9a23:I/3f+BTsUu5uFantunwLzoaSh9psv+yvbD5Q0YIujvd0So/mwa6zZB2N2/xhgRfzUJnB7Loc0qyK6vumBTxLuc3JmUtBWaQEbwUCh8QSkl5oK+++Imq/EsTXaTcnFt9JTl5v8iLzG0FUHMHjew+a+SXqvnYdFRrlKAV6OPn+FJLMgMSrzeCy/IDYbxlViDanbr5+MRu7oR/eu8QVjoduNqg8wQbVr3VVfOhb2XlmLk+JkRbm4cew8p9j8yBOtP8k6sVNT6b0cbkmQLJBFDgpPHw768PttRnYUAuA/WAcXXkMkhpJGAfK8hf3VYrsvyTgt+p93C6aPdDqTb0xRD+v4btnRAPuhSwaMDE37XzXitdojK1FvB2huxJxw4nRYI6PNfp+eL7WcdcVSGdFW8pcUTFKDIGhYIsVF+cPPfhWoZT+qVUAoxSxChWjCfjgyjNUnHL42rE23uojHAzAwQcuH8gOsHPRrNjtO6gSUOa1w7XWwjXFc/NdxDHz55LQchAmu/GMQax/etfWxEkxFgPFiEmfppLjPzOJzOgNt3KU7/JnVeK1l24otRp8ojeqxsg2i4nJgpgZxUzD9SV82Ys4I8CzRkB8Yd6hCpRQtieaOpN5QsMjX2FouDs6xaYctZ66eygG0Jsnxx/Da/yHboiH+QjvW/qWITd9gn9uZbGxhw6q/ES+1uHxUtO43VVKoyZfjNXAqG0B2wbT58WIUvdx4F2u1SqS2w3W9O5JL0A5mK/FJ54v3rI/ip8evlnBEyPrhEn7ibKaeVkg9+e07unof6vpq52BOIJxhAHyL78hl8K6DOgmLgQDUXSU9OKh37P550L5Wq9Fjvgun6nZrp/aIcMbq7a8AwBP04Yj7w+zDjm80NgFhHUHIlJIdR2dg4jmPFHOJ//4DfOhjFi2jDhrwPXGMqXgApXLMHfDjK/scahh50NY0gY+ztBS64hKBr0fPf7/QE/8udPAAh88KQO0wuLnCNtn1oMZXGKCGrGZMKLUsVCU+O0vJfWMaJURuDnnM/gl4OTujWMnllIGcqmp2IEYaHG8Hvh8P0qZZn/sjs8bEWgWpgo+UPDqiFqaXDFPYHayRrsw6S0/CIK7FojOXZutgbyE3CejBJJafGFGClaWEXfpbYqIQfkMaDjBavNmxzcDTP2qT5Ir/RCorg7zjbR9fcTO/ShNi5Pl39Vz+6X3nAk17yB5R5CD0meGQmdo2GcBXzgswK1Xrkl0y1PF2q991a8LXedP7u9EB19pfaXXyPZ3XoyjA1OTTpKyUF+jB+6eL3Q0R9M1zcUJZh8kSdqnhxHHmSGtBu1MzuHZNNkP6qvZmkPJCYN9xnLBjvRzilAnRo5QLzTjiPMjsQfUAIHNngOSkKP4Lf1Ajh6Iz3+KyC+1hG8dSBR5CPyXUnUWZ0+QptP8tBvP

October 2nd, 2019.

Dear Coq users,

The Coq Working Group gathered in Nantes is happy to announce that the
next major version of Coq, also known as Coq 8.10.0 will be released
next week. This new version includes many changes and improvements that
are detailed in the user manual
(https://coq.github.io/doc/v8.10/refman/changes.html#version-8-10).

Testing versions are available for several platforms from that page:
https://github.com/coq/coq/releases

Enjoy,
--
Vincent Laporte.

Attachment: signature.asc
Description: OpenPGP digital signature



  • [Coq-Club] Next version of Coq, Vincent Laporte, 10/03/2019

Archive powered by MHonArc 2.6.18.

Top of Page