I'm sorry, I meant this repo: http://download.opensuse.org/repositories/devel:/languages:/php/openSUSE_Leap_42.3/