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. Best, Karl _______________________________________________ Reproducible-builds mailing list Reproducible-builds@lists.alioth.debian.org http://lists.alioth.debian.org/cgi-bin/mailman/listinfo/reproducible-builds