On Sun, Apr 17, 2016 at 06:27:39PM +0100, Jerome BENOIT wrote: > -----BEGIN PGP SIGNED MESSAGE----- > Hash: SHA256 > > > The document is /usr/share/doc/gap-doc/gap-policy.sgml > > So it is a Debian specific document, and GAP_CONVERT_DATE seems to be Debian > specific as well: > does it make sense to make (if still possible) GAP_CONVERT_DATE having > the same format as SOURCE_DATE_EPOCH in such a way that the original > date format used by GAP itself is hard-encoded in convert.pl (as > SOURCE_DATE_EPOCH is) ?
No, it does not. GAP_CONVERT_DATE is a string that is and not passed to date, because there is no garranty that the date in the original upstream files be reproducible using GNU date with a specific format. Cheers, -- Bill. <[email protected]> Imagine a large red swirl here.
