Skip to content

Commit

Permalink
fix: hash of seL4test src
Browse files Browse the repository at this point in the history
  • Loading branch information
wucke13 committed Aug 13, 2024
1 parent 28f2e1a commit 5cbee6c
Showing 1 changed file with 1 addition and 2 deletions.
3 changes: 1 addition & 2 deletions pkgs/seL4-test.nix
Original file line number Diff line number Diff line change
Expand Up @@ -21,8 +21,7 @@ stdenvNoLibs.mkDerivation rec {
src = fetchGoogleRepoTool {
url = "https://github.com/seL4/sel4test-manifest.git";
rev = version;
hash = "sha256-/SexWcq6GYaAomqsRpwSsyYY40l0qUedVg+dhkJFHao=";
latestCommitTimestamp = "2024-07-08";
hash = "sha256-mEcimqgii4ohiJbXz1pNSqthWObrbnLmqEn8yQpkUKo=";
};

nativeBuildInputs = [
Expand Down

0 comments on commit 5cbee6c

Please sign in to comment.