Ambos sabores de la distribución Linux Mint, que llevan el sobrenombre de Petra, ya están disponibles para descarga.
Actualidad TI Linux Mint 16
Bautizan Linux Mint 16 con el nombre de “Petra”
"Linux Mint 16 se llamará Petra y debería estar disponible a finales de noviembre de 2013", ha revelado el líder del proyecto, Clement Lefebvre.