opengrok: set platforms

2023-05-24 12:12:56 +03:00
parent 18299c2805
commit 8e655eca62
1 changed files with 1 additions and 0 deletions
@@ -28,5 +28,6 @@ stdenv.mkDerivation rec {
    homepage = "https://opengrok.github.io/OpenGrok/";
    license = licenses.cddl;
    maintainers = [ ];
+    platforms = platforms.all;
  };
 }