coq-club AT inria.fr

Subject: The Coq mailing list

List archive

Re: [Coq-Club] Installation failed for coq-flocq package

From: mukesh tiwari <mukeshtiwari.iiitm AT gmail.com>
To: coq-club AT inria.fr
Subject: Re: [Coq-Club] Installation failed for coq-flocq package
Date: Sun, 19 May 2019 23:46:18 +1000
Authentication-results: mail3-smtp-sop.national.inria.fr; spf=None smtp.pra=mukeshtiwari.iiitm AT gmail.com; spf=Pass smtp.mailfrom=mukeshtiwari.iiitm AT gmail.com; spf=None smtp.helo=postmaster AT mail-wr1-f43.google.com
Ironport-phdr: 9a23:kNOJ1hU/AMuelDS3NkZnPqGs4UrV8LGtZVwlr6E/grcLSJyIuqrYYxyPt8tkgFKBZ4jH8fUM07OQ7/m5HzVYv93f4DgrS99lb1c9k8IYnggtUoauKHbQC7rUVRE8B9lIT1R//nu2YgB/Ecf6YEDO8DXptWZBUhrwOhBoKevrB4Xck9q41/yo+53Ufg5EmCexbal9IRmrsAndrNQajZdjJ6o+yxbEoWZDdvhLy29vOV+dhQv36N2q/J5k/SRQuvYh+NBFXK7nYak2TqFWASo/PWwt68LlqRfMTQ2U5nsBSWoWiQZHAxLE7B7hQJj8tDbxu/dn1ymbOc32Sq00WSin4qx2RhLklDsLOjgk+2zRl8d+jr9UoAi5qhNwzY7bYoGbOvR9cK3AY90VWWVPU91NVyxYGI6wc5cDA/YDMOtesoLzp0EOrRy7BQS0AePv1zxIiWHt3a06zu8hDQDG3QI6ENIUsXTfsdL4NKIPUeC20qbI1jXDb+9X2Tbz8ofIaBEhreuNXbJxcMrR1UwvGhjKjlWVs4PlPjeV2v4RvGic6uptTOSigHMppQF2pzig3MYsio/Ri4Iay1DE6SV5wJsuKtGiVEF7ZtukHZ1NvC+ZL4t7Wt0uT31stSogybALuYS3cDYUxJg63RLSZPKKfo6V6Rz5TumROy13hHd9dbK/mRmy9U+gx/X5Vsau0VZKqjNJk9fWtnwQzhDT5MeKR/Vn8keu3jaP0A/T6uVaLkwuiaXbLJshzqYxlpoVr0vDAjf7lFvqgKKSbEkp+eil5/75brn4u5OQLYB5hw/mPqQrgMO/AOA4MgYUX2ic/OSxzLjj/VD6QLpUlf02krXZsJHUJMsBvK65AhVZ0oci6xa+Ezem1c8VnXYCLF1feRKHi5LlNE3JIPD9Ffu/mUijkC93x/DaOb3sGonCLn/akLv4Ybl971NcxxEowNBE55NUD6kBL+jpVk/wstzYFB45PBauz+bpEtUunr8ZDGmIG+qSNL7YmV6O/OMmZeeWN6EPvzOoLuUm6uXuxWM4hlYHfOH92IYUZWu4AvV5Kl+YJ3vtg8sEOWgPtws6CuftjQvRAnZoe3+uUvdktXkAA4W8ANKbH9H/sPm6xC6+W6ZuSCVDA1GIH23vctzdCfgJYSOWZMRml25dDOXze8oazRir8TTC5f9nI+7ToHBKsJvi0J1q/bSWm01pszNzCMuZ3ieGSGQmxjpUFQ9z57h2pAlG8nnGybJx2qUKGtla5vcPWQA/Z8bR

Thank you very much Guillaume.

On Sun, May 19, 2019 at 10:53 PM Guillaume Claret
<guillaume AT claret.me>
wrote:
>
> Hi,
>
> There is this issue related to Flocq on macOS:
> https://github.com/ocaml/opam-repository/issues/12973
> It points to the the notes https://github.com/vellvm/vellvm#notes to
> disable opam sandboxing and prevent your error `Failed to create server:
> Operation not permitted`. Hope it helps.
>
> Guillaume
>
> Le 19/05/2019 à 10:27, mukesh tiwari a écrit :
> > Hi everyone,
> > I am trying to install coq-flocq package, but getting error operation
> > not permitted. I tried sudo opam install coq-flocq, but it did not
> > work [1].
> >
> > keep-learnings-MacBook-Pro:Floatval keep_learning$ coqtop
> > Welcome to Coq 8.9.0 (March 2019)
> >
> > keep-learnings-MacBook-Pro:Floatval keep_learning$ ocaml
> > OCaml version 4.07.0
> >
> > keep-learnings-MacBook-Pro:Floatval keep_learning$ opam --version
> > 2.0.3
> >
> > Best,
> > Mukesh
> >
> > [1]https://gist.github.com/mukeshtiwari/305836a97118df55f44f0b7bc17c612c
> >

[Coq-Club] Installation failed for coq-flocq package, mukesh tiwari, 05/19/2019
- Re: [Coq-Club] Installation failed for coq-flocq package, Guillaume Claret, 05/19/2019
  - Re: [Coq-Club] Installation failed for coq-flocq package, mukesh tiwari, 05/19/2019
- [Coq-Club] First Call for Student Volunteers at ICFP'19 in Berlin, Germany, Sandra Dylus, 05/19/2019