I've just uploaded packages which prefer PHP 7.0, so even with --no-alternatives the output could be better now (though the problem with phpseclib still remains).
I'm also reporting bug on the mentioned Debian packages:
http://bugs.debian.org/cgi-bin/bugreport.cgi?bug=817271
http://bugs.debian.org/cgi-bin/bugreport.cgi?bug=817272
I've just uploaded packages which prefer PHP 7.0, so even with --no-alternatives the output could be better now (though the problem with phpseclib still remains).
I'm also reporting bug on the mentioned Debian packages:
http:// bugs.debian. org/cgi- bin/bugreport. cgi?bug= 817271
http:// bugs.debian. org/cgi- bin/bugreport. cgi?bug= 817272