{"owner":"Z3Prover","repo":"z3","hasBinaries":false,"message":"No official release binaries or desktop installers were located in Z3Prover/z3."}