Skip to content

Commit

Permalink
Merge pull request #103503 from jcumming/bluespec-maintainer
Browse files Browse the repository at this point in the history
  • Loading branch information
Mic92 authored Nov 12, 2020
2 parents adbcba2 + ccbcbe2 commit d512e50
Show file tree
Hide file tree
Showing 2 changed files with 3 additions and 1 deletion.
2 changes: 2 additions & 0 deletions maintainers/maintainer-list.nix
Original file line number Diff line number Diff line change
Expand Up @@ -3883,6 +3883,8 @@
};
jcumming = {
email = "[email protected]";
github = "jcumming";
githubId = 1982341;
name = "Jack Cummings";
};
jD91mZM2 = {
Expand Down
2 changes: 1 addition & 1 deletion pkgs/development/compilers/bluespec/default.nix
Original file line number Diff line number Diff line change
Expand Up @@ -90,6 +90,6 @@ in stdenv.mkDerivation rec {
platforms = [ "x86_64-linux" ];
# darwin fails at https://github.com/B-Lang-org/bsc/pull/35#issuecomment-583731562
# aarch64 fails, as GHC fails with "ghc: could not execute: opt"
maintainers = with stdenv.lib.maintainers; [ flokli thoughtpolice ];
maintainers = with stdenv.lib.maintainers; [ jcumming thoughtpolice ];
};
}

0 comments on commit d512e50

Please sign in to comment.