{"name":"klee","version":"3.0","summary":"A symbolic virtual machine built on top of LLVM","systems":{"x86_64-linux":{"flake_installable":{"ref":{"type":"github","owner":"NixOS","repo":"nixpkgs","rev":"fe4295b9ecd88764c1abf6179e03b1a828ca0e9a"},"attr_path":"klee"},"last_updated":"2024-04-06T07:33:28Z","outputs":[{"name":"out","path":"/nix/store/mf715k7yc8zkjvnb5hykw4wf4czs6mr9-klee-3.0","default":true}]}}}