debian/patches/0001-PDFInfo.java-Support-SOURCE_DATE_EPOCH-environment-v.patch...
debian/patches/0001-PDFInfo.java-Support-SOURCE_DATE_EPOCH-environment-v.patch: make generateFileID() timezone-aware
The PDF /ID differs depending on the value of the TZ
variable in the environment even if SOURCE_DATE_EPOCH
remains the same. For an example see this reprotest output: https://salsa.debian.org/debian/xmlstarlet/-/jobs/5296216
The reason is, that the patched generateFileID() still uses a function that is not timezone aware. Since it should not matter which formatting is used to create the unique id, I just switched it out for one that I can force to UTC.
Closes: #1063939
Edited by Johannes Schauer Marin Rodrigues