Michael Daniels f8776aff47
treewide: remove maintainers with deleted GitHub accounts
Each of these maintainers came up in maintainers/scripts/check-maintainer-usernames.

I have manually verified that each of their IDs and usernames 404 when using the API calls
https://api.github.com/user/$ID, https://api.github.com/users/$USERNAME,
and https://api.github.com/users/$USERNAME/starred.
2025-06-26 10:02:59 -04:00

41 lines
812 B
Nix

{
lib,
stdenv,
fetchFromGitHub,
ffmpeg,
makeWrapper,
}:
stdenv.mkDerivation rec {
pname = "gifgen";
version = "1.2.0";
src = fetchFromGitHub {
owner = "lukechilds";
repo = "gifgen";
rev = version;
hash = "sha256-ni9RL4LyMejmu8vm5HC8WSTqAPQMBQNRDOZ4ZfvrkSU=";
};
nativeBuildInputs = [
makeWrapper
];
installPhase = ''
runHook preInstall
install -Dm755 gifgen $out/bin/gifgen
wrapProgram $out/bin/gifgen \
--prefix PATH : ${lib.makeBinPath [ ffmpeg ]}
runHook postInstall
'';
meta = with lib; {
description = "Simple high quality GIF encoding";
homepage = "https://github.com/lukechilds/gifgen";
license = licenses.mit;
maintainers = with maintainers; [ ];
mainProgram = "gifgen";
platforms = platforms.all;
};
}