Browse Source

chore(deps): update edumpi

main
Dustin Frisch 2 months ago
parent
commit
78a155f76f
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 = "40738625c769b1233bc8f61806becda9061b1301";
hash = "sha256-iqOagYduKxxyf/rflv+UZnYfWmjSEjmQPk2owLEQeDQ=";
rev = "9eb459562cb33e47dfb2f7ca34a0af394cc1b67c";
hash = "sha256-rE6IpViUiqeVHLUMvRHJ0lXMuO1aLwnsn41z0uKm9jo=";
fetchSubmodules = true; fetchSubmodules = true;
}; };

Loading…
Cancel
Save