Sha256: c01edd23ec68ca179ca0f243fb1d0c9776d400fac3e37b5743954b3a2c03bbd5

Contents?: true

Size: 260 Bytes

Versions: 3

Compression:

Stored size: 260 Bytes

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