From 9abc0ecc03ba7adeb988ad390b4307753cead88b Mon Sep 17 00:00:00 2001 From: Moritz Angermann Date: Wed, 19 Jan 2022 20:29:06 +0800 Subject: [PATCH] Rename ghc-8.10.7-weak-symbols-2.diff to ghc-8.10.7-weak-symbols-2.patch --- ...8.10.7-weak-symbols-2.diff => ghc-8.10.7-weak-symbols-2.patch} | 0 1 file changed, 0 insertions(+), 0 deletions(-) rename overlays/patches/ghc/{ghc-8.10.7-weak-symbols-2.diff => ghc-8.10.7-weak-symbols-2.patch} (100%) diff --git a/overlays/patches/ghc/ghc-8.10.7-weak-symbols-2.diff b/overlays/patches/ghc/ghc-8.10.7-weak-symbols-2.patch similarity index 100% rename from overlays/patches/ghc/ghc-8.10.7-weak-symbols-2.diff rename to overlays/patches/ghc/ghc-8.10.7-weak-symbols-2.patch