Contents

{
  "slug": "coq",
  "language": "Coq",
  "repository": "https://github.com/exercism/xcoq",
  "active": false,
  "test_pattern": "TODO",
  "exercises": [

  ],
  "deprecated": [

  ],
  "ignored": [
    "bin",
    "img",
    "docs"
  ],
  "foregone": [

  ]
}

Version data entries

3 entries across 3 versions & 1 rubygems

Version	Path
trackler-2.1.0.11	tracks/coq/config.json
trackler-2.1.0.10	tracks/coq/config.json
trackler-2.1.0.9	tracks/coq/config.json