coq-club AT inria.fr

Subject: The Coq mailing list

List archive

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

From: mukesh tiwari <mukeshtiwari.iiitm AT gmail.com>
To: coq-club AT inria.fr
Subject: [Coq-Club] Installation failed for coq-flocq package
Date: Sun, 19 May 2019 18:27:25 +1000
Authentication-results: mail2-smtp-roc.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-wm1-f47.google.com
Ironport-phdr: 9a23:BBdLSxNyzuNu3botBnYl6mtUPXoX/o7sNwtQ0KIMzox0LfT5rarrMEGX3/hxlliBBdydt6sdzbOO7eu4ACQp2tWoiDg6aptCVhsI2409vjcLJ4q7M3D9N+PgdCcgHc5PBxdP9nC/NlVJSo6lPwWB6nK94iQPFRrhKAF7Ovr6GpLIj8Swyuu+54Dfbx9HiTagfL9+Ngi6oRnQu8UZnYduN7s6xwfUrHdPZ+lY335jK0iJnxb76Mew/Zpj/DpVtvk86cNOUrj0crohQ7BAAzsoL2465MvwtRneVgSP/WcTUn8XkhVTHQfI6gzxU4rrvSv7sup93zSaPdHzQLspVzmu87tnRRn1gyoBKjU38nzYitZoga1UoByvqR9xzZPKbo6JL/d+Yr/RcMkGSWZdQspcVSpMCZ68YYsVCOoBOP5Vr4zgp1sNsxS+HgmsD/7zyj9JiH75x7c60+U8GgzB2QwgAtEOv2rPrNX1KKcSUO60w7PSzTXCdf9W2Db96InUchAkuvyMUrdwftDQyUkrDQ/KklKQqYn8Mj6Ty+8DvW+b7+96WuKujW4qsw5xojmzxscsl4nGnZgZxUzD9SV8xos+ON62SFZjbNK6DJddszuWOoh2T884Xm1kpiU3xqcJtJO5eiUB1Y4pyATFa/OddoiF+hLjW/iVITd/nH9lfaiwhxe28US5xOz8U9S43E9EridKkNTArH8N1xvU6siITvty4F2t1iqI1wDW8u1EIEY0mrTHK5M53LI8ip4evV7AEyL2gkn6kbGae0Y+9uWn6enrerDmqYWdN49whAH+KKMumsmnDOQ9LwgOXHaU+f+81L3//E34Tq9Fjuc3kqXDsZDaJMUbprK8AwJO3YYj7gywDzai0NgCgXYHK1dFdAqdj4f1I1HOPOz4DfCnjluwlzdr3unKMaHlApXQNXfOi6zhfLZ4605E0gU/19Ff55ROCrEAOv3/QEHxtMaLRiM+Zgez2qPsDMh3/oIYQ2OGRKGDY43Itlrd4/8sLvKMLJMUpz/nKrBx4uPtgGQ5hV4CdLOom5oWaWy9NvtjKkSdJ3Hrh4FSQi8xogMiQbmy2xW5WjlJaiPqBv9u1nQAEIujSLz7aMWtjbiGhnrpG5RXYiVZDwnJHyu3MYqDXPgIZWSZJcozymVVB4jkcJco0FSVjCG/zrNmKuTO/ShB7MDs0dF046vYkhRgrGUoXfTY6HmESiRPpk1NXyU/hfktrkl0y1PF2q990aRV

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