diff options
Diffstat (limited to 'nixpkgs/pkgs/development/coq-modules/relation-algebra/default.nix')
-rw-r--r-- | nixpkgs/pkgs/development/coq-modules/relation-algebra/default.nix | 10 |
1 files changed, 5 insertions, 5 deletions
diff --git a/nixpkgs/pkgs/development/coq-modules/relation-algebra/default.nix b/nixpkgs/pkgs/development/coq-modules/relation-algebra/default.nix index da74215d537f..01cb7f63b71a 100644 --- a/nixpkgs/pkgs/development/coq-modules/relation-algebra/default.nix +++ b/nixpkgs/pkgs/development/coq-modules/relation-algebra/default.nix @@ -15,11 +15,11 @@ mkCoqDerivation { inherit version; defaultVersion = with versions; switch coq.coq-version [ - { case = isGe "8.13"; out = "1.7.5"; } - { case = isGe "8.12"; out = "1.7.4"; } - { case = isGe "8.11"; out = "1.7.3"; } - { case = isGe "8.10"; out = "1.7.2"; } - { case = isGe "8.9"; out = "1.7.1"; } + { case = isEq "8.13"; out = "1.7.5"; } + { case = isEq "8.12"; out = "1.7.4"; } + { case = isEq "8.11"; out = "1.7.3"; } + { case = isEq "8.10"; out = "1.7.2"; } + { case = isEq "8.9"; out = "1.7.1"; } ] null; mlPlugin = true; |