gnu: mono@3.0.12: Fix build.

* gnu/packages/dotnet.scm (mono-3.0)[arguments]<#:phases>[disable-mono-mini-timestamps]:
Remove phase.

Change-Id: I9930064db7b62736b1afecbc3cfdfb5e04df6682

1 files changed, 5 insertions, 0 deletions

diff --git a/gnu/packages/dotnet.scm b/gnu/packages/dotnet.scm
index 715953827e6..15255e08fbf 100644
--- a/gnu/packages/dotnet.scm
+++ b/gnu/packages/dotnet.scm
@@ -700,6 +700,11 @@ a C-style programming language from Microsoft that is very similar to Java.")
                            #$(add-external-repos
                               mono-3.0.12-external-repo-specs)
                            #$prepare-mono-source))))
+    (arguments
+     (substitute-keyword-arguments (package-arguments mono-2.11.4)
+       ((#:phases phases #~%standard-phases)
+        #~(modify-phases #$phases
+            (delete 'disable-mono-mini-timestamps)))))
     (native-inputs (modify-inputs (package-native-inputs mono-2.11.4)
                      (replace "mono" mono-2.11.4)))
     (license (list