I had installed PHP 7.0 on Jessie using the
Code: Select all
deb http://packages.dotdeb.org jessie all
repository. I upgraded to Stretch, but let the dotdeb entry stay in sources.list. Now that Stretch contains PHP 7.0, I want to get rid of the dotdeb entry, but the versions seem no to be compatible. How to do the migration without damaging my installation?