No php7.1 in Bionic anymore - closing this old bug.
Whatever brought it back into proposed was resolved.
$ rma php7.1
php7.1 | 7.1.0-5 | unstable | source, all
php7.1 | 7.1.0-5 | unstable-debug | source
php7.1 | 7.1.16-1 | testing | source, all
php7.1 | 7.1.16-1 | unstable | source, all
php7.1 | 7.1.16-1 | unstable-debug | source
php7.1 | 7.1.8-1ubuntu1 | artful | source, all
php7.1 | 7.1.17-0ubuntu0.17.10.1 | artful-security | source, all
php7.1 | 7.1.17-0ubuntu0.17.10.1 | artful-updates | source, all
$ rma php7.2
php7.2 | 7.2.4-1 | testing | source, all
php7.2 | 7.2.4-1 | unstable | source, all
php7.2 | 7.2.4-1 | unstable-debug | source
php7.2 | 7.2.3-1ubuntu1 | bionic | source, all
php7.2 | 7.2.5-0ubuntu0.18.04.1 | bionic-security | source, all
php7.2 | 7.2.5-0ubuntu0.18.04.1 | bionic-updates | source, all
php7.2 | 7.2.5-0ubuntu0.18.04.1 | cosmic | source, all
** Changed in: php7.1 (Ubuntu)
Status: Triaged => Fix Released
--
You received this bug notification because you are a member of Ubuntu
Package Archive Administrators, which is subscribed to the bug report.
https://bugs.launchpad.net/bugs/1752177
Title:
RM superseded by php7.2
To manage notifications about this bug go to:
https://bugs.launchpad.net/ubuntu/+source/php7.1/+bug/1752177/+subscriptions