pps-tools: 1.0.2 -> 1.0.3

+5 -6
+5 -6
pkgs/os-specific/linux/pps-tools/default.nix
··· 1 { lib, stdenv, fetchFromGitHub }: 2 3 stdenv.mkDerivation rec { 4 - baseName = "pps-tools"; 5 - version = "1.0.2"; 6 - name = "${baseName}-${version}"; 7 8 src = fetchFromGitHub { 9 owner = "redlab-i"; 10 - repo = baseName; 11 rev = "v${version}"; 12 - sha256 = "1yh9g0l59dkq4ci0wbb03qin3c3cizfngmn9jy1vwm5zm6axlxhf"; 13 }; 14 15 outputs = [ "out" "dev" ]; ··· 24 rm -rf $out/usr/ 25 ''; 26 27 - meta = with lib;{ 28 description = "User-space tools for LinuxPPS"; 29 homepage = "http://linuxpps.org/"; 30 license = licenses.gpl2Plus;
··· 1 { lib, stdenv, fetchFromGitHub }: 2 3 stdenv.mkDerivation rec { 4 + pname = "pps-tools"; 5 + version = "1.0.3"; 6 7 src = fetchFromGitHub { 8 owner = "redlab-i"; 9 + repo = pname; 10 rev = "v${version}"; 11 + sha256 = "sha256-eLLFHrCgOQzOtVxlAsZ5X91KK+vZiKMGL7zbQFiIZtI="; 12 }; 13 14 outputs = [ "out" "dev" ]; ··· 23 rm -rf $out/usr/ 24 ''; 25 26 + meta = with lib; { 27 description = "User-space tools for LinuxPPS"; 28 homepage = "http://linuxpps.org/"; 29 license = licenses.gpl2Plus;