Mapping and comparing Debian release codenames and versions