jgmenu: mark linux only

2018-04-05 20:05:26 +02:00
parent 7fea3e2acc
commit 18bc2aeadb
1 changed files with 1 additions and 1 deletions
@@ -34,7 +34,7 @@ stdenv.mkDerivation rec {
    homepage = https://github.com/johanmalm/jgmenu;
    description = "Small X11 menu intended to be used with openbox and tint2";
    license = licenses.gpl2;
-    platforms = platforms.unix;
+    platforms = platforms.linux;
    maintainers = [ maintainers.romildo ];
  };
 }