From a94d80b128ba14de1f55e9bc51189900c40fddac Mon Sep 17 00:00:00 2001 From: David Allsopp Date: Sat, 7 Nov 2015 08:48:10 +0000 Subject: [PATCH] Rename coq:shell to coq-shell for Windows Windows doesn't support : in file or directory names. See https://github.com/ocaml/opam/issues/2320#issuecomment-154657852 --- packages/{coq:shell/coq:shell.1 => coq-shell/coq-shell.1}/descr | 0 packages/{coq:shell/coq:shell.1 => coq-shell/coq-shell.1}/opam | 2 ++ packages/{coq:shell/coq:shell.1 => coq-shell/coq-shell.1}/url | 0 3 files changed, 2 insertions(+) rename packages/{coq:shell/coq:shell.1 => coq-shell/coq-shell.1}/descr (100%) rename packages/{coq:shell/coq:shell.1 => coq-shell/coq-shell.1}/opam (76%) rename packages/{coq:shell/coq:shell.1 => coq-shell/coq-shell.1}/url (100%) diff --git a/packages/coq:shell/coq:shell.1/descr b/packages/coq-shell/coq-shell.1/descr similarity index 100% rename from packages/coq:shell/coq:shell.1/descr rename to packages/coq-shell/coq-shell.1/descr diff --git a/packages/coq:shell/coq:shell.1/opam b/packages/coq-shell/coq-shell.1/opam similarity index 76% rename from packages/coq:shell/coq:shell.1/opam rename to packages/coq-shell/coq-shell.1/opam index 7424fee5c10..2960dc47574 100644 --- a/packages/coq:shell/coq:shell.1/opam +++ b/packages/coq-shell/coq-shell.1/opam @@ -1,4 +1,6 @@ opam-version: "1.2" +# See https://github.com/ocaml/opam/issues/2320#issuecomment-154657852 +#name: "coq:shell" maintainer: "coqdev@inria.fr" authors: "Coq team " bug-reports: "https://coq.inria.fr/bugs/" diff --git a/packages/coq:shell/coq:shell.1/url b/packages/coq-shell/coq-shell.1/url similarity index 100% rename from packages/coq:shell/coq:shell.1/url rename to packages/coq-shell/coq-shell.1/url