anchor.diff:          "-w"
         ] ++ extraLdflags;
       } // args);
  +
  +  mkPythonPackage =
  +    { meta
  +    , pname
  +    , src
  +    , version
  +    , ...
  +    }: python3Packages.callPackage
  +      ({ buildPythonPackage, pythonOlder, parver, pulumi, semver }:
  +      buildPythonPackage rec {
  +        inherit pname meta src version;
  +        format = "setuptools";
  +
  +        disabled = pythonOlder "3.7";
  +
  +        sourceRoot = "${src.name}/sdk/python";
  +
  +        propagatedBuildInputs = [
  +          parver
  +          pulumi
  +          semver
  +        ];
  +
  +        postPatch = ''
  +          sed -i \
  +            -e 's/^VERSION = .*/VERSION = "${version}"/g' \
  +            -e 's/^PLUGIN_VERSION = .*/PLUGIN_VERSION = "${version}"/g' \
  +            setup.py
  +        '';
  +
  +        # Auto-generated; upstream does not have any tests.
  +        # Verify that the version substitution works
  +        checkPhase = ''
  +          runHook preCheck
  +
  +          pip show "${pname}" | grep "Version: ${version}" > /dev/null \
  +            || (echo "ERROR: Version substitution seems to be broken"; exit 1)
  +
  +          runHook postCheck
  +        '';
  +
  +        pythonImportsCheck = [
  +          (builtins.replaceStrings [ "-" ] [ "_" ] pname)
  +        ];
  +      })
  +      { };
   in
   { owner
   , repo
  
positive.code: 
      VERSION=v${version} go generate cmd/${cmdRes}/main.go
    '';
  } // args)
  
negative.code: { buildGoModule
  , fetchFromGitHub
  , python3Packages
  }:
  let
    mkBasePackage =
  