{"name":"python311Packages.deal-solver","version":"0.1.1","summary":"Z3-powered solver (theorem prover) for deal","systems":{"aarch64-darwin":{"flake_installable":{"ref":{"type":"github","owner":"NixOS","repo":"nixpkgs","rev":"517501bcf14ae6ec47efd6a17dda0ca8e6d866f9"},"attr_path":"python311Packages.deal-solver"},"last_updated":"2023-09-27T18:02:17Z","outputs":[{"name":"out","path":"/nix/store/c635brw7nsbralfv6fc3gxjaddhl1asm-python3.11-deal-solver-0.1.1","default":true},{"name":"dist","path":"/nix/store/ihqiqpack379ywpfm08f6zjv48vbda7q-python3.11-deal-solver-0.1.1-dist"}]},"aarch64-linux":{"flake_installable":{"ref":{"type":"github","owner":"NixOS","repo":"nixpkgs","rev":"517501bcf14ae6ec47efd6a17dda0ca8e6d866f9"},"attr_path":"python311Packages.deal-solver"},"last_updated":"2023-09-27T18:02:17Z","outputs":[{"name":"out","path":"/nix/store/pk1sdlza8ff4la58h8wg4gm3npgk07h5-python3.11-deal-solver-0.1.1","default":true},{"name":"dist","path":"/nix/store/cvkgvgzifb9x7ggn92s3wasgx4q9pi7a-python3.11-deal-solver-0.1.1-dist"}]},"x86_64-darwin":{"flake_installable":{"ref":{"type":"github","owner":"NixOS","repo":"nixpkgs","rev":"517501bcf14ae6ec47efd6a17dda0ca8e6d866f9"},"attr_path":"python311Packages.deal-solver"},"last_updated":"2023-09-27T18:02:17Z","outputs":[{"name":"out","path":"/nix/store/bzrph1wy2mh90wkryqgbi8qsjh218s7y-python3.11-deal-solver-0.1.1","default":true},{"name":"dist","path":"/nix/store/wg8k25jw2jsgp45giwh1db5p4qiw5w7a-python3.11-deal-solver-0.1.1-dist"}]},"x86_64-linux":{"flake_installable":{"ref":{"type":"github","owner":"NixOS","repo":"nixpkgs","rev":"517501bcf14ae6ec47efd6a17dda0ca8e6d866f9"},"attr_path":"python311Packages.deal-solver"},"last_updated":"2023-09-27T18:02:17Z","outputs":[{"name":"out","path":"/nix/store/9yz5ljfy4xlzc4z8b8yhlm8nxdd34nqj-python3.11-deal-solver-0.1.1","default":true},{"name":"dist","path":"/nix/store/zz4s6ykmrv2pg2868zxv25zblqx3l7x8-python3.11-deal-solver-0.1.1-dist"}]}}}