diff --git a/pkgs/development/coq-modules/trakt/default.nix b/pkgs/development/coq-modules/trakt/default.nix
index 544ca1e8111b..0a1b04b8b4ee 100644
--- a/pkgs/development/coq-modules/trakt/default.nix
+++ b/pkgs/development/coq-modules/trakt/default.nix
@@ -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";