From ba07fce595dc810beac564305567afd3f912a9ce Mon Sep 17 00:00:00 2001
From: sheaf <sam.derbyshire@gmail.com>
Date: Sat, 14 Jan 2023 03:22:04 +0100
Subject: [PATCH] don't use avx512 in rounded-hw

---
 cabal.project | 2 +-
 1 file changed, 1 insertion(+), 1 deletion(-)

diff --git a/cabal.project b/cabal.project
index 73511f0..ef5dd78 100644
--- a/cabal.project
+++ b/cabal.project
@@ -2,7 +2,7 @@ packages: .
 
 constraints:
   acts -finitary,
-  rounded-hw -pure-hs -c99 +avx512 +ghc-prim -x87-long-double
+  rounded-hw -pure-hs -c99 -avx512 +ghc-prim -x87-long-double
 
 
 -- Fix a severe bug in Waargonaut (no corresponding Hackage release???)