Introduce provider

This commit is contained in:
Aoran Zeng
2024-11-22 06:23:23 +08:00
parent f2d8997909
commit b8f847a9ce
60 changed files with 80 additions and 79 deletions

View File

@@ -12,7 +12,7 @@
*/
static SourceInfo
pl_ocaml_sources[] = {
{&Upstream, NULL},
{&UpstreamProvider, NULL},
{&Sjtug_Zhiyuan, "https://mirrors.sjtug.sjtu.edu.cn/git/opam-repository.git"}
};
def_sources_n(pl_ocaml);