diff options
Diffstat (limited to 'pkgs/tools/misc/time/default.nix')
-rw-r--r-- | pkgs/tools/misc/time/default.nix | 13 |
1 files changed, 6 insertions, 7 deletions
diff --git a/pkgs/tools/misc/time/default.nix b/pkgs/tools/misc/time/default.nix index 8707309937b..1df89b32383 100644 --- a/pkgs/tools/misc/time/default.nix +++ b/pkgs/tools/misc/time/default.nix @@ -1,17 +1,16 @@ -{lib, stdenv, fetchurl}: +{ lib, stdenv, fetchurl }: -stdenv.mkDerivation rec { +stdenv.mkDerivation (finalAttrs: { pname = "time"; version = "1.9"; src = fetchurl { - url = "mirror://gnu/time/${pname}-${version}.tar.gz"; - sha256 = "07jj7cz6lc13iqrpgn81ivqh8rkm73p4rnivwgrrshk23v4g1b7v"; + url = "mirror://gnu/time/time-${finalAttrs.version}.tar.gz"; + hash = "sha256-+6zwyB5iQp3z4zvaTO44dWYE8Y4B2XczjiMwaj47Uh4="; }; meta = { description = "Tool that runs programs and summarizes the system resources they use"; - longDescription = '' The `time' command runs another program, then displays information about the resources used by that program, collected @@ -25,9 +24,9 @@ stdenv.mkDerivation rec { do not provide much information about program resource use; `time' reports unavailable information as zero values. ''; - license = lib.licenses.gpl3Plus; homepage = "https://www.gnu.org/software/time/"; platforms = lib.platforms.unix; + mainProgram = "time"; }; -} +}) |