dev-java/jlatexmath-fop update slot
dev-ml/lacaml version bump
dev-java/flexdock version bump
dev-java/scirenderer version bump
dev-ml/menhir version bump
sci-mathematics/scilab fix the infamous docs bug
dev-ml/menhir version bump
sci-mathematics/scilab forgot to add patch