Browse Source

Update edumpi

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

6
packages/edumpi/default.nix

@ -27,13 +27,13 @@
stdenv.mkDerivation { stdenv.mkDerivation {
pname = "edumpi"; pname = "edumpi";
version = "975c54";
version = "407386";
src = fetchFromGitHub { src = fetchFromGitHub {
owner = "AnnaLena77"; owner = "AnnaLena77";
repo = "EduMPI"; repo = "EduMPI";
rev = "b3a503462e261bc40a9191736e73ea9a2a19c219";
hash = "sha256-WZtMjyVMKj/bILJEIEXQAD0qGZgbgu1s1tGvjmzRI7g=";
rev = "40738625c769b1233bc8f61806becda9061b1301";
hash = "sha256-iqOagYduKxxyf/rflv+UZnYfWmjSEjmQPk2owLEQeDQ=";
fetchSubmodules = true; fetchSubmodules = true;
}; };

Loading…
Cancel
Save