> >> If Arch wants to be (disk)size-effective, We would end up with hundreds >> of Debian-like *-{header,dev} packages. > > We're not going to do that, it just seemed insane to include this stuff in > the kernel. > >> I just don't think splitting header packages is practical with distributions >> that support a port-like system. I know the kernel might be an exception >> but I still think the decision to split the headers is interesting and >> worth >> commenting on. > > The kernel IS an exception here, we will not start splitting out -dev stuff > everywhere. It is mostly done for making the PKGBUILD more readable. > That's what I thought. Thank you for taking the time to reply.