coq-club AT inria.fr

Subject: The Coq mailing list

List archive

Re: [Coq-Club] Coq 8.8.2 is out!

From: Emilio Jesús Gallego Arias <e AT x80.org>
To: Christian Doczkal <christian.doczkal AT ens-lyon.fr>
Cc: coq-club AT inria.fr
Subject: Re: [Coq-Club] Coq 8.8.2 is out!
Date: Fri, 05 Oct 2018 12:02:53 +0200
Authentication-results: mail2-smtp-roc.national.inria.fr; spf=None smtp.pra=e AT x80.org; spf=Pass smtp.mailfrom=e AT x80.org; spf=Pass smtp.helo=postmaster AT x80.org
Ironport-phdr: 9a23:tuvQ2hAGJ5hmJcqggGLhUyQJP3N1i/DPJgcQr6AfoPdwSPv+oMbcNUDSrc9gkEXOFd2Cra4c1KyO6+jJYi8p2d65qncMcZhBBVcuqP49uEgeOvODElDxN/XwbiY3T4xoXV5h+GynYwAOQJ6tL1LdrWev4jEMBx7xKRR6JvjvGo7Vks+7y/2+94fcbglUhjexe69+IAmrpgjNq8cahpdvJLwswRXTuHtIfOpWxWJsJV2Nmhv3+9m98p1+/SlOovwt78FPX7n0cKQ+VrxYES8pM3sp683xtBnMVhWA630BWWgLiBVIAgzF7BbnXpfttybxq+Rw1DWGMcDwULs5Qiqp4bt1RxD0iScHLz85/3/Risxsl6JQvRatqwViz4LIfI2ZMfxzdb7fc9wHX2pMRsZfWTJcDIO7YYsBAegOM+VWoIbyu1QDtge+CRW2Ce/z1jNFnH370Ksn2OohCwHG2wkgEsoBvnTRrdX1MKYSUeetw6fM0zrDdOlO2Szl54bJaB8hpfWMUqx/ccrW0UYiCxnFjlSKpoz+IjiY0foCvnOU7udjSe6jkWknqxt+ojW2wMonl4rHhpoNx1zZ9ih0w5w5KcOmREN6e9KoDZlduzyAO4drTM4uXXlktSU7x7EcuJO2fjIGxZA9yxLCdvCKc46F6Q/5WumLOzd3nndldaq/hxms9UigzfXxV8a33VpWtCZFlcPMtn8V2xzS7MiIVOd981+81TuM1A3f8P9ILV41mKbBNpIswKM8moAOvUnNACP6gED2g7WXdkUg9Oio8ePnYrD+q5CCLIJ1hQLzPrg0lsy4G+Q4PRACX3KH9uSkyL3j4Ur5Ta1Wgf0xi6nVqYzVJcAGpqGiGAJVyYYi6xOnDzi8ytgYnH8HLEhEeB2dlYTpNUvOc7jECqKUg06tiytqzvaOErrqEJbEKjCXm7f7fK1h6kdajgY0xsJc7pZ8B7caZfbiXUm3usaOXTEjNAnh7uPmDNR64aETQvCUNYCQNKffvli/z/guKvLEMII9qGalbf8/6Ki93jcChVYBcPzxjtMsY3eiE6Ejeh3BOCu+spI6CW4P+zEGYqnvgVyGXyRUYifgT/JkoDYhB9D/VNuRdsWWmLWEmRyDMNhOfGkXWEDcSTHvbYrWA65ROhLXGddol3k/bZbkS4Il0kD8pF+ijb19IbiN9w==
Organization: X80 Heavy Industries

Christian Doczkal
<christian.doczkal AT ens-lyon.fr>
writes:

> However, unless the OPAM developers/maintainers change their stance
> regarding the repository for 1.2 users, this will require the Coq
> developers to also provide packages for dependencies not to be found in
> the 1.2 repository (I'm thinking of things like camlp5 here). This will
> create a bit of extra effort.

AFAICT the main 1.2 repository should contain dependencies good up to Coq
8.10.

E.

Re: [Coq-Club] Coq 8.8.2 is out!, Perry E. Metzger, 10/01/2018
- Re: [Coq-Club] Coq 8.8.2 is out!, Théo Zimmermann, 10/04/2018
  - Re: [Coq-Club] Coq 8.8.2 is out!, Christian Doczkal, 10/04/2018
    - Re: [Coq-Club] Coq 8.8.2 is out!, Théo Zimmermann, 10/05/2018
      - Re: [Coq-Club] Coq 8.8.2 is out!, Christian Doczkal, 10/05/2018
        
        Re: [Coq-Club] Coq 8.8.2 is out!, Emilio Jesús Gallego Arias, 10/05/2018
        
        Re: [Coq-Club] Coq 8.8.2 is out!, Théo Zimmermann, 10/21/2018
        
        Re: [Coq-Club] Coq 8.8.2 is out!, Christian Doczkal, 10/21/2018
        
        Re: [Coq-Club] Coq 8.8.2 is out!, Vadim Zaliva, 10/24/2018
        Re: [Coq-Club] Coq 8.8.2 is out!, Théo Zimmermann, 10/24/2018
        Re: [Coq-Club] Coq 8.8.2 is out!, Christian Doczkal, 10/29/2018
    - Re: [Coq-Club] Coq 8.8.2 is out!, Emilio Jesús Gallego Arias, 10/05/2018