{"name":"python39Packages.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":"80c24eeb9ff46aa99617844d0c4168659e35175f"},"attr_path":"python39Packages.deal-solver"},"last_updated":"2022-12-17T09:19:40Z","outputs":[{"name":"out","path":"/nix/store/ihf1wrscdqfz9gqrnaxm8czw5iln2g1j-python3.9-deal-solver-0.1.1","default":true},{"name":"dist","path":"/nix/store/15vnjs4a8bb5yv7z6lfg9mav06h3al5q-python3.9-deal-solver-0.1.1-dist"}]},"aarch64-linux":{"flake_installable":{"ref":{"type":"github","owner":"NixOS","repo":"nixpkgs","rev":"80c24eeb9ff46aa99617844d0c4168659e35175f"},"attr_path":"python39Packages.deal-solver"},"last_updated":"2022-12-17T09:19:40Z","outputs":[{"name":"out","path":"/nix/store/ia6lk1ja1nk87b7d4c5s3wi1nhi736i9-python3.9-deal-solver-0.1.1","default":true},{"name":"dist","path":"/nix/store/5gg36vm58s5k4ls6irj2nymhq0mp5fpv-python3.9-deal-solver-0.1.1-dist"}]},"x86_64-darwin":{"flake_installable":{"ref":{"type":"github","owner":"NixOS","repo":"nixpkgs","rev":"80c24eeb9ff46aa99617844d0c4168659e35175f"},"attr_path":"python39Packages.deal-solver"},"last_updated":"2022-12-17T09:19:40Z","outputs":[{"name":"out","path":"/nix/store/n4caz2q6k0635wjmrxshvg68gzxr3zl7-python3.9-deal-solver-0.1.1","default":true},{"name":"dist","path":"/nix/store/dvcrm6p7wsjx3fpp2g1q71ljvppradnq-python3.9-deal-solver-0.1.1-dist"}]},"x86_64-linux":{"flake_installable":{"ref":{"type":"github","owner":"NixOS","repo":"nixpkgs","rev":"80c24eeb9ff46aa99617844d0c4168659e35175f"},"attr_path":"python39Packages.deal-solver"},"last_updated":"2022-12-17T09:19:40Z","outputs":[{"name":"out","path":"/nix/store/ysk4gvkh21yhfr3f6zglpp77fhr4ykb3-python3.9-deal-solver-0.1.1","default":true},{"name":"dist","path":"/nix/store/53zald12389dh5nc7nf33wvmry0ab662-python3.9-deal-solver-0.1.1-dist"}]}}}