anchor.diff:  
       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)
  
positive.code: { pkgs, idris-no-deps, overrides ? (self: super: {}) }: let
    inherit (pkgs.lib) callPackageWith fix' extends;
  
    /* Taken from haskell-modules/default.nix, should probably abstract this away */
  
negative.code: 
      posix = callPackage ./posix.nix {};
  
      quantities = callPackage ./quantities.nix {};
  
      rationals = callPackage ./rationals.nix {};
  