CTAN update: verifiche