Debian 11 ppc64be

[Karl]

Hello Adrian,

will there be a Debian 11 release for PPC64be again or is it Sid?
Because on that site, it’s listed as available: 
https://openpower.ic.unicamp.br/minicloud/

Thanks
Karl