title: sudo apt-get install php-redis stopped to work
body: <p>in our CircleCI build, we have a few months this installation of PHP redis but it stopped to work today. The return message is below. </p>
  
  <p>Please, do you know how to fix it? I am a little confused what to do. Thank you for your help.</p>
  
  <blockquote>
    <p>sudo apt-get install php-redis Reading package lists... Done</p>
    
    <p>Building dependency tree       </p>
    
    <p>Reading state information... Done</p>
    
    <p>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:</p>
    
    <p>The following packages have unmet dependencies:</p>
    
    <p>php-redis: Depends: php-igbinary but it is not going to be installed
                 Dep</p>
    
    <p>ends: phpapi-20160303 but it is not installable or
                          phpapi-20151012 but it is not installable or
                          phpapi-20131226 but it is not installable E: Unable to correct problems, you have held broken packages.</p>
    
    <p>sudo apt-get install php-redis returned exit code 100</p>
    
    <p>Action failed: sudo apt-get install php-redis</p>
  </blockquote>
  
  <p>Our flow in CircleCi looks like this:</p>
  
  <ul>
  <li>sudo apt-add-repository -y ppa:ondrej/php</li>
  <li>sudo apt-get update</li>
  <li>sudo apt-get install php-redis</li>
  <li>echo 'extension=/usr/lib/php/20131226/redis.so' | sudo tee /opt/circleci/php/$(phpenv global)/etc/conf.d/redis.ini</li>
  <li>echo 'extension=/usr/lib/php/20131226/igbinary.so' | sudo tee /opt/circleci/php/$(phpenv global)/etc/conf.d/igbinary.ini</li>
  </ul>
  
  <p><strong>SOLVED:</strong>
  use sudo apt-get -f install php-redis</p>