diff options
Diffstat (limited to 'pkgs/development/idris-modules/default.nix')
| -rw-r--r-- | pkgs/development/idris-modules/default.nix | 2 |
1 files changed, 1 insertions, 1 deletions
diff --git a/pkgs/development/idris-modules/default.nix b/pkgs/development/idris-modules/default.nix index ea8697482da..59069d87899 100644 --- a/pkgs/development/idris-modules/default.nix +++ b/pkgs/development/idris-modules/default.nix @@ -205,7 +205,7 @@ yampa = callPackage ./yampa.nix {}; - } // builtins_ // pkgs.lib.optionalAttrs (config.allowAliases or true) { + } // builtins_ // pkgs.lib.optionalAttrs config.allowAliases { # removed packages protobuf = throw "idrisPackages.protobuf has been removed: abandoned by upstream"; # Added 2022-02-06 }; |