From 78a155f76f56cecda1aa58191cf877d3385ce543 Mon Sep 17 00:00:00 2001 From: Dustin Frisch Date: Wed, 11 Dec 2024 11:14:53 +0100 Subject: [PATCH] chore(deps): update edumpi --- packages/edumpi/default.nix | 4 ++-- 1 file changed, 2 insertions(+), 2 deletions(-) diff --git a/packages/edumpi/default.nix b/packages/edumpi/default.nix index fdb48f2..6ade8dd 100644 --- a/packages/edumpi/default.nix +++ b/packages/edumpi/default.nix @@ -32,8 +32,8 @@ stdenv.mkDerivation { src = fetchFromGitHub { owner = "AnnaLena77"; repo = "EduMPI"; - rev = "40738625c769b1233bc8f61806becda9061b1301"; - hash = "sha256-iqOagYduKxxyf/rflv+UZnYfWmjSEjmQPk2owLEQeDQ="; + rev = "9eb459562cb33e47dfb2f7ca34a0af394cc1b67c"; + hash = "sha256-rE6IpViUiqeVHLUMvRHJ0lXMuO1aLwnsn41z0uKm9jo="; fetchSubmodules = true; };