blob: a995669cdd59c76315a2b93ae89f6e0c2d8d51e3 (
plain)
1
2
3
4
5
6
7
8
9
10
11
12
13
14
15
16
|
# 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"
src_install() {
nvim-plugin_src_install
doins -r scripts spec vscode-lean
}
|
