Merge pull request #146723 from dtzWill/update/creduce-2.10.0

creduce: 2.9.0 -> 2.10.0
This commit is contained in:
Thiago Kenji Okada 2021-11-20 18:51:46 -03:00 committed by GitHub
commit 5dc63731fb
No known key found for this signature in database
GPG Key ID: 4AEE18F83AFDEB23
2 changed files with 3 additions and 3 deletions

View File

@ -8,11 +8,11 @@
stdenv.mkDerivation rec {
pname = "creduce";
version = "2.9.0";
version = "2.10.0";
src = fetchurl {
url = "https://embed.cs.utah.edu/${pname}/${pname}-${version}.tar.gz";
sha256 = "1b833z0g1hich68kzbkpfc26xb8w2phfl5savy8c6ir9ihwy1a8w";
sha256 = "2xwPEjln8k1iCwQM69UwAb89zwPkAPeFVqL/LhH+oGM=";
};
nativeBuildInputs = [ cmake makeWrapper llvm.dev ];

View File

@ -14319,7 +14319,7 @@ with pkgs;
credstash = with python3Packages; toPythonApplication credstash;
creduce = callPackage ../development/tools/misc/creduce {
inherit (llvmPackages_7) llvm libclang;
inherit (llvmPackages_8) llvm libclang;
};
cscope = callPackage ../development/tools/misc/cscope { };