From 73321d4dc9fd718e2949962a6be32c7d56961cb4 Mon Sep 17 00:00:00 2001
From: Nils Freydank <nils.freydank@posteo.de>
Date: Sat, 30 Jul 2022 19:30:45 +0200
Subject: [PATCH] Revert "app-vim/coq-nvim: Add 0_pre20220730"

Drop the ebuild as it's actually broken.

This reverts commit 7a0d6d92fcd6e8ba6363c325495105fac1b654a0.
---
 app-vim/coq-nvim/Manifest                     |  1 -
 .../coq-nvim/coq-nvim-0_pre20220730.ebuild    | 65 -------------------
 app-vim/coq-nvim/metadata.xml                 | 11 ----
 3 files changed, 77 deletions(-)
 delete mode 100644 app-vim/coq-nvim/Manifest
 delete mode 100644 app-vim/coq-nvim/coq-nvim-0_pre20220730.ebuild
 delete mode 100644 app-vim/coq-nvim/metadata.xml

diff --git a/app-vim/coq-nvim/Manifest b/app-vim/coq-nvim/Manifest
deleted file mode 100644
index a82c84c..0000000
--- a/app-vim/coq-nvim/Manifest
+++ /dev/null
@@ -1 +0,0 @@
-DIST coq-nvim-0_pre20220730.tar.gz 125725 BLAKE2B c84088e6ee4771d7be9473dac0783ee12c8dba9e1d80c67d4c4d40004d1abf712bd84c242af24184746000d022d6fe626c336c042d82e9e37ab0dd3e38d83369 SHA512 23f1173936f07d9af14cd77306f9251017fb66ee7b7c4d1fe7b126a4400dc519e2d02585e01f7cc83ded24908c208a7f7c30b1c1665a73111de4f9be916de190
diff --git a/app-vim/coq-nvim/coq-nvim-0_pre20220730.ebuild b/app-vim/coq-nvim/coq-nvim-0_pre20220730.ebuild
deleted file mode 100644
index 077d9bc..0000000
--- a/app-vim/coq-nvim/coq-nvim-0_pre20220730.ebuild
+++ /dev/null
@@ -1,65 +0,0 @@
-# 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
-}
diff --git a/app-vim/coq-nvim/metadata.xml b/app-vim/coq-nvim/metadata.xml
deleted file mode 100644
index 2ae5a2e..0000000
--- a/app-vim/coq-nvim/metadata.xml
+++ /dev/null
@@ -1,11 +0,0 @@
-<?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>