{"name":"python37Packages.claripy","version":"9.0.5903","summary":"Python abstraction layer for constraint solvers","systems":{"x86_64-linux":{"flake_installable":{"ref":{"type":"github","owner":"NixOS","repo":"nixpkgs","rev":"d12574353329291e661805312544b1c68c13911e"},"attr_path":"python37Packages.claripy"},"last_updated":"2021-03-02T11:25:50Z"}}}