{"name":"z3-tptp","version":"4.15.7","summary":"TPTP wrapper for Z3 prover","systems":{"aarch64-darwin":{"flake_installable":{"ref":{"type":"github","owner":"NixOS","repo":"nixpkgs","rev":"7d2ae6d8b8b697b5114a4249d0d958ee5f23d8fe"},"attr_path":"z3-tptp"},"last_updated":"2026-02-13T23:34:13Z","outputs":[{"name":"out","path":"/nix/store/qqg1j4wrk7c4nxkwlfkxj3hb6sbwribv-z3-tptp-4.15.7","default":true}]},"aarch64-linux":{"flake_installable":{"ref":{"type":"github","owner":"NixOS","repo":"nixpkgs","rev":"7d2ae6d8b8b697b5114a4249d0d958ee5f23d8fe"},"attr_path":"z3-tptp"},"last_updated":"2026-02-13T23:34:13Z","outputs":[{"name":"out","path":"/nix/store/7g85f0qajkh60hnxzay8crdx1av34pwq-z3-tptp-4.15.7","default":true}]},"x86_64-darwin":{"flake_installable":{"ref":{"type":"github","owner":"NixOS","repo":"nixpkgs","rev":"7d2ae6d8b8b697b5114a4249d0d958ee5f23d8fe"},"attr_path":"z3-tptp"},"last_updated":"2026-02-13T23:34:13Z","outputs":[{"name":"out","path":"/nix/store/11jy321kdsglsgnj07fsy1sgp8zq70mc-z3-tptp-4.15.7","default":true}]},"x86_64-linux":{"flake_installable":{"ref":{"type":"github","owner":"NixOS","repo":"nixpkgs","rev":"7d2ae6d8b8b697b5114a4249d0d958ee5f23d8fe"},"attr_path":"z3-tptp"},"last_updated":"2026-02-13T23:34:13Z","outputs":[{"name":"out","path":"/nix/store/7cwiq12cp4ggdvznh69m4mdd7lr7c48p-z3-tptp-4.15.7","default":true}]}}}