RFC: Alternative -devel packaging