PHP 7.1 packages
We’ve got 7.0 packages (thanks!) but no 7.1 packages yet. Compilation process etc. should be similar. Any chance prebuilt 7.1 equivalents of 7.0 packages currently available could be made available, e.g. via the php71-* prefix?
(from redmine: issue id 6524, created on 2016-12-10, closed on 2017-05-22)