Package: php-redis Version: 4.1.1-1 For some reason the current version of the package only contains the extension files for PHP 7.2, while Debian currently also has packages php7.0, php7.1, and php7.3.
$ dpkg -c php-redis_4.1.1-1_amd64.deb drwxr-xr-x root/root 0 2018-08-19 09:14 ./ drwxr-xr-x root/root 0 2018-08-19 09:14 ./etc/ drwxr-xr-x root/root 0 2018-08-19 09:14 ./etc/php/ drwxr-xr-x root/root 0 2018-08-19 09:14 ./etc/php/7.2/ drwxr-xr-x root/root 0 2018-08-19 09:14 ./etc/php/7.2/mods-available/ -rw-r--r-- root/root 19 2018-08-19 09:14 ./etc/php/7.2/mods-available/redis.ini drwxr-xr-x root/root 0 2018-08-19 09:14 ./usr/ drwxr-xr-x root/root 0 2018-08-19 09:14 ./usr/lib/ drwxr-xr-x root/root 0 2018-08-19 09:14 ./usr/lib/php/ drwxr-xr-x root/root 0 2018-08-19 09:14 ./usr/lib/php/20170718/ -rw-r--r-- root/root 490688 2018-08-19 09:14 ./usr/lib/php/20170718/redis.so drwxr-xr-x root/root 0 2018-08-19 09:14 ./usr/share/ drwxr-xr-x root/root 0 2018-08-19 09:14 ./usr/share/doc/ drwxr-xr-x root/root 0 2018-08-19 09:14 ./usr/share/doc/php-redis/ -rw-r--r-- root/root 1729 2018-08-19 09:14 ./usr/share/doc/php-redis/changelog.Debian.gz -rw-r--r-- root/root 4707 2018-08-19 09:14 ./usr/share/doc/php-redis/copyright Rebuilding php-redis using dpkg-builpackage (after rebuilding various of its dependencies, which also seem to suffer from this bug) generates a version that does have the necessary extension files. $ dpkg -c /usr/local/src/bugfix-debs/php-redis/php-redis_4.1.1-1_amd64.deb drwxr-xr-x root/root 0 2018-08-19 09:14 ./ drwxr-xr-x root/root 0 2018-08-19 09:14 ./etc/ drwxr-xr-x root/root 0 2018-08-19 09:14 ./etc/php/ drwxr-xr-x root/root 0 2018-08-19 09:14 ./etc/php/7.0/ drwxr-xr-x root/root 0 2018-08-19 09:14 ./etc/php/7.0/mods-available/ -rw-r--r-- root/root 19 2018-08-19 09:14 ./etc/php/7.0/mods-available/redis.ini drwxr-xr-x root/root 0 2018-08-19 09:14 ./etc/php/7.1/ drwxr-xr-x root/root 0 2018-08-19 09:14 ./etc/php/7.1/mods-available/ -rw-r--r-- root/root 19 2018-08-19 09:14 ./etc/php/7.1/mods-available/redis.ini drwxr-xr-x root/root 0 2018-08-19 09:14 ./etc/php/7.2/ drwxr-xr-x root/root 0 2018-08-19 09:14 ./etc/php/7.2/mods-available/ -rw-r--r-- root/root 19 2018-08-19 09:14 ./etc/php/7.2/mods-available/redis.ini drwxr-xr-x root/root 0 2018-08-19 09:14 ./etc/php/7.3/ drwxr-xr-x root/root 0 2018-08-19 09:14 ./etc/php/7.3/mods-available/ -rw-r--r-- root/root 19 2018-08-19 09:14 ./etc/php/7.3/mods-available/redis.ini drwxr-xr-x root/root 0 2018-08-19 09:14 ./usr/ drwxr-xr-x root/root 0 2018-08-19 09:14 ./usr/lib/ drwxr-xr-x root/root 0 2018-08-19 09:14 ./usr/lib/php/ drwxr-xr-x root/root 0 2018-08-19 09:14 ./usr/lib/php/20151012/ -rw-r--r-- root/root 502976 2018-08-19 09:14 ./usr/lib/php/20151012/redis.so drwxr-xr-x root/root 0 2018-08-19 09:14 ./usr/lib/php/20160303/ -rw-r--r-- root/root 490688 2018-08-19 09:14 ./usr/lib/php/20160303/redis.so drwxr-xr-x root/root 0 2018-08-19 09:14 ./usr/lib/php/20170718/ -rw-r--r-- root/root 490688 2018-08-19 09:14 ./usr/lib/php/20170718/redis.so drwxr-xr-x root/root 0 2018-08-19 09:14 ./usr/lib/php/20180606/ -rw-r--r-- root/root 490688 2018-08-19 09:14 ./usr/lib/php/20180606/redis.so drwxr-xr-x root/root 0 2018-08-19 09:14 ./usr/share/ drwxr-xr-x root/root 0 2018-08-19 09:14 ./usr/share/doc/ drwxr-xr-x root/root 0 2018-08-19 09:14 ./usr/share/doc/php-redis/ -rw-r--r-- root/root 1729 2018-08-19 09:14 ./usr/share/doc/php-redis/changelog.Debian.gz -rw-r--r-- root/root 4707 2018-08-19 09:14 ./usr/share/doc/php-redis/copyright
