mirror of
https://github.com/RubyMetric/chsrc
synced 2025-09-08 07:34:42 +08:00
添加了 OCaml 的官方镜像源
Signed-off-by: HeZongLun <hezonglun123456@outlook.com>
This commit is contained in:
parent
95de30d62d
commit
32feeaea1b
@ -15,14 +15,14 @@ pl_ocaml_prelude ()
|
|||||||
|
|
||||||
chef_set_chef (this, NULL);
|
chef_set_chef (this, NULL);
|
||||||
chef_set_cooks (this, 1, "@ccmywish");
|
chef_set_cooks (this, 1, "@ccmywish");
|
||||||
chef_set_sauciers (this, 0);
|
chef_set_sauciers (this, 1, "@hezonglun");
|
||||||
|
|
||||||
chef_allow_local_mode (this, CanNot, NULL, NULL);
|
chef_allow_local_mode (this, CanNot, NULL, NULL);
|
||||||
chef_forbid_english(this);
|
chef_forbid_english(this);
|
||||||
chef_allow_user_define(this);
|
chef_allow_user_define(this);
|
||||||
|
|
||||||
def_sources_begin()
|
def_sources_begin()
|
||||||
{&UpstreamProvider, NULL, DelegateToUpstream},
|
{&UpstreamProvider, "https://opam.ocaml.org/", DelegateToUpstream},
|
||||||
{&Sjtug_Zhiyuan, "https://mirrors.sjtug.sjtu.edu.cn/git/opam-repository.git", DelegateToMirror}
|
{&Sjtug_Zhiyuan, "https://mirrors.sjtug.sjtu.edu.cn/git/opam-repository.git", DelegateToMirror}
|
||||||
def_sources_end()
|
def_sources_end()
|
||||||
}
|
}
|
||||||
|
Loading…
x
Reference in New Issue
Block a user