php7就是php7软件本身,提供php脚本执行的运行时环境(runtime)。
php7-dev是用来开发php扩展的,提供一些用来开发、编译php7扩展程序的必要php组件,一般是一些php源码的头文件和依赖库。
如果需要通过源码方式安装一些php module,比如php7-mysql,gd等,就需要安装php7-dev,如果你需要的php扩展都可以通过apt-get直接安装,大可不必安装php7-dev。
dpkg-query -L php7-dev
感觉像是PHP7是保证所有的目前还没发现bug的稳定版,PHP7-dev就是在7之后的开发者版本。