From 1bc047d41486e4b9e4d21ed4c86a08dcd7fecae8 Mon Sep 17 00:00:00 2001
From: Maciej Barć <xgqt@gentoo.org>
Date: Mon, 6 Jun 2022 00:07:44 +0200
Subject: app-emacs/lean-mode: DEPEND -> BDEPEND
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/lean-mode/lean-mode-20211220-r1.ebuild | 33 ++++++++++++++++++++++++
 app-emacs/lean-mode/lean-mode-20211220.ebuild    | 33 ------------------------
 app-emacs/lean-mode/lean-mode-20220124-r1.ebuild | 33 ++++++++++++++++++++++++
 app-emacs/lean-mode/lean-mode-20220124.ebuild    | 33 ------------------------
 4 files changed, 66 insertions(+), 66 deletions(-)
 create mode 100644 app-emacs/lean-mode/lean-mode-20211220-r1.ebuild
 delete mode 100644 app-emacs/lean-mode/lean-mode-20211220.ebuild
 create mode 100644 app-emacs/lean-mode/lean-mode-20220124-r1.ebuild
 delete mode 100644 app-emacs/lean-mode/lean-mode-20220124.ebuild

(limited to 'app-emacs')

diff --git a/app-emacs/lean-mode/lean-mode-20211220-r1.ebuild b/app-emacs/lean-mode/lean-mode-20211220-r1.ebuild
new file mode 100644
index 000000000000..d91061721bf4
--- /dev/null
+++ b/app-emacs/lean-mode/lean-mode-20211220-r1.ebuild
@@ -0,0 +1,33 @@
+# Copyright 1999-2022 Gentoo Authors
+# Distributed under the terms of the GNU General Public License v2
+
+EAPI=8
+
+H=a4205749d20a09871f0951c34f919d4ee5fbdb55
+NEED_EMACS=24.3
+
+inherit elisp
+
+DESCRIPTION="Emacs mode for the Lean 3 theorem prover"
+HOMEPAGE="https://github.com/leanprover/lean-mode/"
+SRC_URI="https://github.com/leanprover/${PN}/archive/${H}.tar.gz -> ${P}.tar.gz"
+S="${WORKDIR}/${PN}-${H}"
+
+LICENSE="GPL-2+"
+SLOT="0"
+KEYWORDS="~amd64"
+
+BDEPEND="
+	>=app-emacs/dash-2.18.1
+	>=app-emacs/f-0.19.0
+	>=app-emacs/flycheck-32
+	>=app-emacs/s-1.10.0
+"
+RDEPEND="
+	${BDEPEND}
+	sci-mathematics/lean:0/3
+"
+
+DOCS=( README.md )
+ELISP_REMOVE="company-lean.el helm-lean.el"
+SITEFILE="50${PN}-gentoo.el"
diff --git a/app-emacs/lean-mode/lean-mode-20211220.ebuild b/app-emacs/lean-mode/lean-mode-20211220.ebuild
deleted file mode 100644
index 493c3005ffb7..000000000000
--- a/app-emacs/lean-mode/lean-mode-20211220.ebuild
+++ /dev/null
@@ -1,33 +0,0 @@
-# Copyright 1999-2022 Gentoo Authors
-# Distributed under the terms of the GNU General Public License v2
-
-EAPI=8
-
-H=a4205749d20a09871f0951c34f919d4ee5fbdb55
-NEED_EMACS=24.3
-
-inherit elisp
-
-DESCRIPTION="Emacs mode for the Lean 3 theorem prover"
-HOMEPAGE="https://github.com/leanprover/lean-mode/"
-SRC_URI="https://github.com/leanprover/${PN}/archive/${H}.tar.gz -> ${P}.tar.gz"
-S="${WORKDIR}/${PN}-${H}"
-
-LICENSE="GPL-2+"
-SLOT="0"
-KEYWORDS="~amd64"
-
-DEPEND="
-	>=app-emacs/dash-2.18.1
-	>=app-emacs/f-0.19.0
-	>=app-emacs/flycheck-32
-	>=app-emacs/s-1.10.0
-"
-RDEPEND="
-	${DEPEND}
-	sci-mathematics/lean:0/3
-"
-
-DOCS=( README.md )
-ELISP_REMOVE="company-lean.el helm-lean.el"
-SITEFILE="50${PN}-gentoo.el"
diff --git a/app-emacs/lean-mode/lean-mode-20220124-r1.ebuild b/app-emacs/lean-mode/lean-mode-20220124-r1.ebuild
new file mode 100644
index 000000000000..b24391f06ca8
--- /dev/null
+++ b/app-emacs/lean-mode/lean-mode-20220124-r1.ebuild
@@ -0,0 +1,33 @@
+# Copyright 1999-2022 Gentoo Authors
+# Distributed under the terms of the GNU General Public License v2
+
+EAPI=8
+
+H=c1c68cc946eb31b6ba8faefdceffce1f77ca52df
+NEED_EMACS=24.3
+
+inherit elisp
+
+DESCRIPTION="Emacs mode for the Lean 3 theorem prover"
+HOMEPAGE="https://github.com/leanprover/lean-mode/"
+SRC_URI="https://github.com/leanprover/${PN}/archive/${H}.tar.gz -> ${P}.tar.gz"
+S="${WORKDIR}/${PN}-${H}"
+
+LICENSE="GPL-2+"
+SLOT="0"
+KEYWORDS="~amd64"
+
+BDEPEND="
+	>=app-emacs/dash-2.18.1
+	>=app-emacs/f-0.19.0
+	>=app-emacs/flycheck-32
+	>=app-emacs/s-1.10.0
+"
+RDEPEND="
+	${BDEPEND}
+	sci-mathematics/lean:0/3
+"
+
+DOCS=( README.md )
+ELISP_REMOVE="company-lean.el helm-lean.el"
+SITEFILE="50${PN}-gentoo.el"
diff --git a/app-emacs/lean-mode/lean-mode-20220124.ebuild b/app-emacs/lean-mode/lean-mode-20220124.ebuild
deleted file mode 100644
index fab38a5b5d39..000000000000
--- a/app-emacs/lean-mode/lean-mode-20220124.ebuild
+++ /dev/null
@@ -1,33 +0,0 @@
-# Copyright 1999-2022 Gentoo Authors
-# Distributed under the terms of the GNU General Public License v2
-
-EAPI=8
-
-H=c1c68cc946eb31b6ba8faefdceffce1f77ca52df
-NEED_EMACS=24.3
-
-inherit elisp
-
-DESCRIPTION="Emacs mode for the Lean 3 theorem prover"
-HOMEPAGE="https://github.com/leanprover/lean-mode/"
-SRC_URI="https://github.com/leanprover/${PN}/archive/${H}.tar.gz -> ${P}.tar.gz"
-S="${WORKDIR}/${PN}-${H}"
-
-LICENSE="GPL-2+"
-SLOT="0"
-KEYWORDS="~amd64"
-
-DEPEND="
-	>=app-emacs/dash-2.18.1
-	>=app-emacs/f-0.19.0
-	>=app-emacs/flycheck-32
-	>=app-emacs/s-1.10.0
-"
-RDEPEND="
-	${DEPEND}
-	sci-mathematics/lean:0/3
-"
-
-DOCS=( README.md )
-ELISP_REMOVE="company-lean.el helm-lean.el"
-SITEFILE="50${PN}-gentoo.el"
-- 
cgit v1.2.3-65-gdbad