aboutsummaryrefslogtreecommitdiff
path: root/development/coccinelle
diff options
context:
space:
mode:
authorDavid Spencer <baildon.research@googlemail.com>2016-07-12 19:46:30 +0100
committerRobby Workman <rworkman@slackbuilds.org>2016-07-20 14:20:08 -0500
commit5c831ab72b4d9a5b7321c9be38ebbbe1a3e7772f (patch)
treeb2cc6fe1b867486d60f79a3c9f7e8d51a849ee27 /development/coccinelle
parent269b53a72de96b8d595192e1afd159954cf08ea0 (diff)
development/menhir: Depend on ocamlbuild.
Signed-off-by: David Spencer <baildon.research@googlemail.com>
Diffstat (limited to 'development/coccinelle')
0 files changed, 0 insertions, 0 deletions