Hi Ian,
Yes, the current Debian package (in Stretch/Unstable) builds a php5-ps.
php-ps itself is not yet compatible with PHP7, so it was dropped as
there were no reverse-dependencies on it.
-Nish
** Changed in: php-ps (Ubuntu)
Status: Confirmed => Won't Fix
--
You received this bug
Perhaps this is the cause: https://bugs.php.net/bug.php?id=71801
** Bug watch added: bugs.php.net/ #71801
http://bugs.php.net/bug.php?id=71801
--
You received this bug notification because you are a member of Ubuntu
Bugs, which is subscribed to Ubuntu.
https://bugs.launchpad.net/bugs/1564656
Is this why there's no php-ps or php7.0-ps package in Ubuntu 16.04?
--
You received this bug notification because you are a member of Ubuntu
Bugs, which is subscribed to Ubuntu.
https://bugs.launchpad.net/bugs/1564656
Title:
Update to PHP7.0 dependencies
To manage notifications about this
Status changed to 'Confirmed' because the bug affects multiple users.
** Changed in: php-ps (Ubuntu)
Status: New => Confirmed
--
You received this bug notification because you are a member of Ubuntu
Bugs, which is subscribed to Ubuntu.
https://bugs.launchpad.net/bugs/1564656
Title: