Comment # 2 on bug 1022158 from Petr Gajdos

(In reply to Christian Boltz from comment #0)
> Created attachment 711834 [details]
> solver testcase (tar.gz)
> 
> I want to switch from php5 to php7 on Tumbleweed (last updated yesterday).
> Note that I use --force-resolution because otherwise I'd have to answer the
> conflict for each php5-* vs. php7-* package.

zypper dup works for me:

$ zypper dup
[...]
The following 11 NEW packages are going to be installed:
  apache2-mod_php7 php7 php7-ctype php7-dom php7-iconv php7-json php7-pdo
php7-sqlite php7-tokenizer php7-xmlreader php7-xmlwriter

The following 11 packages are going to be REMOVED:
  apache2-mod_php5 php5 php5-ctype php5-dom php5-iconv php5-json php5-pdo
php5-sqlite php5-tokenizer php5-xmlreader php5-xmlwriter

11 new packages to install, 11 to remove.
Overall download size: 3.4 MiB. Already cached: 0 B. After the operation, 8.7
MiB will be freed.
Continue? [y/n/? shows all options] (y): y
Retrieving package php7-7.0.15-1.1.x86_64
[...]   
$