Merge pull request #262875 from avdv/mediathekview-mainprogram

mediathekview: Set `mainProgram` to "mediathek"
This commit is contained in:
Martin Weinelt 2023-10-23 12:46:38 +02:00 committed by GitHub
commit cd0cae34f6
No known key found for this signature in database
GPG Key ID: 4AEE18F83AFDEB23

View File

@ -42,6 +42,7 @@ stdenv.mkDerivation rec {
homepage = "https://mediathekview.de/";
sourceProvenance = with sourceTypes; [ binaryBytecode ];
license = licenses.gpl3Plus;
mainProgram = "mediathek";
maintainers = with maintainers; [ moredread ];
platforms = platforms.all;
};