Package: php-igbinary Version: 2.0.1-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.
