Merge pull request #203373 from dpzmick/master

This commit is contained in:
Sandro 2023-01-10 11:48:16 +01:00 committed by GitHub
commit a633e8b465
No known key found for this signature in database
GPG key ID: 4AEE18F83AFDEB23

View file

@ -141,7 +141,8 @@ stdenv.mkDerivation rec {
license = lib.licenses.gpl3Plus;
platforms = with platforms; linux ++ cygwin ++ darwin;
# GDB upstream does not support ARM darwin
platforms = with platforms; linux ++ cygwin ++ ["x86_64-darwin"];
maintainers = with maintainers; [ pierron globin lsix ];
};
}