From 61ac4169922ca62d00bfe7f28dae6e1f27fd9c89 Mon Sep 17 00:00:00 2001 From: =?UTF-8?q?Th=C3=A9o=20Zimmermann?= Date: Mon, 21 Feb 2022 16:05:47 +0100 Subject: [PATCH] coqPackages.hydra-battles: fix version checking logic With this change, the derivation can be relied on without overlay in the upstream project. --- pkgs/development/coq-modules/hydra-battles/default.nix | 2 +- 1 file changed, 1 insertion(+), 1 deletion(-) diff --git a/pkgs/development/coq-modules/hydra-battles/default.nix b/pkgs/development/coq-modules/hydra-battles/default.nix index e7dc7474e85..7977363d83f 100644 --- 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; })