Browse Source

Update EduMPI

main
Dustin Frisch 1 day ago
parent
commit
67c160bed4
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 {
owner = "AnnaLena77";
repo = "EduMPI";
rev = "9eb459562cb33e47dfb2f7ca34a0af394cc1b67c";
hash = "sha256-rE6IpViUiqeVHLUMvRHJ0lXMuO1aLwnsn41z0uKm9jo=";
rev = "701697cb63de3de6ce95df341229f62e2e32daaf";
hash = "sha256-lcgySczWcDztx0P8CEhp4bdDVeHEYjlp5zAo2GjuAq8=";
fetchSubmodules = true;
};

Loading…
Cancel
Save