From 21905fca1b4eae0469d2bc27db7113cf0e124bc1 Mon Sep 17 00:00:00 2001
From: Tom Smeding <tom@tomsmeding.com>
Date: Tue, 21 Oct 2025 10:47:55 +0200
Subject: Exclude ghc-typelits-natnormalise 0.9.0

---
 ox-arrays.cabal | 3 ++-
 1 file changed, 2 insertions(+), 1 deletion(-)

diff --git a/ox-arrays.cabal b/ox-arrays.cabal
index bdbb34e..5ada9c0 100644
--- a/ox-arrays.cabal
+++ b/ox-arrays.cabal
@@ -102,7 +102,8 @@ library
     base,
     deepseq < 1.7,
     ghc-typelits-knownnat,
-    ghc-typelits-natnormalise,
+    -- 0.9.0 is unsound: https://github.com/clash-lang/ghc-typelits-natnormalise/issues/105
+    ghc-typelits-natnormalise < 0.9.0,
     orthotope < 0.2,
     vector
   hs-source-dirs: src
-- 
cgit v1.2.3-70-g09d2