{"name":"klee","version":"2.2","summary":"A symbolic virtual machine built on top of LLVM","systems":{"x86_64-linux":{"flake_installable":{"ref":{"type":"github","owner":"NixOS","repo":"nixpkgs","rev":"d63774ae64431366be4d1f2aede50e52204c7d6c"},"attr_path":"klee"},"last_updated":"2022-07-03T11:24:00Z","outputs":[{"name":"out","path":"/nix/store/k6kh34z4lzyzci5kp8d728mdppnj93yk-klee-2.2","default":true}]}}}