+[submodule "haskell-mode"]
+ path = lib/haskell-mode
+ url = git@github.com:haskell/haskell-mode.git
+[submodule "helm"]
+ path = lib/helm
+ url = git@github.com:emacs-helm/helm.git
+[submodule "ivy"]
+ path = lib/ivy
+ url = git@github.com:abo-abo/swiper.git
+ info-path = doc
+[submodule "lean-mode"]
+ path = lib/lean-mode
+ url = git@github.com:leanprover/lean-mode.git