Changed mirror URL and added some Debian packages.