{"name":"haskellPackages.crucible-llvm","version":"0.7.1","summary":"Support for translating and executing LLVM code in Crucible","systems":{"aarch64-darwin":{"flake_installable":{"ref":{"type":"github","owner":"NixOS","repo":"nixpkgs","rev":"f4b140d5b253f5e2a1ff4e5506edbf8267724bde"},"attr_path":"haskellPackages.crucible-llvm"},"last_updated":"2025-09-18T16:33:27Z","outputs":[{"name":"out","path":"/nix/store/2r72z8yw69cfhfs49xaakg94l10pkwaw-crucible-llvm-0.7.1","default":true},{"name":"doc","path":"/nix/store/4f8cglb9314a06c3lddgwzm9645k30cq-crucible-llvm-0.7.1-doc"}]},"aarch64-linux":{"flake_installable":{"ref":{"type":"github","owner":"NixOS","repo":"nixpkgs","rev":"f4b140d5b253f5e2a1ff4e5506edbf8267724bde"},"attr_path":"haskellPackages.crucible-llvm"},"last_updated":"2025-09-18T16:33:27Z","outputs":[{"name":"out","path":"/nix/store/kjwnrv1k7nnrwpdxvnbrbb6c126vdzrz-crucible-llvm-0.7.1","default":true},{"name":"doc","path":"/nix/store/6ni8ghmjgqdsx9ww9cbfjfawdppprvyy-crucible-llvm-0.7.1-doc"}]},"x86_64-darwin":{"flake_installable":{"ref":{"type":"github","owner":"NixOS","repo":"nixpkgs","rev":"f4b140d5b253f5e2a1ff4e5506edbf8267724bde"},"attr_path":"haskellPackages.crucible-llvm"},"last_updated":"2025-09-18T16:33:27Z","outputs":[{"name":"out","path":"/nix/store/nhr901yjhaf16acyy8j2m8z6a4hmlvga-crucible-llvm-0.7.1","default":true},{"name":"doc","path":"/nix/store/2vbwd9kw37jld18fs25bm0kvg3mmd6fh-crucible-llvm-0.7.1-doc"}]},"x86_64-linux":{"flake_installable":{"ref":{"type":"github","owner":"NixOS","repo":"nixpkgs","rev":"f4b140d5b253f5e2a1ff4e5506edbf8267724bde"},"attr_path":"haskellPackages.crucible-llvm"},"last_updated":"2025-09-18T16:33:27Z","outputs":[{"name":"out","path":"/nix/store/crfsxwfng0x3gbvsvb9sc8zn8lvdqivk-crucible-llvm-0.7.1","default":true},{"name":"doc","path":"/nix/store/jhmhs6jqk12jl7zr4rgpvxc699jhl5pv-crucible-llvm-0.7.1-doc"}]}}}