Merge pull request #252843 from wegank/maui-shell-platforms

maui-shell: set platforms
2023-09-01 23:43:34 +02:00
parent 5bd05aeea3 7c9f832e38
commit 8fa4a9f452
1 changed files with 1 additions and 0 deletions
@@ -83,5 +83,6 @@ mkDerivation rec {
    homepage = "https://github.com/Nitrux/maui-shell";
    license = licenses.lgpl3;
    maintainers = with maintainers; [ onny ];
+    platforms = platforms.linux;
  };
 }