Allow Win32-2.14

agda · Feb 18, 2024 · 3a34310 · 3a34310
1 parent df3bacc
commit 3a34310
Showing 1 changed file with 1 addition and 1 deletion.
diff --git a/Agda.cabal b/Agda.cabal
@@ -382,7 +382,7 @@ library
     build-depends:  text-icu >= 0.7.1.0
 
   if os(windows)
-    build-depends:  Win32 >= 2.6.1.0 && < 2.14
+    build-depends:  Win32 >= 2.6.1.0 && < 2.15
 
   -- Agda cannot be built with GHC 8.6.1 due to a compiler bug, see
   -- Agda Issue #3344.