diff options
| author | Will Dietz <w@wdtz.org> | 2019-05-05 22:12:10 -0500 |
|---|---|---|
| committer | Will Dietz <w@wdtz.org> | 2019-05-06 23:39:56 -0500 |
| commit | 5fe05474575a7dcedbdf4a8acd80eae31313705f (patch) | |
| tree | e567c798891e337953ca4747427dd8441dc5756e /pkgs/development/tools/misc/creduce/default.nix | |
| parent | 5e407fcbb03c5a4b3cde91317157238adda24887 (diff) | |
| download | nixpkgs-5fe05474575a7dcedbdf4a8acd80eae31313705f.tar nixpkgs-5fe05474575a7dcedbdf4a8acd80eae31313705f.tar.gz nixpkgs-5fe05474575a7dcedbdf4a8acd80eae31313705f.tar.bz2 nixpkgs-5fe05474575a7dcedbdf4a8acd80eae31313705f.tar.lz nixpkgs-5fe05474575a7dcedbdf4a8acd80eae31313705f.tar.xz nixpkgs-5fe05474575a7dcedbdf4a8acd80eae31313705f.tar.zst nixpkgs-5fe05474575a7dcedbdf4a8acd80eae31313705f.zip | |
creduce: 2.8.0 -> 2.9.0, llvm7
Diffstat (limited to 'pkgs/development/tools/misc/creduce/default.nix')
| -rw-r--r-- | pkgs/development/tools/misc/creduce/default.nix | 8 |
1 files changed, 4 insertions, 4 deletions
diff --git a/pkgs/development/tools/misc/creduce/default.nix b/pkgs/development/tools/misc/creduce/default.nix index a2b487a4bcc..1aa17bac750 100644 --- a/pkgs/development/tools/misc/creduce/default.nix +++ b/pkgs/development/tools/misc/creduce/default.nix @@ -7,12 +7,12 @@ }: stdenv.mkDerivation rec { - name = "creduce-${version}"; - version = "2.8.0"; + pname = "creduce"; + version = "2.9.0"; src = fetchurl { - url = "https://embed.cs.utah.edu/creduce/${name}.tar.gz"; - sha256 = "1vqx73ymfscvlyig03972a5m7ar3gx2yv6m8c6h2mibz792j5xkp"; + url = "https://embed.cs.utah.edu/${pname}/${pname}-${version}.tar.gz"; + sha256 = "1b833z0g1hich68kzbkpfc26xb8w2phfl5savy8c6ir9ihwy1a8w"; }; nativeBuildInputs = [ cmake makeWrapper ]; |