之前看到国内一直没有 opam 的镜像,所以这几天做了一个。
首次使用 opam,可以使用 SJTUG 镜像源初始化 。
opam init default https://mirrors.sjtug.sjtu.edu.cn/git/opam-repository.git
使用下面的指令,可以将默认源替换为 SJTUG 镜像。
opam repo set-url default https://mirrors.sjtug.sjtu.edu.cn/git/opam-repository.git --all --set-default
SJTUG 以反代形式提供 opam 镜像,对装包速度有一定的改善作用。
欢迎大家使用(