{"name":"python310Packages.pysmt","version":"0.9.1.dev132","summary":"Python library for SMT formulae manipulation and solving","systems":{"aarch64-darwin":{"flake_installable":{"ref":{"type":"github","owner":"NixOS","repo":"nixpkgs","rev":"0c4852c7bc40747e734a84a0d234105a4d5c146f"},"attr_path":"python310Packages.pysmt"},"last_updated":"2022-06-27T23:01:42Z","outputs":[{"name":"out","path":"/nix/store/zz2v9vv940qa4yry7wnnmdkh54nkjks3-python3.10-pysmt-0.9.1.dev132","default":true}]},"aarch64-linux":{"flake_installable":{"ref":{"type":"github","owner":"NixOS","repo":"nixpkgs","rev":"0c4852c7bc40747e734a84a0d234105a4d5c146f"},"attr_path":"python310Packages.pysmt"},"last_updated":"2022-06-27T23:01:42Z","outputs":[{"name":"out","path":"/nix/store/bqc56gvv31y35lqx2andxbs0x6snc4bg-python3.10-pysmt-0.9.1.dev132","default":true}]},"x86_64-darwin":{"flake_installable":{"ref":{"type":"github","owner":"NixOS","repo":"nixpkgs","rev":"0c4852c7bc40747e734a84a0d234105a4d5c146f"},"attr_path":"python310Packages.pysmt"},"last_updated":"2022-06-27T23:01:42Z","outputs":[{"name":"out","path":"/nix/store/77r6xpcq303r57g4haaybb5p6gxq6x66-python3.10-pysmt-0.9.1.dev132","default":true}]},"x86_64-linux":{"flake_installable":{"ref":{"type":"github","owner":"NixOS","repo":"nixpkgs","rev":"0c4852c7bc40747e734a84a0d234105a4d5c146f"},"attr_path":"python310Packages.pysmt"},"last_updated":"2022-06-27T23:01:42Z","outputs":[{"name":"out","path":"/nix/store/09nyxdjrfxy7n2cjpxbkcbnqm7c1akrq-python3.10-pysmt-0.9.1.dev132","default":true}]}}}