coqPackages.hydra-battles: fix version checking logic

With this change, the derivation can be relied on without overlay in the upstream project.
2 years ago · 61ac416992
parent 8eb1922f64
commit 61ac416992
1 changed files with 1 additions and 1 deletions
--- a/pkgs/development/coq-modules/hydra-battles/default.nix
+++ b/pkgs/development/coq-modules/hydra-battles/default.nix
@ -33,5 +33,5 @@ with lib;
  };
 }).overrideAttrs(o:
  let inherit (o) version; in {
-    propagatedBuildInputs = [ equations ] ++ optional (versions.isGe "0.6" version) LibHyps;
+    propagatedBuildInputs = [ equations ] ++ optional (versions.isGe "0.6" version || version == "dev") LibHyps;
  })