darcs: ghc: Refresh patch

[Joachim Breitner]

Sun Aug 16 13:05:35 UTC 2015  Joachim Breitner <mail at joachim-breitner.de>
  * Refresh patch

    M ./patches/reproducible-tmp-names -2 +2

Sun Aug 16 13:05:35 UTC 2015  Joachim Breitner <mail at joachim-breitner.de>
  * Refresh patch
diff -rN -u old-ghc/patches/reproducible-tmp-names new-ghc/patches/reproducible-tmp-names
--- old-ghc/patches/reproducible-tmp-names	2015-08-16 18:51:51.306123472 +0000
+++ new-ghc/patches/reproducible-tmp-names	2015-08-16 18:51:51.326123452 +0000
@@ -6,8 +6,8 @@
 
 Index: ghc-7.10/compiler/main/SysTools.hs
 ===================================================================
---- ghc-7.10.orig/compiler/main/SysTools.hs	2015-06-15 09:38:53.366538998 +0200
-+++ ghc-7.10/compiler/main/SysTools.hs	2015-06-15 09:39:00.778652716 +0200
+--- ghc-7.10.orig/compiler/main/SysTools.hs	2015-07-21 15:52:50.000000000 +0200
++++ ghc-7.10/compiler/main/SysTools.hs	2015-08-16 14:57:09.000000000 +0200
 @@ -61,6 +61,7 @@
  import Util
  import DynFlags