coq-club AT inria.fr
Subject: The Coq mailing list
List archive
- From: Michael Soegtrop <msoegtrop AT apple.com>
- To: coq-club AT inria.fr
- Subject: Re: [Coq-Club] problem installing flocq using opam
- Date: Sun, 09 Aug 2020 21:32:24 +0200
- Authentication-results: mail3-smtp-sop.national.inria.fr; spf=None smtp.pra=msoegtrop AT apple.com; spf=Pass smtp.mailfrom=msoegtrop AT apple.com; spf=Pass smtp.helo=postmaster AT ma1-aaemail-dr-lapp03.apple.com
- Ironport-phdr: 9a23:46DsfReP/arhis8X7otYQ7/NlGMj4u6mDksu8pMizoh2WeGdxcS+ZB7h7PlgxGXEQZ/co6odzbaP7eawBydZusvJmUtBWaQEbwUCh8QSkl5oK+++Imq/EsTXaTcnFt9JTl5v8iLzG0FUHMHjew+a+SXqvnYdFRrlKAV6OPn+FJLMgMSrzeCy/IDYbxlViDanbr5+MRS7oR/Su8QXjoduN6g8xxvUqXZUZupawn9lK0iOlBjm/Mew+5Bj8yVUu/0/8sNLTLv3caclQ7FGFToqK2866tHluhnFVguP+2ATUn4KnRpSAgjK9w/1U5HsuSbnrOV92S2aPcrrTbAoXDmp8qlmRAP0hCoBKjU09nzchM5tg6JBuB+vpwBwzYHbb4+IOvR+cL3TctEZS2RGRctRSzVBAoagY4sPE+YNI+BVpJT9qVsUqhu+ABGhCuTuyjBUhn/5x7M10+A8Gg/b2wwvAd0OsGjOrNXyLKcZTOe4zKzTzTXEcfxW1iv96JLPchA5uvyDR6pwcdLVyUYxDQ/KklKQqYn8Mj6Ty+8CvHSV4fB6WuKzl24otRtxoj63y8kjiofEh4YYxF/L+Ch5z4g5O8O0RkBmbdO5HpVdtz2WOpdqT80sQGxluCU3x70btJO7YCUH1pQpyRDCZ/Cbd4WF5A/oWuWJITpgmX5oeqiziwuw/ES90OHwSNO43VRUoiZdj9XBtGoB2wLd58WHUPdx4Fmt1DiV2w3X6OxJJ10/m7DBJJ472LEwk4IesUTdES/yn0X7lKqWeV859uSx8evoeKvpppqGOI91jgHyK7khmtamDeQ8KAcOR3Cb9fiy2bH550L5WK1KjvkonaXDrJ/aIsEbqra4Aw9TzIkj9w6yAyqk3dgCgHUKLk9JdAiZg4TzOVzCPuj0DfKljFStlDdryerGPrrkApjVK3jDi7Dhcqhy605A0gozyshf6olOBbEZOPLzXlH+uMbEAR8+Ngy42/znB8ll1oMCRWKPBbeUP7/VsV+R/+4gP+2MZJIOtzvmMPgk5/vujWcjllMHfKmp24EXaHGiEfh8LUWZeymkvtBUGmAT+wE6UebCiVuYUDcVaWzhcbg742QeCYmmBIrHDruqjbOdxiCjVslTfWdLBUyWFm/Afp2cX/pKYyWXdJwy2gcYXKSsHtdynSqlsxX3nuI+c7jkvxYAvJem7+Bbou3ekRZprm5xBp3Y2miASmh1miYEXXoy1bhn+Rc7w0+b1aU+iPtdR4UKu6F5FzwiPJuZ9NRUTsjoU1uYLN6RUFKrBN6hBGNpF4Nj85o1e094Xu6aoFXG1iuuDaUSkuXSVpUs6qbRmXP2IpQkxg==
Hi Guillaume,
Thanks for the additional information!
The mysterious thing is that it does work for me but not for David and we are
both using MacPorts and opam 2.0.7 installed via MacPorts.
@David: have you possibly installed MacPorts into a non standard folder? Can
you please provide the opam sandbox logs Guillaume mentioned?
Best regards,
Michael
- Re: [Coq-Club] problem installing flocq using opam, (continued)
- 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
- Re: [Coq-Club] problem installing flocq using opam, Michael Soegtrop, 08/09/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, David Naumann, 08/07/2020
- Re: [Coq-Club] problem installing flocq using opam, Michael Soegtrop, 08/07/2020
- Message not available
Archive powered by MHonArc 2.6.19+.