coq-club AT inria.fr

Subject: The Coq mailing list

List archive

[Coq-Club] Breaking change in Coq OPAM

From: Guillaume Claret <guillaume AT claret.me>
To: coq-club AT inria.fr
Subject: [Coq-Club] Breaking change in Coq OPAM
Date: Wed, 25 Nov 2015 23:34:56 +0100
Authentication-results: mail3-smtp-sop.national.inria.fr; spf=None smtp.pra=guillaume AT claret.me; spf=Neutral smtp.mailfrom=guillaume AT claret.me; spf=None smtp.helo=postmaster AT relay6-d.mail.gandi.net
Ironport-phdr: 9a23:BCx5LBC/3tBvQ2fmlWClUyQJP3N1i/DPJgcQr6AfoPdwSP7+pMbcNUDSrc9gkEXOFd2CrakU1qyJ4uu4ACQp2tWojjMrSNR0TRgLiMEbzUQLIfWuLgnFFsPsdDEwB89YVVVorDmROElRH9viNRWJ+iXhpQAbFhi3DwdpPOO9QteU1JTqkb/jsMWKKyxzxxODIppKZC2sqgvQssREyaBDEY0WjiXzn31TZu5NznlpL1/A1zz158O34YIxu38I46FpwecbDv6/J/hwDeEATWduD2dg78ry8BLHUAGn530GU2xQnAAbLRLC6UTVQ5b1tiLns+c18y2TJ8DqBeQ7RDWm6652TRLAgyMOLTMltmTa3J8jxJlHqQ6s8kQsi7XfZ5uYYacmcw==

Hi,

Unfortunately, we had to replace the `:` symbol by the `-` symbol
in all the Coq package names in OPAM. For example:

coq:compcert

is now named:

coq-compcert

This change is due to an incompatibility in the Windows file system
with the `:` character, as kindly reported by the OPAM team. The
reference issue: https://github.com/coq/opam-coq-archive/issues/16

Best,
Guillaume

[Coq-Club] Breaking change in Coq OPAM, Guillaume Claret, 11/25/2015