feat: add a formula for lean
fix(lean.rb): make it head-only formula
fix(README.md): add "how to install section"
feat(lean.rb): add ninja dep
feat(README.md): add instruction on how to upgrade
fix(lean.rb): specify library directory
fixup
fix(lean.rb): fix EMACS_LISP_DIR
chore(.gitignore): add
feat(lean.rb.template): add template formula
feat(update.sh): add update script
0.2.0-git51719145f9a123a7b39dfa2f63f723b5622ad704-10.10 [skip ci]
Bottle: 0.2.0-git51719145f9a123a7b39dfa2f63f723b5622ad704
feat(update.sh): handle revision
0.2.0-git51719145f9a123a7b39dfa2f63f723b5622ad704-10.10 [skip ci]
Bottle: 0.2.0-git51719145f9a123a7b39dfa2f63f723b5622ad704
0.2.0-git51719145f9a123a7b39dfa2f63f723b5622ad704-10.9.5 [skip ci]
Bottle: 0.2.0-git51719145f9a123a7b39dfa2f63f723b5622ad704
0.2.0-git51719145f9a123a7b39dfa2f63f723b5622ad704-10.10 [skip ci]
Bottle: 0.2.0-git51719145f9a123a7b39dfa2f63f723b5622ad704