diff options
author | Théo Zimmermann <theo.zimmermann@inria.fr> | 2022-07-06 18:38:31 +0200 |
---|---|---|
committer | Vincent Laporte <vbgl@users.noreply.github.com> | 2022-07-08 14:33:24 +0200 |
commit | 0898779c3944d6ca9d90abb9641d4030796fdaa2 (patch) | |
tree | 98991e99c840efc2d89508bd45a2a085b0ae2cbf /pkgs/development/coq-modules/CoLoR | |
parent | c6815758ac2a281c130f2e157d898091007e72d2 (diff) |
Do not rely on coq-version when coq.version works just fine.
Diffstat (limited to 'pkgs/development/coq-modules/CoLoR')
-rw-r--r-- | pkgs/development/coq-modules/CoLoR/default.nix | 2 |
1 files changed, 1 insertions, 1 deletions
diff --git a/pkgs/development/coq-modules/CoLoR/default.nix b/pkgs/development/coq-modules/CoLoR/default.nix index 4a0a11ee97375..9dabae0bdbca5 100644 --- a/pkgs/development/coq-modules/CoLoR/default.nix +++ b/pkgs/development/coq-modules/CoLoR/default.nix @@ -4,7 +4,7 @@ with lib; mkCoqDerivation { pname = "color"; owner = "fblanqui"; inherit version; - defaultVersion = with versions; switch coq.coq-version [ + defaultVersion = with versions; switch coq.version [ {case = range "8.12" "8.16"; out = "1.8.2"; } {case = range "8.10" "8.11"; out = "1.7.0"; } {case = range "8.8" "8.9"; out = "1.6.0"; } |