Raspbian es ahora Raspberry Pi OS

[egrueda]

Seguro que algunos de vosotros habéis visto la nueva nomenclatura "Raspberry Pi OS (32-bit)"
Con vistas a la publicación de la nueva versión de Raspbian de 64 bits, se ha cambiado el nombre por "Raspberry Pi OS"

Así aparece ya en las páginas de descargas: "Raspberry Pi OS (previously called Raspbian)"
https://www.raspberrypi.org/downloads/raspbian/

Y también para los que usen Raspberry Pi Imager, podrán ver los nuevos nombres cuando vayan a grabar una imagen.

Esperemos ver la versión estable de 64 bits pronto, sobre todo ahora que tenemos que gestionar 8G de RAM :-D