Выпущена версия Linux Debian для детей до 12 лет