{"name":"ocamlPackages.z3","version":"4.8.12","summary":"Z3 Theorem Prover (OCaml API)","systems":{"aarch64-darwin":{"flake_installable":{"ref":{"type":"github","owner":"NixOS","repo":"nixpkgs","rev":"6f05cfdb1e78d36c0337516df674560e4b51c79b"},"attr_path":"ocamlPackages.z3"},"last_updated":"2022-01-01T05:55:45Z"},"x86_64-darwin":{"flake_installable":{"ref":{"type":"github","owner":"NixOS","repo":"nixpkgs","rev":"6f05cfdb1e78d36c0337516df674560e4b51c79b"},"attr_path":"ocamlPackages.z3"},"last_updated":"2022-01-01T05:55:45Z"},"x86_64-linux":{"flake_installable":{"ref":{"type":"github","owner":"NixOS","repo":"nixpkgs","rev":"6f05cfdb1e78d36c0337516df674560e4b51c79b"},"attr_path":"ocamlPackages.z3"},"last_updated":"2022-01-01T05:55:45Z"}}}