diff options
| author | Jonathan Ringer <jonringer117@gmail.com> | 2022-02-07 11:09:49 -0800 |
|---|---|---|
| committer | Jonathan Ringer <jonringer@users.noreply.github.com> | 2022-02-07 11:38:38 -0800 |
| commit | 3724b8cfa8436b9ced841078a8934584b692fc79 (patch) | |
| tree | 7441bbd8894900ecce389d3d7d6313b560dff5fe /pkgs/development/idris-modules | |
| parent | 243f073e935b86c4eed69881f004b4f80138a63d (diff) | |
| download | nixlib-3724b8cfa8436b9ced841078a8934584b692fc79.tar nixlib-3724b8cfa8436b9ced841078a8934584b692fc79.tar.gz nixlib-3724b8cfa8436b9ced841078a8934584b692fc79.tar.bz2 nixlib-3724b8cfa8436b9ced841078a8934584b692fc79.tar.lz nixlib-3724b8cfa8436b9ced841078a8934584b692fc79.tar.xz nixlib-3724b8cfa8436b9ced841078a8934584b692fc79.tar.zst nixlib-3724b8cfa8436b9ced841078a8934584b692fc79.zip | |
idrisPackages.protobuf: move to alias set
Diffstat (limited to 'pkgs/development/idris-modules')
| -rw-r--r-- | pkgs/development/idris-modules/default.nix | 9 |
1 files changed, 5 insertions, 4 deletions
diff --git a/pkgs/development/idris-modules/default.nix b/pkgs/development/idris-modules/default.nix index 781533694f22..ea8697482dab 100644 --- a/pkgs/development/idris-modules/default.nix +++ b/pkgs/development/idris-modules/default.nix @@ -1,4 +1,4 @@ -{ pkgs, idris-no-deps, overrides ? (self: super: {}) }: let +{ pkgs, config, idris-no-deps, overrides ? (self: super: {}) }: let inherit (pkgs.lib) callPackageWith fix' extends; /* Taken from haskell-modules/default.nix, should probably abstract this away */ @@ -145,8 +145,6 @@ posix = callPackage ./posix.nix {}; - protobuf = throw "idrisPackages.protobuf has been removed: abandoned by upstream"; # added 2022-02-06 - quantities = callPackage ./quantities.nix {}; rationals = callPackage ./rationals.nix {}; @@ -207,5 +205,8 @@ yampa = callPackage ./yampa.nix {}; - } // builtins_; + } // builtins_ // pkgs.lib.optionalAttrs (config.allowAliases or true) { + # removed packages + protobuf = throw "idrisPackages.protobuf has been removed: abandoned by upstream"; # Added 2022-02-06 + }; in fix' (extends overrides idrisPackages) |