coq-club AT inria.fr

Subject: The Coq mailing list

List archive

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

From: David Naumann <dnaumann AT stevens.edu>
To: "coq-club AT inria.fr" <coq-club AT inria.fr>
Subject: Re: [Coq-Club] problem installing flocq using opam
Date: Mon, 10 Aug 2020 22:30:02 +0000
Accept-language: en-US
Arc-authentication-results: i=1; mx.microsoft.com 1; spf=pass smtp.mailfrom=stevens.edu; dmarc=pass action=none header.from=stevens.edu; dkim=pass header.d=stevens.edu; arc=none
Arc-message-signature: i=1; a=rsa-sha256; c=relaxed/relaxed; d=microsoft.com; s=arcselector9901; h=From:Date:Subject:Message-ID:Content-Type:MIME-Version:X-MS-Exchange-SenderADCheck; bh=iRClLMiZw5rheRFZw7Qw9jl+rJDPKcQF+iXKfYrwJjQ=; b=i5FFlDklPSwIcrUpPvHEuzcrtyuyunDBMbEgvM1H4oOhBBnEa78+C1HW7FD14RX+oQqedFE39/mVwktPMp4+OvL4U+SaXStgxXLleiBnIhrNkr1Nd5OGfP2+yVvLb8UwBEJib5dQIyji4fgJ5UaDhISioNjZJaCrnAVzNWZgHohay7yj7tDfLusnpvcKXmJjcM83eyLk9qk2bh+mhKr9Zg6LH1SnNUsBN70wE6OpCWPE6PgpHlDwYSw148ghCli4qmkCLHT+jD64CWIS9hCzEX2wg0Fiwl20wB7JdqHMOXI7g6+rSX5rL0jsyKiHcXvCJxtuMe8PMg/yZ1iAZHO40w==
Arc-seal: i=1; a=rsa-sha256; s=arcselector9901; d=microsoft.com; cv=none; b=I6HnPyzYzhqlAcfcy+MHTcym3bbI+w22Czrsr1Vnt3ChEn7zS20bP7I8g3J94145wnMLSnDOPBAdXJ0Qt7paj/WM+enJlU09QBgCzcxNW/gNDC9rObXAB00OQoCLHSaBuT9F/+Iel08Q2Ahm5F4Ezx1lp9Zrs2fl4NhVGwBkqN1oAc6BP1jBf61outWY8SOEHwHuJokXjycG7GcCO4pJ5tmD8avcYjD6KJRvKJn+I2x2ORBXo6lH4PIynKVIf/9T/YXazkfKLquR6gTa8qWHV98yFZqkKJj8TMrDPMIb0JP797+wA3WAcHPoT9a/7YtqRbZZt6USSLcR/+jSdi+mPg==
Authentication-results: mail2-smtp-roc.national.inria.fr; spf=None smtp.pra=dnaumann AT stevens.edu; spf=Pass smtp.mailfrom=dnaumann AT stevens.edu; spf=Pass smtp.helo=postmaster AT NAM10-DM6-obe.outbound.protection.outlook.com
Ironport-phdr: 9a23:sLqFfRdxYtMYPdm5xDcxlzF9lGMj4u6mDksu8pMizoh2WeGdxcW9Zx7h7PlgxGXEQZ/co6odzbaP7eawCCdYsd6oizMrSNR0TRgLiMEbzUQLIfWuLgnFFsPsdDEwB89YVVVorDmROElRH9viNRWJ+iXhpTEdFQ/iOgVrO+/7BpDdj9it1+C15pbffxhEiCCybL9vLRi6twbcu80ZjYd+Kas61wfErGZPd+lK321jOEidnwz75se+/Z5j9zpftvc8/MNeUqv0Yro1Q6VAADspL2466svrtQLeTQSU/XsTTn8WkhtTDAfb6hzxQ4r8vTH7tup53ymaINH2QLUpUjms86tnVBnlgzoBOjUk8m/Yl9Zwgbpbrhy/uhJ/34DaboKbNPV8cKzdfM8VS2VOUctKSyxOGYa8Y5cTA+cbP+tVqZT2qVsUrRu5AAmhHO3hxSVWhn/3wKIxzvwvHhvb3AwlBd0OtnLUp8jyOagPV+C61rTIzTDZYPNQ3zfw85PIcgw/rvGSQ71wd9HRxVMxGAzYk1WdsIroNC6a2eoRqWaU9fZgVf6xhG49rQF8ujehy9ssh4fGiI8Z1k7J+Th5zYs1ONC1VlB2bNGgHZVeqi2XKpV7Tt48T2xpuys3170ItJG5cSUI1Jgq2RHRZvKBfoOV7BzjU+ORLi15hHJjYL+/iBey8VSgyu3hTca4ykpFri1AktTKq3sD1ATT59CIR/dh5EutxCqD2gLJ5uxAL004j6vWJpw5zrItipYfrV7PEyzslEnokaOaaF8o9va25+j5ernquJ6RO5N6hwz7L6gihtewDOU9PwQQQ2SW+uGx2KD98UHnRbhHi/M7nrXfvZvHP8oUvLS5DBVQ0os76xawETOm0NMAkHcfMF9Lfw+Lg5TwN1/AJ/71DO6zg1O3nzh13fzGOaDhAonWIXjEjbfhe6ty51REyAopytBf+4xbBa0dIPLyXU/xssbUDhgkMwyox+bnD9J91oAEVW2TBa+ZNbvesV6O5u0xP+mBfIAYtCrnJ/Q4+/Ljj2U1lFsTcKWz3JYaami0HvF8LEWYZXrsjM0BEWAPvgcmUePqjkeNUSNWZ3moWaI84Co2CJm6DYjdWICinrqB3DyhEpJIe29GF0iAEW30eIWcR/cMdCWSL9d9nTwDTLitUpMu1RWztADh0LdnNerV+igAtZ35ztR15uvTlQsz9TNuFcid3XuNHClImTZCTDgvmat7vEZVy1GZ0KE+jeYSXYhY4OoMWQMnP7bdyfZ7Apb8QFSSUM2OTQOKS8unDXkXR880ytkIKxJxHdy/ixnF2QKxH7ILmrqQQpE47/SPjDDKO89hxiOeh+EahF48T54XbDH0tutE7wHWQrXxvQCBja/zLvYHwCPT+WGYi2eCoRMACV8iYeD+RXkaI3Dug5H870LGQaWpDO18YBBdxNCPLLAMZ9H03wwfGaXTfe/Gamf0oF+eQBaFwrTQM9jMUkBEhGDxLRZBlAoeu3GbKQI5GyGt5XrECyBjHk7uZEWq9vRirHS8TQk/yATYNkA=

Thanks, Laurent, the workaround you pointed out did work. I was able to
install coq-flocq and also coq-coquelicot for which I had the same problem.

On 8/7/20, 12:04 PM, "coq-club-request AT inria.fr on behalf of Laurent Thery"
<coq-club-request AT inria.fr on behalf of Laurent.Thery AT inria.fr> wrote:

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
        Re: [Coq-Club] problem installing flocq using opam, Guillaume Melquiond, 08/09/2020