[mirror] Debian GNU/Linux desktop operating system, preconfigured for personal computers/workstations