Rename coq:shell to coq-shell for Windows

Windows doesn't support : in file or directory names. See ocaml/opam#2320 (comment)
dra27 · Nov 7, 2015 · a94d80b · a94d80b
1 parent 26d5406
commit a94d80b
Show file tree

Hide file tree

Showing 3 changed files with 2 additions and 0 deletions.
diff --git a/packages/coq:shell/coq:shell.1/descr → packages/coq-shell/coq-shell.1/descr b/packages/coq:shell/coq:shell.1/descr → packages/coq-shell/coq-shell.1/descr
diff --git a/packages/coq:shell/coq:shell.1/opam → packages/coq-shell/coq-shell.1/opam b/packages/coq:shell/coq:shell.1/opam → 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: "[email protected]"
 authors: "Coq team <[email protected]>"
 bug-reports: "https://coq.inria.fr/bugs/"

diff --git a/packages/coq:shell/coq:shell.1/url → packages/coq-shell/coq-shell.1/url b/packages/coq:shell/coq:shell.1/url → packages/coq-shell/coq-shell.1/url