New on CTAN: verifica