Package: php-redis Version: 3.1.2-1 The package does not contain the shared library compiled for php 7.1, only for php 7.0. Simply recompiling it locally with dpkg-buildpackage produces a package that contains the necessary shared library and other infrastructure, and seems to function correctly.
