app-emacs/company-lean
A company backend for lean-mode
Runtime Dependencies
company-lean-20210305.1705
app-emacs/dash
app-emacs/s
app-emacs/f
app-emacs/company
app-emacs/lean-mode
>=app-editors/emacs-25.3:*
app-emacs/s
app-emacs/f
app-emacs/company
app-emacs/lean-mode
>=app-editors/emacs-25.3:*