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