Merge pull request #306870 from jopejoe1/arena/meta

arena: update meta
This commit is contained in:
Aleksana 2024-04-26 18:43:44 +08:00 committed by GitHub
commit abd0ca989c
No known key found for this signature in database
GPG Key ID: B5690EEEBB952194
1 changed files with 2 additions and 1 deletions

View File

@ -68,8 +68,9 @@ stdenv.mkDerivation rec {
chess board & DGT clocks and much more.
'';
license = lib.licenses.unfree;
sourceProvenance = with lib.sourceTypes; [ binaryNativeCode ];
homepage = "http://www.playwitharena.de";
platforms = ["x86_64-linux"];
hydraPlatforms = lib.platforms.none;
};
}