summaryrefslogtreecommitdiffstats
path: root/academic/cvc4/run-antlr
AgeCommit message (Collapse)Author
2019-04-26academic/cvc4: Add missing run-antlr. Willy Sudiarto Raharjo
Signed-off-by: Willy Sudiarto Raharjo <willysr@slackbuilds.org>