build/ansible: php5 → php-dev (in current ubuntu, that install php 7 + all supported dev libs)
build/ansible: php5 → php-dev (in current ubuntu, that install php 7 + all supported dev libs)

tscholl2/smc,sagemathinc/smc,tscholl2/smc,tscholl2/smc,tscholl2/smc,DrXyzzy/smc,DrXyzzy/smc,sagemathinc/smc,sagemathinc/smc,DrXyzzy/smc,sagemathinc/smc,DrXyzzy/smc,tscholl2/smc