Debian 7 is supported too