{
  "name": "Boogie",
  "type": "programming",
  "color": "#c80fa0",
  "extensions": [
    ".bpl"
  ],
  "interpreters": [
    "boogie"
  ],
  "tmScope": "source.boogie",
  "aceMode": "text",
  "languageId": 955017407
}