anchor.diff:  #
   #  libjson_rpc_cpp = callPackage ../development/libraries/libjson-rpc-cpp { };
   #
  -#  libkate = callPackage ../development/libraries/libkate { };
  -#
  +  libkate = callPackage ../development/libraries/libkate { };
  +
     libksba = callPackage ../development/libraries/libksba { };
   #
   #  libksi = callPackage ../development/libraries/libksi { };
  
positive.code: #
  #  vkeybd = callPackage ../applications/audio/vkeybd {};
  #
  #  vlc = callPackage ../applications/video/vlc { };
  #
  #  vlc_qt5 = qt5.vlc;
  #
  #  vmpk = callPackage ../applications/audio/vmpk { };
  #
  
negative.code: #
  #  libdbusmenu_qt = callPackage ../development/libraries/libdbusmenu-qt { };
  #
    libdc1394 = callPackage ../development/libraries/libdc1394 { };
  
    libdiscid = callPackage ../development/libraries/libdiscid { };
  #
  #  libdivsufsort = callPackage ../development/libraries/libdivsufsort { };
  