filet: remove
This commit is contained in:
@@ -1,28 +0,0 @@
|
||||
{
|
||||
lib,
|
||||
stdenv,
|
||||
fetchFromGitHub,
|
||||
}:
|
||||
|
||||
stdenv.mkDerivation rec {
|
||||
pname = "filet";
|
||||
version = "0.1.3";
|
||||
|
||||
src = fetchFromGitHub {
|
||||
owner = "buffet";
|
||||
repo = "filet";
|
||||
rev = version;
|
||||
sha256 = "0hm7589ih30axafqxhhs4fg1pvfhlqzyzzmfi2ilx8haq5111fsf";
|
||||
};
|
||||
|
||||
makeFlags = [ "PREFIX=$(out)" ];
|
||||
|
||||
meta = with lib; {
|
||||
description = "Fucking fucking fast file fucker (afffff)";
|
||||
homepage = "https://github.com/buffet/filet";
|
||||
license = licenses.mpl20;
|
||||
platforms = platforms.all;
|
||||
maintainers = [ ];
|
||||
mainProgram = "filet";
|
||||
};
|
||||
}
|
||||
@@ -400,6 +400,7 @@ mapAliases {
|
||||
ffmpeg_5-full = throw "ffmpeg_5-full has been removed, please use another version"; # Added 2024-07-12
|
||||
FIL-plugins = fil-plugins; # Added 2024-06-12
|
||||
fileschanged = throw "'fileschanged' has been removed as it is unmaintained upstream"; # Added 2024-04-19
|
||||
filet = throw "'filet' has been removed as the upstream repo has been deleted"; # Added 2025-02-07
|
||||
finger_bsd = bsd-finger;
|
||||
fingerd_bsd = bsd-fingerd;
|
||||
fira-code-nerdfont = lib.warnOnInstantiate "fira-code-nerdfont is redundant. Use nerd-fonts.fira-code instead." nerd-fonts.fira-code; # Added 2024-11-10
|
||||
|
||||
Reference in New Issue
Block a user