ikos: 3.0 → 3.1
This commit is contained in:
parent
4caa6fd07f
commit
e0390ce209
|
@ -11,13 +11,13 @@ in
|
|||
|
||||
stdenv.mkDerivation rec {
|
||||
pname = "ikos";
|
||||
version = "3.0";
|
||||
version = "3.1";
|
||||
|
||||
src = fetchFromGitHub {
|
||||
owner = "NASA-SW-VnV";
|
||||
repo = "ikos";
|
||||
rev = "v${version}";
|
||||
sha256 = "0k3kp1af0qx3l1x6a4sl4fm8qlwchjvwkvs2ck0fhfnc62q2im5f";
|
||||
hash = "sha256-scaFkUhCkIi41iR6CGPbEndzXkgqTKMb3PDNvhgVbCE=";
|
||||
};
|
||||
|
||||
patches = fetchpatch {
|
||||
|
|
|
@ -19196,7 +19196,8 @@ with pkgs;
|
|||
iconnamingutils = callPackage ../development/tools/misc/icon-naming-utils { };
|
||||
|
||||
ikos = callPackage ../development/tools/analysis/ikos {
|
||||
inherit (llvmPackages_9) stdenv clang llvm;
|
||||
inherit (llvmPackages_14) stdenv clang llvm;
|
||||
tbb = tbb_2021_8;
|
||||
};
|
||||
|
||||
img = callPackage ../development/tools/img { };
|
||||
|
|
Loading…
Reference in a new issue