{"name":"python313Packages.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":"39ad350a0602fa0a58a544344e3e9187526ea45c"},"attr_path":"python313Packages.deal-solver"},"last_updated":"2026-10-07T09:43:42Z","outputs":[{"name":"out","path":"/nix/store/md4cygp5bpi7a5xxdyccqp0rx5qcnqaf-python3.13-deal-solver-0.1.2","default":true},{"name":"dist","path":"/nix/store/i8ik55n1y6qqnsy95hja2sd6ljcgcjn2-python3.13-deal-solver-0.1.2-dist"}]},"aarch64-linux":{"flake_installable":{"ref":{"type":"github","owner":"NixOS","repo":"nixpkgs","rev":"39ad350a0602fa0a58a544344e3e9187526ea45c"},"attr_path":"python313Packages.deal-solver"},"last_updated":"2026-10-07T09:43:42Z","outputs":[{"name":"out","path":"/nix/store/z15wi617q7i3hx1mlv9157sad9gwg4pm-python3.13-deal-solver-0.1.2","default":true},{"name":"dist","path":"/nix/store/06vra9dzig5q6vs9m4hna6z2s0ns9g69-python3.13-deal-solver-0.1.2-dist"}]},"x86_64-darwin":{"flake_installable":{"ref":{"type":"github","owner":"NixOS","repo":"nixpkgs","rev":"3d46470bb3030020f7e1361f33514854f5bfa86d"},"attr_path":"python313Packages.deal-solver"},"last_updated":"2026-06-27T07:37:20Z","outputs":[{"name":"out","path":"/nix/store/x88hg1nzbyh50ggc787bnkfzq29zlc5i-python3.13-deal-solver-0.1.2","default":true},{"name":"dist","path":"/nix/store/yi4w0gq2sc0gsnjdk2n5ayiz6hmkayw0-python3.13-deal-solver-0.1.2-dist"}]},"x86_64-linux":{"flake_installable":{"ref":{"type":"github","owner":"NixOS","repo":"nixpkgs","rev":"39ad350a0602fa0a58a544344e3e9187526ea45c"},"attr_path":"python313Packages.deal-solver"},"last_updated":"2026-10-07T09:43:42Z","outputs":[{"name":"out","path":"/nix/store/kgw3v8ynap2hkb7fmir87w3p4xk3wm4f-python3.13-deal-solver-0.1.2","default":true},{"name":"dist","path":"/nix/store/wps3jircs32lzq3gvgppv5lfqi8ajds6-python3.13-deal-solver-0.1.2-dist"}]}}}