How does FORCE_SOURCE_DATE sound?
Fine by me. Shall I change the pdftex source?
I don't much want to make a new release just for this, but it would be
fine (in fact preferable) to me if you made the change in Debian now.
Since after all the whole thing is for your purposes, you might as well
have the name you want. I doubt the discrepancy will cause any trouble.
Reproducible-builds mailing list