diff --git a/patches/hie-bios-0.13.1.patch b/patches/hie-bios-0.13.1.patch deleted file mode 100644 index d3c99ff9f0770416431cf1c684f8d41e2bd8d786..0000000000000000000000000000000000000000 --- a/patches/hie-bios-0.13.1.patch +++ /dev/null @@ -1,13 +0,0 @@ -diff --git a/hie-bios.cabal b/hie-bios.cabal -index 28be23a..d65b87c 100644 ---- a/hie-bios.cabal -+++ b/hie-bios.cabal -@@ -172,7 +172,7 @@ Library - exceptions ^>= 0.10, - cryptohash-sha1 >= 0.11.100 && < 0.12, - directory >= 1.3.0 && < 1.4, -- filepath >= 1.4.1 && < 1.5, -+ filepath >= 1.4.1 && < 1.6, - time >= 1.8.0 && < 1.13, - extra >= 1.6.14 && < 1.8, - prettyprinter ^>= 1.6 || ^>= 1.7.0,