Commit 65257546 authored by R. RyanTM's avatar R. RyanTM
Browse files

ikos: 3.4 -> 3.5

parent ffd125e2

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 = [