1 files changed, 0 insertions, 33 deletions
diff --git a/pkgs/os-specific/linux/pps-tools/default.nix b/pkgs/os-specific/linux/pps-tools/default.nix
deleted file mode 100644
index 66754e5148ec..000000000000
--- a/pkgs/os-specific/linux/pps-tools/default.nix
+++ /dev/null
@@ -1,33 +0,0 @@
-{ lib, stdenv, fetchFromGitHub }:
-
-stdenv.mkDerivation rec {
-  pname = "pps-tools";
-  version = "1.0.3";
-
-  src = fetchFromGitHub {
-    owner = "redlab-i";
-    repo = pname;
-    rev = "v${version}";
-    sha256 = "sha256-eLLFHrCgOQzOtVxlAsZ5X91KK+vZiKMGL7zbQFiIZtI=";
-  };
-
-  outputs = [ "out" "dev" ];
-
-  installPhase = ''
-    mkdir -p $out/bin
-    mkdir -p $dev/include
-    mkdir -p $out/{usr/bin,usr/include/sys}
-    make install DESTDIR=$out
-    mv $out/usr/bin/* $out/bin
-    mv $out/usr/include/* $dev/include/
-    rm -rf $out/usr/
-  '';
-
-  meta = with lib; {
-    description = "User-space tools for LinuxPPS";
-    homepage = "http://linuxpps.org/";
-    license = licenses.gpl2Plus;
-    platforms = platforms.linux;
-    maintainers = with maintainers; [ sorki ];
-  };
-}