The condemnation of Formosus and others was announced in July 872.
A sentenza de excomuñón contra Formoso e outros foi promulgada en xullo de 872.