{"name":"python311Packages.deal-solver","version":"0.1.2","summary":"Z3-powered solver (theorem prover) for deal","systems":{"aarch64-darwin":{"flake_installable":{"ref":{"type":"github","owner":"NixOS","repo":"nixpkgs","rev":"71a6392e367b08525ee710a93af2e80083b5b3e2"},"attr_path":"python311Packages.deal-solver"},"last_updated":"2024-12-13T21:43:23Z","outputs":[{"name":"out","path":"/nix/store/z6ajsp918kpxixryha4faxa12aj9964s-python3.11-deal-solver-0.1.2","default":true},{"name":"dist","path":"/nix/store/szj5gqffjdr8kxcrhzy4c6l6xgjwkfq4-python3.11-deal-solver-0.1.2-dist"}]},"aarch64-linux":{"flake_installable":{"ref":{"type":"github","owner":"NixOS","repo":"nixpkgs","rev":"71a6392e367b08525ee710a93af2e80083b5b3e2"},"attr_path":"python311Packages.deal-solver"},"last_updated":"2024-12-13T21:43:23Z","outputs":[{"name":"out","path":"/nix/store/cjvpsjrvzgq97vh5ksblbpv7cispdwlj-python3.11-deal-solver-0.1.2","default":true},{"name":"dist","path":"/nix/store/pv4hl819p5vj0l6zj17p57axn9sxaf00-python3.11-deal-solver-0.1.2-dist"}]},"x86_64-darwin":{"flake_installable":{"ref":{"type":"github","owner":"NixOS","repo":"nixpkgs","rev":"71a6392e367b08525ee710a93af2e80083b5b3e2"},"attr_path":"python311Packages.deal-solver"},"last_updated":"2024-12-13T21:43:23Z","outputs":[{"name":"out","path":"/nix/store/0r290qavq2wbpbf415mxc7c4b2587zzl-python3.11-deal-solver-0.1.2","default":true},{"name":"dist","path":"/nix/store/dyn7a04ay5hwaw86r4iwxwjs0s0hl2nx-python3.11-deal-solver-0.1.2-dist"}]},"x86_64-linux":{"flake_installable":{"ref":{"type":"github","owner":"NixOS","repo":"nixpkgs","rev":"71a6392e367b08525ee710a93af2e80083b5b3e2"},"attr_path":"python311Packages.deal-solver"},"last_updated":"2024-12-13T21:43:23Z","outputs":[{"name":"out","path":"/nix/store/37aq7kr9gydq6csyhgh53kam9wv6bzj8-python3.11-deal-solver-0.1.2","default":true},{"name":"dist","path":"/nix/store/29g691c4xzp4f9sxbpjqldiq8icl03i7-python3.11-deal-solver-0.1.2-dist"}]}}}