Clojure China

请教在 idea+cursive 下导入项目的问题

clojure
#1


其下载 lein 的地址是外网,翻墙才能下。
但是我本地已经有 jar 包了,就是不知道它想往哪儿下。
请问怎么解决这个问题?