diff --git a/chsrc.h b/chsrc.h index 5a34b84..e818b2b 100644 --- a/chsrc.h +++ b/chsrc.h @@ -3,7 +3,7 @@ * License : GPLv3 * Authors : Aoran Zeng * Created on : <2023-08-29> - * Last modified : <2023-09-11> + * Last modified : <2023-09-15> * * chsrc: * @@ -299,6 +299,14 @@ pl_haskell_sources[] = { }, +/** + * 2023-09-15 更新 + */ +pl_ocaml_sources[] = { + {&Sjtug_Zhiyuan, "https://mirrors.sjtug.sjtu.edu.cn/git/opam-repository.git"} +} + + /**