diff options
| -rw-r--r-- | app-nvim/lean/lean-9999.ebuild | 11 |
1 files changed, 11 insertions, 0 deletions
diff --git a/app-nvim/lean/lean-9999.ebuild b/app-nvim/lean/lean-9999.ebuild new file mode 100644 index 0000000..1abb06e --- /dev/null +++ b/app-nvim/lean/lean-9999.ebuild @@ -0,0 +1,11 @@ +# Copyright 1999-2023 Gentoo Authors +# Distributed under the terms of the GNU General Public License v2 +EAPI=8 + +inherit nvim-plugin git-r3 + +DESCRIPTION="Neovim support for the Lean theorem prover" +HOMEPAGE="https://github.com/julian/lean.nvim" +EGIT_REPO_URI="https://github.com/julian/lean.nvim" +LICENSE="MIT" +KEYWORDS="~amd64 ~arm64" |