Ab sofort stellen wir für Debian Linux auch ein Paket mit PHP 7.1.0 zur Verfügung (siehe Wiki).
Bitte beachten Sie, dass PHP 7.1 noch nicht produktiv eingesetzt werden sollte. Aktuell ist Version 7.1.0-beta2, Ende dieser Woche soll die letzte Beta-Version erscheinen (beta3).
Viele Grüße
-Klaus Keppler