{"name":"haskellPackages.crucible","version":"0.8.0.0","summary":"Crucible is a library for language-agnostic symbolic simulation","systems":{"aarch64-darwin":{"flake_installable":{"ref":{"type":"github","owner":"NixOS","repo":"nixpkgs","rev":"a1bab9e494f5f4939442a57a58d0449a109593fe"},"attr_path":"haskellPackages.crucible"},"last_updated":"2026-01-23T17:20:52Z","outputs":[{"name":"out","path":"/nix/store/cwq5s48f865mnfnv13mhmzsb6d275fib-crucible-0.8.0.0","default":true},{"name":"doc","path":"/nix/store/7xf8gcy73amnsdpq83gg8bry0wqwm7c5-crucible-0.8.0.0-doc"}]},"aarch64-linux":{"flake_installable":{"ref":{"type":"github","owner":"NixOS","repo":"nixpkgs","rev":"a1bab9e494f5f4939442a57a58d0449a109593fe"},"attr_path":"haskellPackages.crucible"},"last_updated":"2026-01-23T17:20:52Z","outputs":[{"name":"out","path":"/nix/store/n0rkvinb8dgqkj71rnx4y5yrrxd8aspq-crucible-0.8.0.0","default":true},{"name":"doc","path":"/nix/store/8pyx0iwkv84krvz1gapcry6h9z6s32zn-crucible-0.8.0.0-doc"}]},"x86_64-darwin":{"flake_installable":{"ref":{"type":"github","owner":"NixOS","repo":"nixpkgs","rev":"a1bab9e494f5f4939442a57a58d0449a109593fe"},"attr_path":"haskellPackages.crucible"},"last_updated":"2026-01-23T17:20:52Z","outputs":[{"name":"out","path":"/nix/store/b7vkvklxbmzwsv8n7bjbyyn2yzsh8nvs-crucible-0.8.0.0","default":true},{"name":"doc","path":"/nix/store/r5g95w3s22lxbpf9fhsrvr42iqrm664y-crucible-0.8.0.0-doc"}]},"x86_64-linux":{"flake_installable":{"ref":{"type":"github","owner":"NixOS","repo":"nixpkgs","rev":"a1bab9e494f5f4939442a57a58d0449a109593fe"},"attr_path":"haskellPackages.crucible"},"last_updated":"2026-01-23T17:20:52Z","outputs":[{"name":"out","path":"/nix/store/j4ssyb34p18w2rbdidiphs9wm85mv715-crucible-0.8.0.0","default":true},{"name":"doc","path":"/nix/store/brjx0sa8whmnmwv5f2gvhw48l7f21i25-crucible-0.8.0.0-doc"}]}}}