В чем разница между php5 и php5-dev

Когда я устанавливаю php на ubuntu, кто-то использует

sudo apt-get install php5

кто-то использует

sudo apt-get install php5-dev

В чем разница между ними?

php5-dev содержит файлы для разработки модулей PHP:

Этот пакет предоставляет файлы из источника PHP5, необходимые для компиляции дополнительных модулей.

php5 – это мета-пакет, который устанавливает среду выполнения PHP.

Команда

apt-cache search php 

скажу вам разницу:

  php5 - server-side, HTML-embedded scripting language (metapackage) php5-dev - Files for PHP5 module development