Eu apenas tentei instalar o pacote php5-dev no Ubuntu 12.10, e não tive nenhum problema. Instalou bem.
Estouincluindoimagensdasminhasfontesdesoftware,apenasparaquevocêpossacompará-lasàssuas.
Também sugiro que você pressione Ctrl + Alt + T no seu teclado para abrir o Terminal. Quando se abre, execute o (s) comando (s) abaixo antes de instalar:
sudo apt-get update && sudo apt-get upgrade