feat: make imandrakit.zip lighter in deps

imandra-ai · Sep 4, 2024 · 7f889b7 · 7f889b7
1 parent 5e1f5eb
commit 7f889b7
Showing 1 changed file with 2 additions and 2 deletions.
diff --git a/src/zip/dune b/src/zip/dune
@@ -5,5 +5,5 @@
  (optional) ; camlzip
  (preprocess
   (pps ppx_deriving.std imandrakit.ser-pack.ppx imandrakit.twine.ppx))
- (flags :standard -open Imandrakit_common)
- (libraries imandrakit.common imandrakit camlzip))
+ (flags :standard)
+ (libraries camlzip))