Browse Source

Update edumpi

main
Dustin Frisch 5 months ago
parent
commit
1302b05a6e
No known key found for this signature in database GPG Key ID: B4C3BF012D9B26BE
  1. 4
      packages/edumpi/default.nix

4
packages/edumpi/default.nix

@ -36,8 +36,8 @@ stdenv.mkDerivation {
src = fetchFromGitHub { src = fetchFromGitHub {
owner = "AnnaLena77"; owner = "AnnaLena77";
repo = "EduMPI"; repo = "EduMPI";
rev = "ee07355904db5b1e7f637498259b34d85edd2023";
hash = "sha256-0EQdVLHUAiMUufCy9CfBvWbXmYDpy/i/Cw77DZU+0mc=";
rev = "9a6989e26cad9264e62d10bbff02324d506cc674";
hash = "sha256-s+1/2VYrEU8TVw/wR4N93N2rrC4JylVV+EavsB21Gb4=";
fetchSubmodules = true; fetchSubmodules = true;
}; };

Loading…
Cancel
Save