Descreva Debian/VagrantDebianTrixie64Box aqui.