dev-java/antlr-3.2-r2
dev-java/stringtemplate-3.2.1-r3
sci-mathematics/cvc4-1.8-r5
