{"name":"haskellPackages.crucible-debug","summary":"An interactive debugger for Crucible programs","description":"","homepage_url":"https://hackage.haskell.org/package/crucible-debug","license":"BSD-3-Clause","attribute_paths":["haskellPackages.crucible-debug"],"releases":[{"version":"0.1.0","last_updated":"2025-09-18T16:33:27Z","platforms":[{"arch":"arm64","os":"macOS","system":"aarch64-darwin","attribute_path":"haskellPackages.crucible-debug","commit_hash":"f4b140d5b253f5e2a1ff4e5506edbf8267724bde","date":"2025-09-18T16:33:27Z","outputs":[{"name":"out","path":"/nix/store/8zw2jb4hc5qraxangyknw4xrpdba51bs-crucible-debug-0.1.0","default":true},{"name":"doc","path":"/nix/store/q4yimd2pwwqcbjwqa5wgji5yqqmrakm2-crucible-debug-0.1.0-doc"}],"broken":false,"insecure":false},{"arch":"arm64","os":"Linux","system":"aarch64-linux","attribute_path":"haskellPackages.crucible-debug","commit_hash":"f4b140d5b253f5e2a1ff4e5506edbf8267724bde","date":"2025-09-18T16:33:27Z","outputs":[{"name":"out","path":"/nix/store/0zfmf3gcbyqpwrcii75ya84kl80x252p-crucible-debug-0.1.0","default":true},{"name":"doc","path":"/nix/store/6mnrr5791nlai4m0lpykiz40dw8cnjh7-crucible-debug-0.1.0-doc"}],"broken":false,"insecure":false},{"arch":"x86-64","os":"macOS","system":"x86_64-darwin","attribute_path":"haskellPackages.crucible-debug","commit_hash":"f4b140d5b253f5e2a1ff4e5506edbf8267724bde","date":"2025-09-18T16:33:27Z","outputs":[{"name":"out","path":"/nix/store/b8qb3p8iii8s31b138i9yi29ynr7vcr2-crucible-debug-0.1.0","default":true},{"name":"doc","path":"/nix/store/rkwfh6xdrw9482y4is8qkyx60ahzvs7l-crucible-debug-0.1.0-doc"}],"broken":false,"insecure":false},{"arch":"x86-64","os":"Linux","system":"x86_64-linux","attribute_path":"haskellPackages.crucible-debug","commit_hash":"f4b140d5b253f5e2a1ff4e5506edbf8267724bde","date":"2025-09-18T16:33:27Z","outputs":[{"name":"out","path":"/nix/store/iak85ks08myvny3mw6hlab9anrp0h07p-crucible-debug-0.1.0","default":true},{"name":"doc","path":"/nix/store/amgi3r1c95jhg86aswk1s4ll7wf5fkp2-crucible-debug-0.1.0-doc"}],"broken":false,"insecure":false}],"platforms_summary":"Linux and macOS","outputs_summary":"out, doc","prerelease":false,"broken":false,"insecure":false}]}