From 153b86ec54f2d8fbad7e89206df31b0ff957c9e3 Mon Sep 17 00:00:00 2001
From: Pierre Roux <pierre.roux@onera.fr>
Date: Sat, 9 May 2026 09:45:45 +0200
Subject: [PATCH] coqPackages.trakt: now uses dune

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

diff --git a/pkgs/development/coq-modules/trakt/default.nix b/pkgs/development/coq-modules/trakt/default.nix
index c0de83cdab4e..786ab879f697 100644
--- a/pkgs/development/coq-modules/trakt/default.nix
+++ b/pkgs/development/coq-modules/trakt/default.nix
@@ -10,6 +10,7 @@
 mkCoqDerivation {
   pname = "trakt";
   owner = "ecranceMERCE";
+  opam-name = "rocq-trakt";
 
   release."1.0".sha256 = "sha256-Qhw5fWFYxUFO2kIWWz/og+4fuy9aYG27szfNk3IglhY=";
   release."1.1".sha256 = "sha256-JmrtM9WcT8Bfy0WZCw8xdubuMomyXmfLXJwpnCNrvsg=";
@@ -42,6 +43,8 @@ mkCoqDerivation {
     stdlib
   ];
 
+  useDuneifVersion = v: v != null && (v == "dev" || lib.versions.isGt "1.2.1" v);
+
   meta = {
     description = "Generic goal preprocessing tool for proof automation tactics in Coq";
     maintainers = with lib.maintainers; [ siraben ];