{"name":"haskellPackages.crucible","version":"0.7.2","summary":"Crucible is a library for language-agnostic symbolic simulation","systems":{"aarch64-darwin":{"flake_installable":{"ref":{"type":"github","owner":"NixOS","repo":"nixpkgs","rev":"ee09932cedcef15aaf476f9343d1dea2cb77e261"},"attr_path":"haskellPackages.crucible"},"last_updated":"2025-11-23T21:50:36Z","outputs":[{"name":"out","path":"/nix/store/2d634nk41qzilvv3p9d9ki4l8vvr2c77-crucible-0.7.2","default":true},{"name":"doc","path":"/nix/store/hdcxxx4dpzprki5pvlr7rh2qi3hpkmqx-crucible-0.7.2-doc"}]},"aarch64-linux":{"flake_installable":{"ref":{"type":"github","owner":"NixOS","repo":"nixpkgs","rev":"ee09932cedcef15aaf476f9343d1dea2cb77e261"},"attr_path":"haskellPackages.crucible"},"last_updated":"2025-11-23T21:50:36Z","outputs":[{"name":"out","path":"/nix/store/9k01wz5zyxagzja46i3slppskavsh9ph-crucible-0.7.2","default":true},{"name":"doc","path":"/nix/store/2w9xgvp8zy7knaqc5ycqh6jjd4skh1sy-crucible-0.7.2-doc"}]},"x86_64-darwin":{"flake_installable":{"ref":{"type":"github","owner":"NixOS","repo":"nixpkgs","rev":"ee09932cedcef15aaf476f9343d1dea2cb77e261"},"attr_path":"haskellPackages.crucible"},"last_updated":"2025-11-23T21:50:36Z","outputs":[{"name":"out","path":"/nix/store/mn3qhwkgw78lvdq8gxgi4jjbd2h8dlnc-crucible-0.7.2","default":true},{"name":"doc","path":"/nix/store/3a85yd6n8kb2wczfnn9lqp4f8qhzv5w3-crucible-0.7.2-doc"}]},"x86_64-linux":{"flake_installable":{"ref":{"type":"github","owner":"NixOS","repo":"nixpkgs","rev":"ee09932cedcef15aaf476f9343d1dea2cb77e261"},"attr_path":"haskellPackages.crucible"},"last_updated":"2025-11-23T21:50:36Z","outputs":[{"name":"out","path":"/nix/store/50y40fx09m1g1672n5hf31mnlmpc4qrk-crucible-0.7.2","default":true},{"name":"doc","path":"/nix/store/5jl37gjy8yijsvi609xj203fmrc3bb4z-crucible-0.7.2-doc"}]}}}