So I'm trying to install Raspberry Pints on my Raspberry Pi and I get stopped at the point where I'm installing the LAMP stack. The package is no longer valid as PHP5 is not available. I cant seem to find a good download of PHP5. What are the plans to get Raspberry Pints to run under PHP7?