{"name":"z3-tptp","version":"4.8.17","summary":"TPTP wrapper for Z3 prover","systems":{"aarch64-darwin":{"flake_installable":{"ref":{"type":"github","owner":"NixOS","repo":"nixpkgs","rev":"566e53c2ad750c84f6d31f9ccb9d00f823165550"},"attr_path":"z3-tptp"},"last_updated":"2024-12-03T12:40:06Z","outputs":[{"name":"out","path":"/nix/store/3y2dvf20hhqgd1gfg2bkj60xhjbrl6y4-z3-tptp-4.8.17","default":true}]},"aarch64-linux":{"flake_installable":{"ref":{"type":"github","owner":"NixOS","repo":"nixpkgs","rev":"de1864217bfa9b5845f465e771e0ecb48b30e02d"},"attr_path":"z3-tptp"},"last_updated":"2024-12-23T21:10:33Z","outputs":[{"name":"out","path":"/nix/store/4lmslip60kxjvsfwa22rli1dr4jq7lvy-z3-tptp-4.8.17","default":true}]},"x86_64-darwin":{"flake_installable":{"ref":{"type":"github","owner":"NixOS","repo":"nixpkgs","rev":"566e53c2ad750c84f6d31f9ccb9d00f823165550"},"attr_path":"z3-tptp"},"last_updated":"2024-12-03T12:40:06Z","outputs":[{"name":"out","path":"/nix/store/5n2ygkfn9bqd5ysgzrba5f5k4cd9srz0-z3-tptp-4.8.17","default":true}]},"x86_64-linux":{"flake_installable":{"ref":{"type":"github","owner":"NixOS","repo":"nixpkgs","rev":"de1864217bfa9b5845f465e771e0ecb48b30e02d"},"attr_path":"z3-tptp"},"last_updated":"2024-12-23T21:10:33Z","outputs":[{"name":"out","path":"/nix/store/sak4lm4rd3gkkrylxv4wbyky33ndsszb-z3-tptp-4.8.17","default":true}]}}}