diff --git a/libpgm-5.2.122-reproducible.patch b/libpgm-5.2.122-reproducible.patch index 638d4fb..96464f9 100644 --- a/libpgm-5.2.122-reproducible.patch +++ b/libpgm-5.2.122-reproducible.patch @@ -22,6 +22,6 @@ Index: pgm/version_generator.py +timestamp = time.gmtime(int(os.environ.get('SOURCE_DATE_EPOCH', time.time()))) +build_date = time.strftime ("%Y-%m-%d", timestamp) +build_time = time.strftime ("%H:%M:%S", timestamp) - build_rev = filter (str.isdigit, "$Revision: 1487 $") + build_rev = filter (str.isdigit, "$Revision$") print """