anchor.diff:      doxygen = {
         native = [ doxygen ];
         cmakeEnableFlag = "DOXYGEN";
  +    };
  +    man-pages = {
  +      cmakeEnableFlag = "MANPAGES";
       };
       python-support = {
         pythonRuntime = [ python.pkgs.six ];
  
positive.code: , pname ? "gnuradio"
  , versionAttr ? {
    major = "3.9";
    minor = "3";
    patch = "0";
  }
  }:
  
  let
    sourceSha256 = "sha256-jVfExv1CcnlOaaj/XtnfhWAHnQsshZJ1l/zXo0uovdo=";
    featuresInfo = {
      # Needed always
      basic = {
  
negative.code:   patches = [
      # Not accepted upstream, see https://github.com/gnuradio/gnuradio/pull/5227
      ./modtool-newmod-permissions.patch
    ];
    passthru = shared.passthru // {
      # Deps that are potentially overriden and are used inside GR plugins - the same version must
  