On Wed, Feb 24, 2016 at 03:52:42PM +0100, Ondřej Surý wrote: > Yeah, > > just use php-dev (that pulls php7.0-dev); src:php5 is going away from > unstable and testing when we finish the transition to PHP 7.0.
I wonder how many of the incompatible changes in PHP 7 will require working around in stuff that I use (and that needs to remain PHP-5 compatible) if PHP 5 is no longer available.
