Skip to Content.
Sympa Menu

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

coq-club AT inria.fr

Subject: The Coq mailing list

List archive

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


Chronological Thread 
  • 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




Archive powered by MHonArc 2.6.19+.

Top of Page