Commit a9c0c91c authored by Pierre Roux's avatar Pierre Roux Committed by Vincent Laporte
Browse files

coqPackages.itauto: add missing stdlib dependency

parent b1d65bff

pkgs/development/coq-modules/itauto/default.nix

+1 −1
Original line number Diff line number Diff line
@@ -75,7 +75,7 @@ 
  (

    o:

    lib.optionalAttrs (o.version == "dev" || lib.versionAtLeast o.version "8.16") {

      propagatedBuildInputs = [ coq.ocamlPackages.findlib ];

      propagatedBuildInputs = o.propagatedBuildInputs ++ [ coq.ocamlPackages.findlib ];

    }

    // lib.optionalAttrs (o.version == "dev" || lib.versionAtLeast o.version "8.18") {

      nativeBuildInputs = with coq.ocamlPackages; [