Skip to Content.
Sympa Menu

coq-club - [Coq-Club] installing coq

coq-club AT inria.fr

Subject: The Coq mailing list

List archive

[Coq-Club] installing coq


Chronological Thread 
  • From: Jeremy Dawson <Jeremy.Dawson AT anu.edu.au>
  • To: coq-club AT inria.fr
  • Subject: [Coq-Club] installing coq
  • Date: Tue, 11 May 2021 17:21:08 +1000
  • Arc-authentication-results: i=1; mx.microsoft.com 1; spf=pass smtp.mailfrom=anu.edu.au; dmarc=pass action=none header.from=anu.edu.au; dkim=pass header.d=anu.edu.au; 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=P+fGBdN2lvs+TTFdIDFM2wUWFHtf1LDXCK+eUCehumA=; b=K5lh7+Mla1JTdhmD3dJThcB+WhpaM9kAdV5SJ9+DnFWb8T1YOzQf81Z4+bjosrV+NV6CKWFY1x9tZTz6JdJMfcOgEgVFMSh3+6xOvI9gio6hEOUtRAD9n+TL3IyBdFRD2aFF0x53w2hOSmLb35oGvAcXFNCA/WxtlygmWZGdEsfz/QuLN9DucGNzo1BRP9W9edgW5f9KJxpePhi7My0TduHmK/pJgMRAVkP3KQDESYei+fTk18lM5GEEqj5dwh5ejTLkOIFxjv+1/46I6PxiLr233SYMiQvPUxAXx163n7TNnqDBCFv5D/KT/y5vOBwatJ2WHIzo47AuaOGGqXUi9Q==
  • Arc-seal: i=1; a=rsa-sha256; s=arcselector9901; d=microsoft.com; cv=none; b=L95sztnphjPU88z6RiExmr3ElIo2/qTQ/2kMXpZOr6rq/dGpArm1zys9tHzn+iONKp4hlDjn96FXs5FCumNsuvbJ1mlTwATiDNXcZuv00roL8kbZc/czjZk9jD9z0sI+UDgWGhPmNJ1tgzUNlqao1mc3sVDD2WqEUQlRv+l7tWtDeDiy+f0pngQYfpr/0YAxrAjS1ClEMqNzmqO34t9Vi2G7S0xsiEqvQbv9A0K1pxJVZrNuadZeMAnZF9oxkn+gUMCYy18g2H8ipQZsKPD0fKsuTm1SBarn+0piT2g+Bu8FBnDV0odXI3vhM5nG2kj2ywhAlh4zCPWBJR0xF1XVgA==
  • Authentication-results: mail3-smtp-sop.national.inria.fr; spf=None smtp.pra=Jeremy.Dawson AT anu.edu.au; spf=Pass smtp.mailfrom=Jeremy.Dawson AT anu.edu.au; spf=Pass smtp.helo=postmaster AT AUS01-SY4-obe.outbound.protection.outlook.com
  • Ironport-hdrordr: A9a23:KS75na5Xfc251Ex9XAPXwcSBI+orL9Y04lQ7vn2ZFiY5TiXIraqTdaogviMc6Ax/ZJhSo6H5BEDmewKkyXcV2/h2AV7GZmXbUQSTXeVfBOfZsl7d8k7Fh5JgPMVbAs1D4bTLZDAV7LeF3ODRKadc/DDtytHLuQ6x9RdQpE1RGsZdB1ATMHfgLqQ6fngPOXJXf6DsrfZvln6FQzA6f867Dn4KU6zovNvQjq/rZhYAGloO9BSOpSnA0s+0LzGomjMlFx9fy7Yr9mbI1ybj4L+4jv29whjAk0fO8pVtnsf7wNcrPr3BtiEsEESstu+UXvUgZ1Xb1wpF491HqWxa3eUkmi1QcfiasBjqDyOISXKH4Xie7N4sg0WSvmNwz0GT5PARfwhKe/aps7gpBicx23BQze2U75g7rF5xl6Aney8ozx6NruQhaXlR5ziJSC0Z4JUuZjpkIMEjQa4Up5ce9kVOea1waR7H1A==
  • Ironport-phdr: A9a23:7iyZ3xe3u1aT/jpxUpEnuinElGM+0dnLVj580XLHo4xHfqnrxZn+JkuXvawr0AaYG9+Hu7kd1rWempujcFRI2YyGvnEGfc4EfD4+ouJSoTYdBtWYA1bwNv/gYn9yNs1DUFh44yPzahANS47xaFLIv3K98yMZFAnhOgppPOT1HZPZg9iq2+yo9JDffgFFiCCjbb59Lxi6ohjdu8kUjIB/Nqs/1xzFr2dSde9L321oP1WTnxj95se04pFu9jlbtuwi+cBdT6j0Zrw0QrNEAjsoNWA1/9DrugLYTQST/HscU34ZnQRODgPY8Rz1RJbxsi/9tupgxCmXOND9QL4oVTi+6apgVRnlgzoFOTEk6mHaktJ+gqJGrhyiqRJwzZLbbo6UNPVxZa7dYdAXSHBdUspNWSFMAIWxZJYPAeobOuZYqpHwqV8QohukGwasAePuwSJGiHDs06w6yOMhEQfb1wEnG9wBrm7Uo8vwNKYSS+y7wrPHzDvYb/NR3zfw85LHchY8of2WQ71/bNfRxVM1GAPYl1idr5HuMDyJ2OoXqWeb8/ZgWvy1i24hswx8vySiy8MxhofJhY8Z1F/J+Cd7zYopKtC1VFB2bMK6HZZUqSyXNoR7T8ciTWx0uis3yr0LtIO6cSQW1ZgqxhHSZvqaeIaG5RLjUfyeITZ+hH99ebK/gQyy8Um6xeHmWMm0ylBHpTdGnNnUrn0A2ADf5tKaRvdh/EqtwyuD2xzR5+1ePEw4iKXWJ4Y8zrMwipYfq1rPEjP4lUnskqOaa0sp9vKm5unlZLjtu4WSOJVuig7kN6Qjgsy/Dvo8MggJR2WW5eqz2qD/8UHkWblEk/85n6bAvJDdPssUuLS1AwhI0oY/8Bm/CCqm0NIFknUdNFJFYhWHj5T3NF7SPPD4DPC/g1K2nDds2vDGIrnhApLKLnjAirvuYbF960tExAoyy9BQ+Y5UB6kOLf7vQEP9qcDUAx0jPwCp3+rqCs9x2p4DVW+AGqOZNbndsV6M5uIhOemMY4oVtS75Jfc7/f7hk3o5mF8Hcaenx5QWZmu4HvNgI0iCe3XshMoBHX0UsQUjUezmkkeNUSNLa3aoQ608/i07CJ6hDYrbWo+th6WB0D6nEZ1Se2BJEUuBEWzodoWBQ/cDcjieIs5nkjweVLiuUZUt1R+0tFyy970yJe3NvyYcqJjL1d5v5uSVmwth2yZzCpG/3nuASnA8smoXXDgwlPRdrFZwz0bF/aFnmPtePdVV+rVEXhp8PIOKnL8yMMz7Rg+UJoTBc12hWNjzWVnZofo4xcJIbkpgXdy/3EmrN8uCKoIuz+XOP61ot6XW0j72Otp3zGvA2O85lV46T8BTNGqgwKli6wzUAI2PmEKcxf/CnUE01SjQsmqP0CyHoRMAODM=

Hi,

using the instructions at https://coq.inria.fr/opam-using.html,

trying to install Coq, I get the following:

jeremy@cecs-040571:~$ opam pin add coq 8.11.2
coq is now pinned to version 8.11.2

Sorry, no solution found: there seems to be a problem with your request.

[NOTE] Pinning command successful, but your installed packages may be out of
       sync.

(and it would appear nothing has been installed).

What does this mean and how do I get any useful information about what has gone wrong and what to do about it?

thanks

Jeremy





Archive powered by MHonArc 2.6.19+.

Top of Page