License: GPL-2.0
Summary: Linux support headers for userspace development
Group: System/Kernel
-Provides: kernel-headers, kernel-headers-tizen-dev
-Obsoletes: kernel-headers
+Provides: kernel-headers-tizen-dev
%description -n kernel-headers-3.10-sc7730
This package provides userspaces headers from the Linux kernel. These