{"name":"haskellPackages.crucible-debug","version":"0.1.0","summary":"An interactive debugger for Crucible programs","systems":{"aarch64-darwin":{"flake_installable":{"ref":{"type":"github","owner":"NixOS","repo":"nixpkgs","rev":"f4b140d5b253f5e2a1ff4e5506edbf8267724bde"},"attr_path":"haskellPackages.crucible-debug"},"last_updated":"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"}]},"aarch64-linux":{"flake_installable":{"ref":{"type":"github","owner":"NixOS","repo":"nixpkgs","rev":"f4b140d5b253f5e2a1ff4e5506edbf8267724bde"},"attr_path":"haskellPackages.crucible-debug"},"last_updated":"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"}]},"x86_64-darwin":{"flake_installable":{"ref":{"type":"github","owner":"NixOS","repo":"nixpkgs","rev":"f4b140d5b253f5e2a1ff4e5506edbf8267724bde"},"attr_path":"haskellPackages.crucible-debug"},"last_updated":"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"}]},"x86_64-linux":{"flake_installable":{"ref":{"type":"github","owner":"NixOS","repo":"nixpkgs","rev":"f4b140d5b253f5e2a1ff4e5506edbf8267724bde"},"attr_path":"haskellPackages.crucible-debug"},"last_updated":"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"}]}}}