Now providing just Debian 7.0 package list, as Ubuntu 12.04 seems to be the same (*knock on the wood*).