Debian: update 7.6.0 to 7.7.0
Arch Linux: update to 2014.11.01 ISO