{"name":"z3-tptp","version":"4.8.12","summary":"TPTP wrapper for Z3 prover","systems":{"aarch64-darwin":{"flake_installable":{"ref":{"type":"github","owner":"NixOS","repo":"nixpkgs","rev":"6f05cfdb1e78d36c0337516df674560e4b51c79b"},"attr_path":"z3-tptp"},"last_updated":"2022-01-01T05:55:45Z"},"x86_64-darwin":{"flake_installable":{"ref":{"type":"github","owner":"NixOS","repo":"nixpkgs","rev":"6f05cfdb1e78d36c0337516df674560e4b51c79b"},"attr_path":"z3-tptp"},"last_updated":"2022-01-01T05:55:45Z"},"x86_64-linux":{"flake_installable":{"ref":{"type":"github","owner":"NixOS","repo":"nixpkgs","rev":"6f05cfdb1e78d36c0337516df674560e4b51c79b"},"attr_path":"z3-tptp"},"last_updated":"2022-01-01T05:55:45Z"}}}