mvel2/reproducible-date.patch

--- a/src/main/java/org/mvel2/sh/DefaultEnvironment.java	2023-06-06 11:22:34.000000000 +0200
+++ b/src/main/java/org/mvel2/sh/DefaultEnvironment.java	2023-09-16 10:44:56.330351904 +0200
@@ -20,6 +20,6 @@
 
 public interface DefaultEnvironment {
   public static final String PROMPT =
-      "[@{ new java.text.SimpleDateFormat('hh:mmaa').format(new java.util.Date(System.currentTimeMillis()))}] mvel2$ ";
+      "[@{ new java.text.SimpleDateFormat('hh:mmaa').format(System.getenv('SOURCE_DATE_EPOCH') != null ? new java.util.Date(1000 * Long.parseLong(System.getenv('SOURCE_DATE_EPOCH'))) : new java.util.Date())}] mvel2$ ";
 
 }