gnu/packages/patches/mono-mdoc-timestamping.patch

   1 --- mono-4.4.1/mcs/class/monodoc/Monodoc/storage/ZipStorage.cs.orig     2018-11-26 22:16:25.008879747 +0100
   2 +++ mono-4.4.1/mcs/class/monodoc/Monodoc/storage/ZipStorage.cs  2018-11-26 22:21:53.969770985 +0100
   3 @@ -74,6 +74,12 @@
   4                                 id = GetNewCode ();
   5
   6                         ZipEntry entry = new ZipEntry (id);
   7 +                       var SOURCE_DATE_EPOCH_string = Environment.GetEnvironmentVariable("SOURCE_DATE_EPOCH");
   8 +                       if (SOURCE_DATE_EPOCH_string != null)
   9 +                       {
  10 +                               var SOURCE_DATE_EPOCH = Convert.ToInt64(SOURCE_DATE_EPOCH_string);
  11 +                               entry.DateTime = new DateTime(SOURCE_DATE_EPOCH, DateTimeKind.Utc);
  12 +                       }
  13                         zipOutput.PutNextEntry (entry);
  14                 }
  15