packages.noupdate: dev-php/hhvm