Hi Dominique, > If that's ok with you, I'll set PLATFORM_INFO to "Debian" when > SOURCE_DATE_EPOCH is set.
That would indeed be reproducible, but it has a few problems in that
it make the patch not upstreamable, and it also might be misleading on
Ubuntu (or any other Debian-derivative).
Regards,
--
,''`.
: :' : Chris Lamb
`. `'` [email protected] 🍥 chris-lamb.co.uk
`-

