diff options
| author | Anna (navi) Figueiredo Gomes <navi@vlhl.dev> | 2026-04-19 16:40:55 +0200 |
|---|---|---|
| committer | Anna (navi) Figueiredo Gomes <navi@vlhl.dev> | 2026-04-19 16:40:55 +0200 |
| commit | c46fa0ee33c2d3c3df228c1e5eb9d3b4f648bf8e (patch) | |
| tree | 292a30e4a2d693526d92841d19b93a841330eb7c | |
| parent | 7cf22323901666a58e09248b7a8806a498fd99d7 (diff) | |
| download | enomicon-c46fa0ee33c2d3c3df228c1e5eb9d3b4f648bf8e.tar.xz | |
app-nvim/lean: new package, add 9999
Signed-off-by: Anna (navi) Figueiredo Gomes <navi@vlhl.dev>
| -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" |