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

coqPackages.trakt: add stdlib dependency

parent fd05b94c

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

+5 −1
Original line number Diff line number Diff line
@@ -3,6 +3,7 @@ 
  mkCoqDerivation,

  coq,

  coq-elpi,

  stdlib,

  version ? null,

}:
@@ -36,7 +37,10 @@ mkCoqDerivation { 
      ]

      null;



  propagatedBuildInputs = [ coq-elpi ];

  propagatedBuildInputs = [

    coq-elpi

    stdlib

  ];



  meta = with lib; {

    description = "Generic goal preprocessing tool for proof automation tactics in Coq";