Unverified Commit 6e3de242 authored by Nick Cao's avatar Nick Cao Committed by GitHub
Browse files

ikos: 3.4 -> 3.5 (#369827)

parents 7f54c73c 65257546

pkgs/development/tools/analysis/ikos/default.nix

+2 −2
Original line number Diff line number Diff line
@@ -20,13 +20,13 @@ 


stdenv.mkDerivation rec {

  pname = "ikos";

  version = "3.4";

  version = "3.5";



  src = fetchFromGitHub {

    owner = "NASA-SW-VnV";

    repo = "ikos";

    rev = "v${version}";

    hash = "sha256-xJuSpQHShggDqLVQaj0a0fEPOWUFIrbGmxazu4FKISs=";

    hash = "sha256-kqgGD0plTW0N30kD7Y8xOvGODplJbi37Wh6yYAkzNKI=";

  };



  nativeBuildInputs = [