coq-club AT inria.fr

Subject: The Coq mailing list

List archive

Re: [Coq-Club] problem installing flocq using opam

From: Laurent Thery <Laurent.Thery AT inria.fr>
To: coq-club AT inria.fr
Subject: Re: [Coq-Club] problem installing flocq using opam
Date: Fri, 7 Aug 2020 18:04:42 +0200

Hi,

On 8/7/20 5:59 PM, David Naumann wrote:
> Failed to create server: Operation not permitted

Seems a known problem on Mac :

https://github.com/vellvm/vellvm#notes

did the work-around still work?

--
Laurent

[Coq-Club] problem installing flocq using opam, David Naumann, 08/07/2020
- Re: [Coq-Club] problem installing flocq using opam, Laurent Thery, 08/07/2020
  - Re: [Coq-Club] problem installing flocq using opam, David Naumann, 08/11/2020
- Message not available
  - Re: [Coq-Club] problem installing flocq using opam, Michael Soegtrop, 08/07/2020
    - Re: [Coq-Club] problem installing flocq using opam, David Naumann, 08/07/2020
      - Re: [Coq-Club] problem installing flocq using opam, Michael Soegtrop, 08/07/2020
        
        Re: [Coq-Club] problem installing flocq using opam, Michael Soegtrop, 08/07/2020
        
        Re: [Coq-Club] problem installing flocq using opam, Michael Soegtrop, 08/08/2020
        
        Re: [Coq-Club] problem installing flocq using opam, David Naumann, 08/08/2020
        Re: [Coq-Club] problem installing flocq using opam, mukesh tiwari, 08/09/2020
        Re: [Coq-Club] problem installing flocq using opam, Michael Soegtrop, 08/09/2020
        Re: [Coq-Club] problem installing flocq using opam, Michael Soegtrop, 08/09/2020