Most of the steps here: https://janw.me/2019/installing-php7-3-rapsberry-pi/
As well as the comment here: LibreNMS on Raspberry Pi
about changing the repo, but no luck on either.
Is there a way to install a version that is older to just get it to install?