{"name":"klee","version":"2.3","summary":"A symbolic virtual machine built on top of LLVM","systems":{"x86_64-linux":{"flake_installable":{"ref":{"type":"github","owner":"NixOS","repo":"nixpkgs","rev":"4d887ae7666a6ffb79e1767d8fd417daf9e4220f"},"attr_path":"klee"},"last_updated":"2023-06-18T07:20:12Z","outputs":[{"name":"out","path":"/nix/store/k6ihrdxv1bcamgm4azzy6ssc2fqaq1cd-klee-2.3","default":true}]}}}