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 d6fb1ac78bd..781533694f2 100644 --- a/pkgs/development/idris-modules/default.nix +++ b/pkgs/development/idris-modules/default.nix @@ -145,7 +145,7 @@ posix = callPackage ./posix.nix {}; - protobuf = callPackage ./protobuf.nix {}; + protobuf = throw "idrisPackages.protobuf has been removed: abandoned by upstream"; # added 2022-02-06 quantities = callPackage ./quantities.nix {}; |