Hi Guix, should we install headers to separate outputs as we do it in some cases for really large documentation? It seems wrong to me to download substitutes for libraries when at build time only certain headers are needed.
Other distributions have separate “*-devel” or “*-dev” packages (and I’m ambivalent about this) — would it be a bad idea if we provided “devel” or “dev” *outputs* so that users had more control over what ends up in their store? I’m not writing this because I’m annoyed by the current behaviour — I’m just curious. ~~ Ricardo
