yourkit-java: refine meta info

2023-12-30 15:39:37 -08:00
parent dd7a04b36a
commit 7ea650ca3f
1 changed files with 2 additions and 1 deletions
@@ -31,9 +31,10 @@ stdenv.mkDerivation rec {

  meta = with lib; {
    homepage = "https://www.yourkit.com";
-    description = "Award winning, fully featured low overhead profiler for Java EE and Java SE platforms.";
+    description = "Award winning, fully featured low overhead profiler for Java EE and Java SE platforms";
    license = licenses.unfree;
    maintainers = with maintainers; [ herberteuler ];
    platforms = platforms.linux;
+    sourceProvenance = with sourceTypes; [ binaryBytecode ];
  };
 }