source "$PKG_COMMON"

version=\
(
    '3.13'
)

url=\
(
    "https://www.kernel.org/pub/linux/kernel/v3.x/linux-$version.tar.xz"
)

md5=\
(
    '0ecbaf65c00374eb4a826c2f9f37606f'
)

maintainer=\
(
    'Ricardo Martins <rasm@fe.up.pt>'
)

requires=\
(
    'kmod/host'
    'lz4/host'
)