Merge pull request #129196 from adisbladis/subsurface-5_0_2

}:

let

  version = "5.0.1";

  version = "5.0.2";

  subsurfaceSrc = (fetchFromGitHub {

    owner = "Subsurface";

    repo = "subsurface";

    rev = "v${version}";

    sha256 = "01r836ckvrmgprjf4cqxn2n3w5w4pa2fjrhspjndsspic8nwlrwg";

    sha256 = "1yay06m8p9qp2ghrg8dxavdq55y09apcgdnb7rihgs3hq86k539n";

    fetchSubmodules = true;

  });