Ambos sabores de la distribución Linux Mint, que llevan el sobrenombre de Petra, ya están disponibles para descarga.
Actualidad TI Petra
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.