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?