CTAN update: verifica