From 2a78ced9c247f5a059d8456617391e3e5c846c23 Mon Sep 17 00:00:00 2001
From: Justin Bedo <cu@cua0.org>
Date: Wed, 2 Aug 2023 17:18:44 +1000
Subject: first full implementation

---
 package.yaml | 5 ++++-
 1 file changed, 4 insertions(+), 1 deletion(-)

(limited to 'package.yaml')

diff --git a/package.yaml b/package.yaml
index b0752ee..a923f2d 100644
--- a/package.yaml
+++ b/package.yaml
@@ -3,7 +3,9 @@ name: dedumi
 dependencies:
   - base
   - zlib
-  - microlens-platform
+  - cuckoo
+  - microlens-th
+  - microlens
   - bytestring
   - streamly-bytestring
   - streamly
@@ -13,3 +15,4 @@ dependencies:
 executables:
   dedumi:
     main: dedumi.hs
+    ghc-options: [-O2, -fspec-constr-recursive=10, -fmax-worker-args=16]
-- 
cgit v1.2.3