The docker build fails when it looks for php7-dev. The error is: ==================================== ERROR: unable to select packages: php7-dev (no such package): required by: world[php7-dev] ====================================
