Bug#860337: php7.0: No transition path from php5 to php7.0 when upgrading to stretch

[Olaf van der Spek]

Perhaps apt or some other tool should warn for installed packages that
are no longer available from any archive.

It'd catch such 'orphaned' packages.

-- 
Olaf