mirrorrequest 【镜像请求】OCaml的opam仓库镜像

【镜像请求】OCaml的opam仓库镜像

Open TitenWang opened this issue 4 years ago • 8 comments

请介绍新镜像

上游源（官方镜像）的地址：http://opam.ocaml.org/packages/
该项目的介绍 opam是OCaml的官方包管理工具，opam仓库中包含了众多OCaml开发必备的库。
为什么希望添加该镜像 opam是OCaml的官方包管理工具，opam仓库中包含了众多OCaml开发必备的库。国内配置及下载opam中的包基本都失败。因此希望可以增加该镜像

Mar 28 '20 02:03 TitenWang

@zhsj ，你好，请问下投票的票数需要多少才算达标？

Mar 28 '20 07:03 TitenWang

@zhsj ，你好，请问下投票的票数需要多少才算达标？

目前镜像站的存储空间紧张，新镜像的添加不得不会有一段时间的搁置。近期空间的问题也会有所改善。

Mar 28 '20 07:03 taoky

好的，了解，非常感谢

Mar 28 '20 07:03 TitenWang

可以考虑用 git 同步 + 反代的形式实现，大概只需要 500MB 的空间。FYI https://github.com/sjtug/mirror-requests/issues/108

Oct 14 '20 07:10 skyzh

https://github.com/skyzh/mirror-clone 我写了一个简单的 OPAM 同步工具，目前还在比较早期的开发阶段。大概过一个月就能写好了（

Oct 30 '20 16:10 skyzh

替代解决方案之直接从GitHub同步：

opam repo set-url default https://github.com/ocaml/opam-repository.git

Nov 18 '21 18:11 liyishuai

替代解决方案之直接从GitHub同步：
opam repo set-url default https://github.com/ocaml/opam-repository.git

看起来没有 submodule 的话可能可以直接用加 git 仓库的方法来处理。

Nov 18 '21 18:11 taoky

OCaml源直接同步上游Git库即可，Coq源需提供HTTPS界面，或为released、extra-dev、core-dev各建立单独的Git库，因为repo不在Git的根目录下：https://github.com/coq/opam-coq-archive

Nov 18 '21 19:11 liyishuai