From bc6dda92c500dc747d261355ee47e9a8027ee427 Mon Sep 17 00:00:00 2001 From: Aoran Zeng Date: Fri, 15 Sep 2023 12:24:16 +0800 Subject: [PATCH] Add ocaml sources --- chsrc.h | 10 +++++++++- 1 file changed, 9 insertions(+), 1 deletion(-) 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"} +} + + /**