nordic-dev.net/nixpkgs
nordic-dev.net/nixpkgs
2
0
Fork 0
mirror of https://github.com/NixOS/nixpkgs.git synced 2024-11-22 15:03:28 +00:00
Code Issues Packages Projects Releases Wiki Activity

ikos: 3.3 -> 3.4 (#346146)

Browse Source
This commit is contained in:
Nick Cao 2024-10-03 16:18:28 -04:00 committed by GitHub
commit ccf76a3c83
No known key found for this signature in database
GPG Key ID: B5690EEEBB952194
1 changed files with 2 additions and 2 deletions
Show Stats Download Patch File Download Diff File Expand all files Collapse all files

4
pkgs/development/tools/analysis/ikos/default.nix
View File

@ -20,13 +20,13 @@
stdenv.mkDerivation rec {
pname = "ikos";
version = "3.3";
version = "3.4";
src = fetchFromGitHub {
owner = "NASA-SW-VnV";
repo = "ikos";
rev = "v${version}";
hash = "sha256-4/M0fyqvzdr0aBPCUuLiBgqMOrHEmikkIjQMB9KSrdo=";
hash = "sha256-xJuSpQHShggDqLVQaj0a0fEPOWUFIrbGmxazu4FKISs=";
};
nativeBuildInputs = [