From 6fef06e78c8aac2969cfcbe5ba4e1fbc231db4c8 Mon Sep 17 00:00:00 2001
From: =?UTF-8?q?Maciej=20Bar=C4=87?= <xgqt@gentoo.org>
Date: Fri, 11 Aug 2023 18:12:04 +0200
Subject: [PATCH] app-emacs/company-coq: drop old 1.0.1_p20210708-r1
MIME-Version: 1.0
Content-Type: text/plain; charset=UTF-8
Content-Transfer-Encoding: 8bit

Signed-off-by: Maciej Barć <xgqt@gentoo.org>
---
 app-emacs/company-coq/Manifest                |  1 -
 .../company-coq-1.0.1_p20210708-r1.ebuild     | 46 -------------------
 2 files changed, 47 deletions(-)
 delete mode 100644 app-emacs/company-coq/company-coq-1.0.1_p20210708-r1.ebuild

diff --git a/app-emacs/company-coq/Manifest b/app-emacs/company-coq/Manifest
index 683f29a219c59..5168d46f1328a 100644
--- a/app-emacs/company-coq/Manifest
+++ b/app-emacs/company-coq/Manifest
@@ -1,2 +1 @@
-DIST company-coq-1.0.1_p20210708.tar.gz 3803957 BLAKE2B d2bb3022228cc7a103d4343e914ec20cf539405062e475c7be6cd0db776490a7af35f10fc9e712733bd8f7c6667a05f8d3d6c4321820a61da0847b8bc718c182 SHA512 92a7d0bf8326460519e5f47fe1e9779a4cc2d2bf069898e1797fabf483535eca8244c1ea36bc525aac418e2c26036a8580076435ccbfaa5bdc2e6ee6f133b655
 DIST company-coq-1.0.1_p20220314.tar.gz 3804039 BLAKE2B 93458da7615f7c6f4a6c96c56aa14b95abd0a738a6653c5a3564829f3182ce890fdf52d4aa02e7b5079b7dd17db46e2eb9a7dbe271c579755e12606ba001487e SHA512 07b3c7f639e663ac9c114300fc53a729e2877563d9e2c4434010e12fa7ab435465a7daf6f47fc11076506f18d056c9672be4c6f4246a1b559284a0bf739dc696
diff --git a/app-emacs/company-coq/company-coq-1.0.1_p20210708-r1.ebuild b/app-emacs/company-coq/company-coq-1.0.1_p20210708-r1.ebuild
deleted file mode 100644
index 4d43b44f080d1..0000000000000
--- a/app-emacs/company-coq/company-coq-1.0.1_p20210708-r1.ebuild
+++ /dev/null
@@ -1,46 +0,0 @@
-# Copyright 1999-2023 Gentoo Authors
-# Distributed under the terms of the GNU General Public License v2
-
-EAPI=8
-
-[[ ${PV} == *_p20210708 ]] && COMMIT=382db93374380e5db56f02934ee32bbe39159019
-
-inherit elisp
-
-DESCRIPTION="Collection of extensions for Proof General's Coq mode"
-HOMEPAGE="https://github.com/cpitclaudel/company-coq/"
-SRC_URI="https://github.com/cpitclaudel/${PN}/archive/${COMMIT}.tar.gz
-	-> ${P}.tar.gz"
-S="${WORKDIR}"/${PN}-${COMMIT}
-
-LICENSE="GPL-3+"
-SLOT="0"
-KEYWORDS="~amd64 ~x86"
-
-BDEPEND="
-	app-emacs/company-math
-	app-emacs/company-mode
-	app-emacs/dash
-	app-emacs/yasnippet
-"
-RDEPEND="
-	${BDEPEND}
-	app-emacs/proofgeneral
-"
-
-PATCHES=( "${FILESDIR}"/${PN}-refman-path.patch )
-SITEFILE="50${PN}-gentoo.el"
-
-src_prepare(){
-	default
-
-	sed -i "s|@SITEETC@|${EPREFIX}${SITEETC}|" ./company-coq.el || die
-}
-
-src_install() {
-	elisp_src_install
-	einstalldocs
-
-	insinto "${SITEETC}"
-	doins -r ./refman
-}