sudo apt-get install php-redis перестал работать

в нашей сборке CircleCI у нас было несколько месяцев установки PHP, но она перестала работать сегодня. Обратное сообщение ниже.

Пожалуйста, вы знаете, как это исправить? Я немного запутался, что делать. Спасибо за помощь.

sudo apt-get install php-redis Чтение списков пакетов … Готово

Построение дерева зависимостей

Чтение информации о состоянии … Готово

Некоторые пакеты не могут быть установлены. Это может означать, что у вас есть
запросил невозможную ситуацию или если вы используете нестабильную
распространение, что некоторые необходимые пакеты еще не были созданы или
был перемещен из входящих. Следующая информация может помочь
разрешить ситуацию:

Следующие пакеты имеют неудовлетворенные зависимости:

php-redis: Зависит от php-igbinary, но не будет установлен
Dep

заканчивается: phpapi-20160303, но не устанавливается или
phpapi-20151012, но его нельзя установить или
phpapi-20131226, но не устанавливается. E: Невозможно исправить проблемы, у вас есть поврежденные пакеты.

sudo apt-get install php-redis вернул код выхода 100

Действие не выполнено: sudo apt-get install php-redis

Наш поток в CircleCi выглядит следующим образом:

• sudo apt-add-repository -y ppa: ondrej / php
• sudo apt-get update
• sudo apt-get установить php-redis
• echo ‘extension = / usr / lib / php / 20131226 / redis.so’ | sudo tee / opt / circleci / php / $ (phpenv global) /etc/conf.d/redis.ini
• echo ‘extension = / usr / lib / php / 20131226 / igbinary.so’ | sudo tee / opt / circleci / php / $ (phpenv global) /etc/conf.d/igbinary.ini

РЕШИТЬ:
используйте sudo apt-get -f установить php-redis