Since i never used php for ice, i do not know. When looking at https://packages.debian.org/sid/php-zeroc-ice there is the dependency 'dep: php-common (>= 1:7.0+33~)'. So i guess it uses php7.0.
As for reporting this bug: I followed this document https://wiki.ubuntu.com/UbuntuDevelopment/NewPackages -- You received this bug notification because you are a member of Ubuntu Bugs, which is subscribed to Ubuntu. https://bugs.launchpad.net/bugs/1758502 Title: Please sync zeroc-ice-all-dev from debian unstable To manage notifications about this bug go to: https://bugs.launchpad.net/ubuntu/+source/zeroc-ice/+bug/1758502/+subscriptions -- ubuntu-bugs mailing list [email protected] https://lists.ubuntu.com/mailman/listinfo/ubuntu-bugs
