4 [submodule "alloy-mode"]
6 url = git@github.com:dwwmmn/alloy-mode.git
9 url = git@github.com:jwiegley/emacs-async.git
10 [submodule "auto-compile"]
11 path = lib/auto-compile
12 url = git@github.com:emacscollective/auto-compile.git
15 url = git@github.com:emacscollective/borg.git
18 url = git@github.com:emacscollective/closql.git
21 url = git@github.com:company-mode/company-mode.git
24 url = git@github.com:jyp/dante.git
27 url = git@github.com:magnars/dash.el.git
28 no-makeinfo = dash-template.texi
29 # dash creates a `dir' dash info file, which makes git think
30 # that the submodule is dirty. so, let's ignore the untracked
31 # files of dash's submodule
35 url = git@github.com:dgutov/diff-hl.git
38 url = git@github.com:skeeto/emacsql.git
39 no-byte-compile = emacsql-pg.el
42 url = git@github.com:emacscollective/epkg.git
45 url = git@github.com:cask/epl.git
48 url = git@github.com:emacs-evil/evil.git
49 [submodule "evil-escape"]
50 path = lib/evil-escape
51 url = git@github.com:syl20bnr/evil-escape.git
52 [submodule "exec-path-from-shell"]
53 path = lib/exec-path-from-shell
54 url = git@github.com:purcell/exec-path-from-shell.git
57 url = git@github.com:rejeep/f.el.git
58 [submodule "flycheck"]
60 url = git@github.com:flycheck/flycheck.git
61 [submodule "flycheck-haskell"]
62 path = lib/flycheck-haskell
63 url = git@github.com:flycheck/flycheck-haskell.git
66 url = git@github.com:noctuid/general.el.git
69 url = git@github.com:magit/ghub.git
70 [submodule "git-modes"]
72 url = git@github.com:magit/git-modes.git
73 [submodule "haskell-mode"]
74 path = lib/haskell-mode
75 url = git@github.com:haskell/haskell-mode.git
78 url = git@github.com:emacs-helm/helm.git
79 [submodule "hlint-refactor"]
80 path = lib/hlint-refactor
81 url = git@github.com:mpickering/hlint-refactor-mode.git
84 url = git@github.com:hniksic/emacs-htmlize.git
87 url = git@github.com:abo-abo/hydra.git
90 url = git@github.com:abo-abo/swiper.git
94 url = git@github.com:jyp/lcr.git
95 [submodule "lean-mode"]
97 url = git@github.com:leanprover/lean-mode.git
100 url = git@github.com:magit/magit.git
101 recursive-byte-compile = true
102 info-path = Documentation
103 [submodule "magit-popup"]
104 path = lib/magit-popup
105 url = git@github.com:magit/magit-popup.git
106 [submodule "markdown-mode"]
107 path = lib/markdown-mode
108 url = git@github.com:jrblevin/markdown-mode.git
109 [submodule "no-littering"]
110 path = lib/no-littering
111 url = git@github.com:emacscollective/no-littering.git
112 [submodule "notmuch"]
114 url = https://git.notmuchmail.org/git/notmuch
116 info-path = doc/_build/texinfo
117 build-step = ./configure
119 build-step = make sphinx-texinfo
120 build-step = borg-makeinfo
123 url = git@github.com:emacscollective/packed.git
124 [submodule "pkg-info"]
126 url = git@github.com:lunaryorn/pkg-info.el.git
129 url = git@github.com:auto-complete/popup-el.git
130 [submodule "proof-site"] # Proof General
131 path = lib/proof-site
132 url = git@github.com:ProofGeneral/PG.git
135 url = git@github.com:magnars/s.el.git
136 [submodule "smex"] # used by counsel-M-x
138 url = git@github.com:nonsequitur/smex.git
139 [submodule "undo-tree"]
141 url = git@github.com:emacsorphanage/undo-tree.git
142 [submodule "use-package"]
143 path = lib/use-package
144 url = git@github.com:jwiegley/use-package.git
145 [submodule "which-key"]
147 url = git@github.com:justbur/emacs-which-key.git
148 [submodule "with-editor"]
149 path = lib/with-editor
150 url = git@github.com:magit/with-editor.git
151 [submodule "yaml-mode"]
153 url = git@github.com:yoshiki/yaml-mode.git