Merge pull request #268474 from paveloom/subtitleedit

subtitleedit: 4.0.1 -> 4.0.2
This commit is contained in:
Mario Rodas
2023-11-19 15:12:50 -05:00
committed by GitHub
@@ -1,26 +1,28 @@
{ lib
, stdenv
, copyDesktopItems
, makeDesktopItem
, makeWrapper
, fetchzip
, makeDesktopItem
, nix-update-script
, copyDesktopItems
, icoutils
, makeWrapper
, ffmpeg
, gtk2
, hunspell
, icoutils
, mono
, mpv
, tesseract4
, nix-update-script
}:
stdenv.mkDerivation rec {
pname = "subtitleedit";
version = "4.0.1";
version = "4.0.2";
src = fetchzip {
url = "https://github.com/SubtitleEdit/subtitleedit/releases/download/${version}/SE${lib.replaceStrings [ "." ] [ "" ] version}.zip";
hash = "sha256-Z7NVn4F19Hx55YWPNmbpWZ8yQulXd50bcy2A/8pCqJ4=";
hash = "sha256-kcs2h6HeWniJhGDNsy+EBauXbiDIlLCOJkVOCIzLBzM=";
stripRoot = false;
};
@@ -80,16 +82,16 @@ stdenv.mkDerivation rec {
meta = with lib; {
description = "A subtitle editor";
homepage = "https://nikse.dk/subtitleedit";
license = licenses.gpl3Plus;
longDescription = ''
With Subtitle Edit you can easily adjust a subtitle if it is out of sync with
the video in several different ways. You can also use it for making
new subtitles from scratch (using the time-line /waveform/spectrogram)
or for translating subtitles.
'';
maintainers = with maintainers; [ paveloom ];
homepage = "https://nikse.dk/subtitleedit";
license = licenses.gpl3Plus;
platforms = platforms.all;
sourceProvenance = with sourceTypes; [ binaryNativeCode ];
maintainers = with maintainers; [ paveloom ];
};
}