Merge pull request #309136 from TomaSajt/getdp

getdp: fix hash
This commit is contained in:
Nick Cao 2024-05-05 10:05:42 -04:00 committed by GitHub
commit f68bc714df
No known key found for this signature in database
GPG Key ID: B5690EEEBB952194

View File

@ -5,7 +5,7 @@ stdenv.mkDerivation rec {
version = "3.6.0";
src = fetchurl {
url = "http://getdp.info/src/getdp-${version}-source.tgz";
sha256 = "sha256-N1cb72W77Dr+TzeHpLgv5FuFb+SJqyGcfn+kOfEvZgA=";
hash = "sha256-nzefwCV+Z9BHDofuTfhR+vhqm3cCSiUT+7cbtn601N8=";
};
inherit (petsc) mpiSupport;