{"name":"haskellPackages.crucible","version":"0.9","summary":"Crucible is a library for language-agnostic symbolic simulation","systems":{"aarch64-darwin":{"flake_installable":{"ref":{"type":"github","owner":"NixOS","repo":"nixpkgs","rev":"55ba7f49ef2962b42cbd126522b7df5f95037679"},"attr_path":"haskellPackages.crucible"},"last_updated":"2026-10-02T22:55:44Z","outputs":[{"name":"out","path":"/nix/store/bg7gx2rspfhxx68dgid2kxlb6brnqrpi-crucible-0.9","default":true},{"name":"doc","path":"/nix/store/kaqc6vk7kl5ykya58f2v7ryzx3j720nn-crucible-0.9-doc"}]},"aarch64-linux":{"flake_installable":{"ref":{"type":"github","owner":"NixOS","repo":"nixpkgs","rev":"55ba7f49ef2962b42cbd126522b7df5f95037679"},"attr_path":"haskellPackages.crucible"},"last_updated":"2026-10-02T22:55:44Z","outputs":[{"name":"out","path":"/nix/store/vg89cixgsm2qgwkybp68dah94kbwxsmp-crucible-0.9","default":true},{"name":"doc","path":"/nix/store/2v2cw6dl0kvkc3z3vc3lqnlmkmxabl5x-crucible-0.9-doc"}]},"x86_64-darwin":{"flake_installable":{"ref":{"type":"github","owner":"NixOS","repo":"nixpkgs","rev":"3d46470bb3030020f7e1361f33514854f5bfa86d"},"attr_path":"haskellPackages.crucible"},"last_updated":"2026-06-27T07:37:20Z","outputs":[{"name":"out","path":"/nix/store/vyl0xy69vqn1fcil4qlchlvrs1sprwy2-crucible-0.9","default":true},{"name":"doc","path":"/nix/store/928mih8s9fw7afjkk90rw9wrzac9648v-crucible-0.9-doc"}]},"x86_64-linux":{"flake_installable":{"ref":{"type":"github","owner":"NixOS","repo":"nixpkgs","rev":"55ba7f49ef2962b42cbd126522b7df5f95037679"},"attr_path":"haskellPackages.crucible"},"last_updated":"2026-10-02T22:55:44Z","outputs":[{"name":"out","path":"/nix/store/vmrfi507y3nsip34nm5ijqlcnp473b2l-crucible-0.9","default":true},{"name":"doc","path":"/nix/store/xhfdahb1fri7izk335dyp86qvq26sgja-crucible-0.9-doc"}]}}}