{"name":"haskellPackages.crucible","summary":"Crucible is a library for language-agnostic symbolic simulation","description":"","homepage_url":"https://hackage.haskell.org/package/crucible","license":"BSD-3-Clause","attribute_paths":["haskellPackages.crucible"],"releases":[{"version":"0.9","last_updated":"2026-09-29T03:29:29Z","platforms":[{"arch":"arm64","os":"macOS","system":"aarch64-darwin","attribute_path":"haskellPackages.crucible","commit_hash":"b6c8664de9b6cc07fe5666a29f91884ba81197c4","date":"2026-09-29T03:29:29Z","outputs":[{"name":"out","path":"/nix/store/bg7gx2rspfhxx68dgid2kxlb6brnqrpi-crucible-0.9","default":true},{"name":"doc","path":"/nix/store/kaqc6vk7kl5ykya58f2v7ryzx3j720nn-crucible-0.9-doc"}],"broken":false,"insecure":false},{"arch":"arm64","os":"Linux","system":"aarch64-linux","attribute_path":"haskellPackages.crucible","commit_hash":"b6c8664de9b6cc07fe5666a29f91884ba81197c4","date":"2026-09-29T03:29:29Z","outputs":[{"name":"out","path":"/nix/store/vg89cixgsm2qgwkybp68dah94kbwxsmp-crucible-0.9","default":true},{"name":"doc","path":"/nix/store/2v2cw6dl0kvkc3z3vc3lqnlmkmxabl5x-crucible-0.9-doc"}],"broken":false,"insecure":false},{"arch":"x86-64","os":"macOS","system":"x86_64-darwin","attribute_path":"haskellPackages.crucible","commit_hash":"3d46470bb3030020f7e1361f33514854f5bfa86d","date":"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"}],"broken":false,"insecure":false},{"arch":"x86-64","os":"Linux","system":"x86_64-linux","attribute_path":"haskellPackages.crucible","commit_hash":"b6c8664de9b6cc07fe5666a29f91884ba81197c4","date":"2026-09-29T03:29:29Z","outputs":[{"name":"out","path":"/nix/store/vmrfi507y3nsip34nm5ijqlcnp473b2l-crucible-0.9","default":true},{"name":"doc","path":"/nix/store/xhfdahb1fri7izk335dyp86qvq26sgja-crucible-0.9-doc"}],"broken":false,"insecure":false}],"platforms_summary":"Linux and macOS","outputs_summary":"out, doc","prerelease":false,"broken":false,"insecure":false},{"version":"0.8.0.0","last_updated":"2026-01-23T17:20:52Z","platforms":[{"arch":"arm64","os":"macOS","system":"aarch64-darwin","attribute_path":"haskellPackages.crucible","commit_hash":"a1bab9e494f5f4939442a57a58d0449a109593fe","date":"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"}],"broken":false,"insecure":false},{"arch":"arm64","os":"Linux","system":"aarch64-linux","attribute_path":"haskellPackages.crucible","commit_hash":"a1bab9e494f5f4939442a57a58d0449a109593fe","date":"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"}],"broken":false,"insecure":false},{"arch":"x86-64","os":"macOS","system":"x86_64-darwin","attribute_path":"haskellPackages.crucible","commit_hash":"a1bab9e494f5f4939442a57a58d0449a109593fe","date":"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"}],"broken":false,"insecure":false},{"arch":"x86-64","os":"Linux","system":"x86_64-linux","attribute_path":"haskellPackages.crucible","commit_hash":"a1bab9e494f5f4939442a57a58d0449a109593fe","date":"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"}],"broken":false,"insecure":false}],"platforms_summary":"Linux and macOS","outputs_summary":"out, doc","prerelease":false,"broken":false,"insecure":false},{"version":"0.7.2","last_updated":"2025-11-23T21:50:36Z","platforms":[{"arch":"arm64","os":"macOS","system":"aarch64-darwin","attribute_path":"haskellPackages.crucible","commit_hash":"ee09932cedcef15aaf476f9343d1dea2cb77e261","date":"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"}],"broken":false,"insecure":false},{"arch":"arm64","os":"Linux","system":"aarch64-linux","attribute_path":"haskellPackages.crucible","commit_hash":"ee09932cedcef15aaf476f9343d1dea2cb77e261","date":"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"}],"broken":false,"insecure":false},{"arch":"x86-64","os":"macOS","system":"x86_64-darwin","attribute_path":"haskellPackages.crucible","commit_hash":"ee09932cedcef15aaf476f9343d1dea2cb77e261","date":"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"}],"broken":false,"insecure":false},{"arch":"x86-64","os":"Linux","system":"x86_64-linux","attribute_path":"haskellPackages.crucible","commit_hash":"ee09932cedcef15aaf476f9343d1dea2cb77e261","date":"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"}],"broken":false,"insecure":false}],"platforms_summary":"Linux and macOS","outputs_summary":"out, doc","prerelease":false,"broken":false,"insecure":false}]}