app-vim/coq-nvim: Add 0_pre20220730

Signed-off-by: Nils Freydank <nils.freydank@posteo.de>

app-vim/coq-nvim/Manifest

@@ -0,0 +1 @@
+DIST coq-nvim-0_pre20220730.tar.gz 125725 BLAKE2B c84088e6ee4771d7be9473dac0783ee12c8dba9e1d80c67d4c4d40004d1abf712bd84c242af24184746000d022d6fe626c336c042d82e9e37ab0dd3e38d83369 SHA512 23f1173936f07d9af14cd77306f9251017fb66ee7b7c4d1fe7b126a4400dc519e2d02585e01f7cc83ded24908c208a7f7c30b1c1665a73111de4f9be916de190

app-vim/coq-nvim/coq-nvim-0_pre20220730.ebuild

@@ -0,0 +1,65 @@
+# Copyright 2021-2022 Gentoo Authors
+# Distributed under the terms of the GNU General Public License v2
+
+EAPI="8"
+
+LUA_COMPAT=( lua5-{1..4} luajit )
+PYTHON_COMPAT=( python3_10 )
+
+
+DISTUTILS_USE_PEP517="no"
+inherit lua-single distutils-r1 vim-plugin
+COMMIT_ID="4999ac625ac1911fab192915ec2feb88fbc05b6b"
+
+DESCRIPTION="neovim plugin: fast completion"
+HOMEPAGE="https://github.com/ms-jpq/coq_nvim"
+
+LICENSE="GPL-3"
+KEYWORDS="~amd64"
+IUSE="test"
+REQUIRED_USE="${LUA_REQUIRED_USE}"
+
+MY_PN="${PN/-/_}"
+
+if [[ ${PV} == *9999 ]]
+then
+	inherit git-r3
+	EGIT_REPO_URI="https://github.com/ms-jpq/${MY_PN}.git"
+else
+	if [[ ${PV} == *_p* ]]; then
+		SRC_URI="https://github.com/ms-jpq/${MY_PN}/archive/${COMMIT_ID}.tar.gz -> ${P}.tar.gz"
+		S="${WORKDIR}/${MY_PN}-${COMMIT_ID}"
+	else
+		SRC_URI="https://github.com/ms-jpq/${MY_PN}/archive/refs/tags/v${PV}.tar.gz -> ${P}.tar.gz"
+	fi
+fi
+
+RDEPEND="
+	app-editors/neovim
+	dev-db/sqlite
+	dev-python/pynvim[${PYTHON_USEDEP}]
+	dev-python/pyyaml[${PYTHON_USEDEP}]
+"
+
+DOCS=(
+	docs/CONF.md
+	docs/CUSTOM_SOURCES.md
+	docs/DISPLAY.md
+	docs/FUZZY.md
+	docs/KEYBIND.md
+	docs/MISC.md
+	docs/PERF.md
+	docs/README.md
+	docs/SNIPS.md
+	docs/SOURCES.md
+	docs/STATS.md
+)
+
+src_install(){
+	# We need to get the major and minor version only.
+	insinto /usr/share/lua/$(ver_cut 1-2 $(lua_get_version))
+	doins -r lua/*
+	rm -r lua || die
+
+	vim-plugin_src_install
+}

app-vim/coq-nvim/metadata.xml

@@ -0,0 +1,11 @@
+<?xml version="1.0" encoding="UTF-8"?>
+<!DOCTYPE pkgmetadata SYSTEM "https://www.gentoo.org/dtd/metadata.dtd">
+<pkgmetadata>
+	<maintainer type="person">
+		<email>holgersson@posteo.de</email>
+		<name>Nils Freydank</name>
+	</maintainer>
+	<upstream>
+		<remote-id type="github">ms-jpq/coq_nvim</remote-id>
+	</upstream>
+</pkgmetadata>