Source: linux-4.12.0-rc2-letux+
Section: kernel
Priority: optional
Maintainer: Anonymous <root@localhost>
Build-Depends: bc, kmod, cpio 
Homepage: http://www.kernel.org/

Package: linux-image-4.12.0-rc2-letux+
Suggests: linux-firmware-image-4.12.0-rc2-letux+
Architecture: any
Description: Linux kernel, version 4.12.0-rc2-letux+
 This package contains the Linux kernel, modules and corresponding other
 files, version: 4.12.0-rc2-letux+.

Package: linux-headers-4.12.0-rc2-letux+
Architecture: any
Description: Linux kernel headers for 4.12.0-rc2-letux+ on ${kernel:debarch}
 This package provides kernel header files for 4.12.0-rc2-letux+ on ${kernel:debarch}
 .
 This is useful for people who need to build external modules

Package: linux-firmware-image-4.12.0-rc2-letux+
Architecture: all
Description: Linux kernel firmware, version 4.12.0-rc2-letux+
 This package contains firmware from the Linux kernel, version 4.12.0-rc2-letux+.

Package: linux-libc-dev
Section: devel
Provides: linux-kernel-headers
Architecture: any
Description: Linux support headers for userspace development
 This package provides userspaces headers from the Linux kernel.  These headers
 are used by the installed headers for GNU glibc and other system libraries.

Package: linux-image-4.12.0-rc2-letux+-dbg
Section: debug
Architecture: any
Description: Linux kernel debugging symbols for 4.12.0-rc2-letux+
 This package will come in handy if you need to debug the kernel. It provides
 all the necessary debug symbols for the kernel and its modules.
