fixing deps. wip

coq · Jan 31, 2024 · 8878774 · 8878774
1 parent 97d0fc5
commit 8878774
Showing 1 changed file with 1 addition and 0 deletions.
diff --git a/flake.nix b/flake.nix
@@ -39,6 +39,7 @@
           ppx_assert
           ppx_sexp_conv
           ppx_deriving
+          ppx_optcomp
           ppx_import
           sexplib
           ppx_yojson_conv