coqPackages.stalmarck-tactic: enable compilation on master (#542593)

2026-07-16 16:38:50 +00:00
parent ed75765786 13484259fd
commit 2cef931383
1 changed files with 4 additions and 1 deletions
@@ -38,8 +38,11 @@ let
          "Coq tactic and verified tool for proving tautologies using Stålmarck's algorithm"
        else
          "A two-level approach to prove tautologies using Stålmarck's algorithm in Coq.";
+      duneOverride = lib.optionalAttrs (version == "8.20.0" || defaultVersion == "8.20.0") {
+        dune = dune.override { version = "3.21.1"; };
+      };
    in
-    mkRocqDerivation.override { dune = dune.override { version = "3.21.1"; }; } {
+    mkRocqDerivation.override duneOverride {
      useCoq = true;
      namePrefix = [ "coq" ];
      inherit