{
    "component": "input/tex/extensions/bussproofs",
    "targets": ["input/tex/bussproofs"]
}