anchor.diff:        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";
  
positive.code: { stdenv, fetchurl, substituteAll, openconnect, intltool, pkgconfig, autoreconfHook, networkmanager, gcr, libsecret, file
  , gtk3, withGnome ? true, gnome3, kmod, fetchpatch }:
  
  let
    pname   = "NetworkManager-openconnect";
    version = "1.2.6";
  in stdenv.mkDerivation {
    name    = "${pname}${if withGnome then "-gnome" else ""}-${version}";
  
    src = fetchurl {
      url    = "mirror://gnome/sources/${pname}/${stdenv.lib.versions.majorMinor version}/${pname}-${version}.tar.xz";
      sha256 = "0nlp290nkawc4wqm978n4vhzg3xdqi8kpjjx19l855vab41rh44m";
    };
  
  
negative.code:   };
  
    meta = with stdenv.lib; {
      description = "NetworkManager’s OpenConnect plugin";
      inherit (networkmanager.meta) maintainers platforms;
      license = licenses.gpl2Plus;
    };
  