Hello guix,

I think we should consider moving some diffoscope inputs to propagated inputs.
It would be nice to test it with a plain profile, to check what should be propagated.

I don't know if package-management is a logical place for this package.
Do we have any better to place this?