{"name":"z3-tptp","version":"4.15.0","summary":"TPTP wrapper for Z3 prover","systems":{"aarch64-darwin":{"flake_installable":{"ref":{"type":"github","owner":"NixOS","repo":"nixpkgs","rev":"e314d5c6d3b3a0f40ec5bcbc007b0cbe412f48ae"},"attr_path":"z3-tptp"},"last_updated":"2025-05-22T13:30:28Z","outputs":[{"name":"out","path":"/nix/store/k3x77z0mp01fszrgm57j67ngf0y16f5z-z3-tptp-4.15.0","default":true}]},"aarch64-linux":{"flake_installable":{"ref":{"type":"github","owner":"NixOS","repo":"nixpkgs","rev":"e314d5c6d3b3a0f40ec5bcbc007b0cbe412f48ae"},"attr_path":"z3-tptp"},"last_updated":"2025-05-22T13:30:28Z","outputs":[{"name":"out","path":"/nix/store/amb867gs2lpzc2zfd99lidkxhf2ifh4g-z3-tptp-4.15.0","default":true}]},"x86_64-darwin":{"flake_installable":{"ref":{"type":"github","owner":"NixOS","repo":"nixpkgs","rev":"e314d5c6d3b3a0f40ec5bcbc007b0cbe412f48ae"},"attr_path":"z3-tptp"},"last_updated":"2025-05-22T13:30:28Z","outputs":[{"name":"out","path":"/nix/store/54ymq33h15dfry527xpvxlf1pxfdb13h-z3-tptp-4.15.0","default":true}]},"x86_64-linux":{"flake_installable":{"ref":{"type":"github","owner":"NixOS","repo":"nixpkgs","rev":"e314d5c6d3b3a0f40ec5bcbc007b0cbe412f48ae"},"attr_path":"z3-tptp"},"last_updated":"2025-05-22T13:30:28Z","outputs":[{"name":"out","path":"/nix/store/2rvk5bv42iqvmjk0mypsn52j4nwwij7v-z3-tptp-4.15.0","default":true}]}}}