philter: remove

main
Armeen Mahdian 2 years ago
parent 6e4f70e880
commit 2158b4f411
  1. 32
      pkgs/tools/networking/philter/default.nix
  2. 2
      pkgs/top-level/aliases.nix
  3. 2
      pkgs/top-level/all-packages.nix

@ -1,32 +0,0 @@
{ lib, stdenv, fetchurl, python2 }:
stdenv.mkDerivation rec {
pname = "philter";
version = "1.1";
src = fetchurl {
url = "mirror://sourceforge/philter/${pname}-${version}.tar.gz";
sha256 = "177pqfflhdn2mw9lc1wv9ik32ji69rjqr6dw83hfndwlsva5151l";
};
installPhase = ''
mkdir -p "$out"/{bin,share/philter}
cp .philterrc "$out"/share/philter/philterrc
sed -i 's@/usr/local/bin@${python2}/bin@' src/philter.py
cp src/philter.py "$out"/bin/philter
chmod +x "$out"/bin/philter
'';
meta = with lib; {
description = "Mail sorter for Maildirs";
homepage = "http://philter.sourceforge.net";
maintainers = with maintainers; [ raskin ];
platforms = platforms.all;
license = licenses.gpl2;
};
passthru = {
updateInfo = {
downloadPage = "http://philter.sourceforge.net/";
};
};
}

@ -933,8 +933,8 @@ mapAliases ({
pgadmin3 = throw "pgadmin3 was removed for being unmaintained, use pgadmin4 instead."; # Added 2022-03-30
pgp-tools = throw "'pgp-tools' has been renamed to/replaced by 'signing-party'"; # Converted to throw 2022-02-22
pg_tmp = throw "'pg_tmp' has been renamed to/replaced by 'ephemeralpg'"; # Converted to throw 2022-02-22
phantomjs = throw "phantomjs 1.9.8 has been dropped due to lack of maintenance and security issues"; # Added 2022-02-20
philter = throw "philter has been removed: abandoned by upstream"; # Added 2022-04-26
# Obsolete PHP version aliases
php73 = throw "php73 has been dropped due to the lack of maintanence from upstream for future releases"; # Added 2021-06-03

@ -9238,8 +9238,6 @@ with pkgs;
pfstools = libsForQt5.callPackage ../tools/graphics/pfstools { };
philter = callPackage ../tools/networking/philter { };
phoc = callPackage ../applications/misc/phoc {
wlroots = wlroots_0_14;
};

Loading…
Cancel
Save