anchor.diff:      })
     ];
   
  -  buildInputs = [ openconnect networkmanager ]
  -    ++ stdenv.lib.optionals withGnome [ gtk3 gcr libsecret ];
  +  buildInputs = [
  +    openconnect
  +    networkmanager
  +  ] ++ stdenv.lib.optionals withGnome [
  +    gtk3
  +    gcr
  +    libsecret
  +  ];
   
  -  nativeBuildInputs = [ intltool pkgconfig file ];
  +  nativeBuildInputs = [
  +    intltool
  +    pkgconfig
  +    file
  +  ];
   
     configureFlags = [
       "--with-gnome=${if withGnome then "yes" else "no"}"
  
positive.code:       src = ./fix-paths.patch;
        inherit kmod openconnect;
      })
      # Don't use etc/dbus-1/system.d
      (fetchpatch {
        url = "https://gitlab.gnome.org/GNOME/NetworkManager-openconnect/merge_requests/9.patch";
  
negative.code:   };
  
    meta = with stdenv.lib; {
      description = "NetworkManager’s OpenConnect plugin";
      inherit (networkmanager.meta) maintainers platforms;
      license = licenses.gpl2Plus;
    };
  