verbments is said to be in texlive-latex-extra .. so removing it from OP2 repo