coq-club AT inria.fr

Subject: The Coq mailing list

List archive

Re: [Coq-Club] Release of Coq 8.13+beta1

From: Jim Fehrle <jim.fehrle AT gmail.com>
To: coq-club AT inria.fr
Subject: Re: [Coq-Club] Release of Coq 8.13+beta1
Date: Thu, 17 Dec 2020 12:34:46 -0800
Authentication-results: mail2-smtp-roc.national.inria.fr; spf=None smtp.pra=jim.fehrle AT gmail.com; spf=Pass smtp.mailfrom=jim.fehrle AT gmail.com; spf=None smtp.helo=postmaster AT mail-il1-f171.google.com
Ironport-phdr: 9a23:sv4WdhFEq22d7AQejxYU451GYnF86YWxBRYc798ds5kLTJ78rsqwAkXT6L1XgUPTWs2DsrQY0rWQ6vG8EjVasd6oizMrSNR0TRgLiMEbzUQLIfWuLgnFFsPsdDEwB89YVVVorDmROElRH9viNRWJ+iXhpTEdFQ/iOgVrO+/7BpDdj9it1+C15pbffxhEiCCybL9vLhi6txjdu80ZjIdtN6o91BjEqWZUdupLwm9lOUidlAvm6Meq+55j/SVQu/Y/+MNFTK73Yac2Q6FGATo/K2w669HluhfFTQuU+3sTSX4WnQZSAwjE9x71QJH8uTbnu+Vn2SmaOcr2Ta0oWTmn8qxmRgPkhDsBOjUk9mzcl85+g79BoB+5qBN/zYzbboGbOvR9Y63TY88VSHFbUcpNTSFMGJ+wY5cNAucHIO1Wr5P9p1wLrRamAQesBebvwSJIiHDo3a06yeAhHh/b1wEnHdIOsXHUoM/7NKgMUeC11q3IwivYYvNZ3Dfy8onIchQ7rf6QWrJwdNPcxE8yHAzKklues5bqPy+J1usTqWib6fJtWP6shmM5rwx8rTmiy8Muh4XVmI8bxFTJ+TllzYsxOdG1SUB2bN+6HZZOqy2XM497T8EtTm9mpSs0xaALtICncCUM1Z8pxAbfZuSZf4SU5h/vTuWcLDdiiH54eb+yhgy+/VWix+HhUMS/zUxEoTBfktbWs3AAzxzT5daDSvt65kqh3CyA1wHX6u1dIEA0kbfXJ4cvwrItlJcfrF7PHiDxmEXxg6+Wclsr9vK05OTgZ7Xqvp6cN4lqhQHiKqkihNCzDOAiPgUNX2WX4/mw2bzi8EHjXblHjOA6nrHcsJ/AJMQboqC5AxVS0oYm8xu/DTam0NECkXkJMl1FeAiHj4z3NFzVL/D4CO2wg1WokDtx2//GObjhDo3XLnffiLfhYap960lExQUvytBf/otYBa0FIPLuQUD8r8fYDx88Mwys2enrEtR91oUEWWKOGKCVKq3SsUXbrt4oduKLfcoevCv3A/kj/f/ny3EjynEHeqz8/5oSIF61Hu5iLg3NY3vpxNkMEX0OsyIxSeXrjBuJVjsFNCX6ZL41+jxuUNHuNozEXI342OXdjhf+JYVfYyV9Mn7JCW3hLtzWVPIFaSbUKchkwGRdBOqRDrQ53BTrjzfUjr9uL+7a4Cod7Mux29185umVnhY3p2UtUpatllqVRmQxpVsmAj872Kcl/x54w1aHlKl82rlWTIMKofxOVQg+ONjXyOkoU90=

Ah, the train for 8.13 left the station some time ago. New features must be merged into master before the initial creation of the new branch, which was about November 16. There are rare exceptions at the discretion of the release managers. Documentation changes are generally accepted until shortly before the official release, currently scheduled for about January 7.

Jim

[Coq-Club] Release of Coq 8.13+beta1, Enrico Tassi, 12/08/2020
- Re: [Coq-Club] Release of Coq 8.13+beta1, Richard Ford, 12/09/2020
  - Re: [Coq-Club] Release of Coq 8.13+beta1, Roger Witte, 12/09/2020
  - Re: [Coq-Club] Release of Coq 8.13+beta1, Richard Ford, 12/16/2020
    - Re: [Coq-Club] Release of Coq 8.13+beta1, Théo Zimmermann, 12/16/2020
      - Re: [Coq-Club] Release of Coq 8.13+beta1, Richard Ford, 12/17/2020
        
        Re: [Coq-Club] Release of Coq 8.13+beta1, Jim Fehrle, 12/17/2020
    - Re: [Coq-Club] Release of Coq 8.13+beta1, Michael Soegtrop, 12/17/2020