php-redis : Depends: phpapi-20180731 but it is not installable

[Simon Story]

1)
Ubuntu version:
DISTRIB_ID=Ubuntu
DISTRIB_RELEASE=20.04
DISTRIB_CODENAME=focal
DISTRIB_DESCRIPTION="Ubuntu Focal Fossa (development branch)

2)
root@bd73b7646893:/# apt-cache policy php-redis
php-redis:
  Installed: (none)
  Candidate: 5.0.2+4.3.0-2build1
  Version table:
     5.0.2+4.3.0-2build1 500
        500 http://archive.ubuntu.com/ubuntu focal/universe amd64 Packages

3) I expect to be able to install php-redis by running 'apt install php-redis'

4) Installation fails

The dependency probably needs changing to phpapi-20190902 .

---

root@bd73b7646893:/# apt install php-redis
Reading package lists... Done
Building dependency tree
Reading state information... Done
Some packages could not be installed. This may mean that you have
requested an impossible situation or if you are using the unstable
distribution that some required packages have not yet been created
or been moved out of Incoming.
The following information may help to resolve the situation:

The following packages have unmet dependencies:
 php-redis : Depends: phpapi-20180731 but it is not installable
E: Unable to correct problems, you have held broken packages.

[Hans Joachim Desserud (hjd)]

Thanks for taking your time to report this issue and help making Ubuntu better.

Marking confirmed based on https://packages.ubuntu.com/focal/php-redis. I see that there is a newer version of this package in focal-proposed, which might resolve this issue if it migrates to the release archive.

When reporting bugs in the future please use apport by using 'ubuntu-bug' and the name of the package affected. You can learn more about this functionality at https://wiki.ubuntu.com/ReportingBugs.