From 2bbba780d7e1eda7a361e351e5de436f26fe7179 Mon Sep 17 00:00:00 2001
From: Pierre Roux <pierre.roux@onera.fr>
Date: Tue, 15 Jul 2025 13:22:33 +0200
Subject: [PATCH] coqPackages.trakt: add stdlib dependency

---
 pkgs/development/coq-modules/trakt/default.nix | 6 +++++-
 1 file changed, 5 insertions(+), 1 deletion(-)

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";