Browse Source

Update EduMPI

main
Dustin Frisch 13 hours ago
parent
commit
92010ee643
No known key found for this signature in database GPG Key ID: B4C3BF012D9B26BE
  1. 4
      packages/edumpi/default.nix

4
packages/edumpi/default.nix

@ -32,8 +32,8 @@ stdenv.mkDerivation {
src = fetchFromGitHub { src = fetchFromGitHub {
owner = "AnnaLena77"; owner = "AnnaLena77";
repo = "EduMPI"; repo = "EduMPI";
rev = "701697cb63de3de6ce95df341229f62e2e32daaf";
hash = "sha256-lcgySczWcDztx0P8CEhp4bdDVeHEYjlp5zAo2GjuAq8=";
rev = "eae1f77529008a51cd1e17b50082877eff2ad54c";
hash = "sha256-ixM4HpIhqQWJsTuSSpGMBSKD+wCILsFKgOUSeBuqKxY=";
fetchSubmodules = true; fetchSubmodules = true;
}; };

Loading…
Cancel
Save