coq-club AT inria.fr

Subject: The Coq mailing list

List archive

Re: [Coq-Club] Opam & Coq 8.5 beta 2

From: Jacques-Henri Jourdan <jacques-henri.jourdan AT inria.fr>
To: coq-club AT inria.fr
Subject: Re: [Coq-Club] Opam & Coq 8.5 beta 2
Date: Sun, 1 Nov 2015 21:46:34 +0100

Le 01/11/2015 21:43, Jacques-Henri Jourdan a écrit :
> Hi coq-club,
>
>
> What is the easiest way to forbid opam doing this upgrade ?
Ah, the following works :

opam pin add coq 8.4.6

Attachment: signature.asc
Description: OpenPGP digital signature

[Coq-Club] Opam & Coq 8.5 beta 2, Jacques-Henri Jourdan, 11/01/2015
- Re: [Coq-Club] Opam & Coq 8.5 beta 2, Jacques-Henri Jourdan, 11/01/2015
- Re: [Coq-Club] Opam & Coq 8.5 beta 2, Guillaume Claret, 11/01/2015
  - Re: [Coq-Club] Opam & Coq 8.5 beta 2, Jacques-Henri Jourdan, 11/02/2015
    - Re: [Coq-Club] Opam & Coq 8.5 beta 2, Guillaume Claret, 11/02/2015
      - Re: [Coq-Club] Opam & Coq 8.5 beta 2, Jacques-Henri Jourdan, 11/03/2015
        
        Re: [Coq-Club] Opam & Coq 8.5 beta 2, Guillaume Claret, 11/03/2015
    - Re: [Coq-Club] Opam & Coq 8.5 beta 2, Arthur Azevedo de Amorim, 11/02/2015
      - Re: [Coq-Club] Opam & Coq 8.5 beta 2, Guillaume Claret, 11/02/2015
      - Re: [Coq-Club] Opam & Coq 8.5 beta 2, Julien Narboux, 11/04/2015
        
        Re: [Coq-Club] Opam & Coq 8.5 beta 2, Guillaume Claret, 11/05/2015