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

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

sudo apt-get install php5

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

sudo apt-get install php5-dev

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