linguist-languages/data/Coq.js

Linguist languages.yml in JSON format

module.exports = {
  "name": "Coq",
  "type": "programming",
  "color": "#d0b68c",
  "extensions": [
    ".coq",
    ".v"
  ],
  "tmScope": "source.coq",
  "aceMode": "text",
  "languageId": 69
}