Update .nix/coq-overlays/coq-elpi/default.nix

LPCIC · Jun 22, 2024 · 4fd5bf3 · 4fd5bf3
1 parent 7bbe838
commit 4fd5bf3
Showing 1 changed file with 1 addition and 1 deletion.
diff --git a/.nix/coq-overlays/coq-elpi/default.nix b/.nix/coq-overlays/coq-elpi/default.nix
@@ -63,7 +63,7 @@ in mkCoqDerivation {
 
   mlPlugin = true;
   useDune = true;
-  propagatedBuildInputs = [ coq.ocamlPackages.dune_3 elpi coq.ocamlPackages.ppx_optcomp ];
+  propagatedBuildInputs = [ coq.ocamlPackages.dune_3 coq.ocamlPackages.findlib  elpi coq.ocamlPackages.ppx_optcomp ];
 
   meta = {
     description = "Coq plugin embedding ELPI.";