summaryrefslogtreecommitdiff
diff options
context:
space:
mode:
authorMichał Górny <mgorny@gentoo.org>2021-08-18 19:09:06 +0200
committerMichał Górny <mgorny@gentoo.org>2021-08-18 22:06:38 +0200
commit837e0f5bb4b0d85bf190645d1fa957c58b49ad7c (patch)
tree4c07e8d22352b58f8cbdad0f1cb1785ae05e2441 /virtual
parentsys-kernel/gentoo-kernel: Bump to 5.13.12 (diff)
downloadgentoo-837e0f5bb4b0d85bf190645d1fa957c58b49ad7c.tar.gz
gentoo-837e0f5bb4b0d85bf190645d1fa957c58b49ad7c.tar.bz2
gentoo-837e0f5bb4b0d85bf190645d1fa957c58b49ad7c.zip
virtual/dist-kernel: Bump to 5.13.12
Signed-off-by: Michał Górny <mgorny@gentoo.org>
Diffstat (limited to 'virtual')
-rw-r--r--virtual/dist-kernel/dist-kernel-5.13.12.ebuild19
1 files changed, 19 insertions, 0 deletions
diff --git a/virtual/dist-kernel/dist-kernel-5.13.12.ebuild b/virtual/dist-kernel/dist-kernel-5.13.12.ebuild
new file mode 100644
index 000000000000..3df38272de32
--- /dev/null
+++ b/virtual/dist-kernel/dist-kernel-5.13.12.ebuild
@@ -0,0 +1,19 @@
+# Copyright 2021 Gentoo Authors
+# Distributed under the terms of the GNU General Public License v2
+
+EAPI=7
+
+DESCRIPTION="Virtual to depend on any Distribution Kernel"
+HOMEPAGE=""
+SRC_URI=""
+
+LICENSE=""
+SLOT="0/${PV}"
+KEYWORDS="~amd64 ~arm ~arm64 ~ppc64 ~x86"
+
+RDEPEND="
+ || (
+ ~sys-kernel/gentoo-kernel-${PV}
+ ~sys-kernel/gentoo-kernel-bin-${PV}
+ ~sys-kernel/vanilla-kernel-${PV}
+ )"