# Generated by makepkg 6.0.1
# using fakeroot version 1.29
pkgname = linux-rpi4-udl
pkgbase = linux-rpi4-udl
pkgver = 5.15.74-1
pkgdesc = The Linux Kernel and modules - Raspberry Pi 4 64-bit kernel with additional opensource DVB/ATSC/DVBT support
url = https://gitlab.com/Dark-Sky/rpi-linux-udl/
builddate = 1666207842
packager = Manjaro Build Server <build@manjaro.org>
size = 47623416
arch = aarch64
license = GPL2
replaces = linux-raspberrypi-latest
conflict = kernel26
conflict = linux
conflict = uboot-raspberrypi
provides = kernel26
provides = linux=5.15.74
depend = coreutils
depend = linux-firmware
depend = kmod
depend = mkinitcpio>=0.7
depend = firmware-raspberrypi
optdepend = crda: to set the correct wireless channels of your country
optdepend = extra-fta-firmware: Additional DVB/ATSC/DVBT firmware
makedepend = xmlto
makedepend = docbook-xsl
makedepend = kmod
makedepend = inetutils
makedepend = bc
makedepend = git
