Sha256: 9a63247ef25dc9c82eb13a9ad65b97dcbaf30048c6ec026a27796b9659402ad1

Contents?: true

Size: 669 Bytes

Versions: 9

Compression:

Stored size: 669 Bytes

Contents

{
  "language": "Coq",
  "active": false,
  "blurb": "",
  "test_pattern": ".*[.]v",
  "exercises": [
    {
      "slug": "hello-world",
      "uuid": "a001fd68-5913-4041-80ea-0558b269ba4f",
      "core": false,
      "unlocked_by": null,
      "difficulty": 1,
      "topics": []
    },
    {
      "slug": "rna-transcription",
      "uuid": "10a7ad13-8564-4713-853b-5b13a829ac50",
      "core": false,
      "unlocked_by": null,
      "difficulty": 1,
      "topics": []
    },
    {
      "slug": "tautology",
      "uuid": "b647eb59-40ce-49c9-b0ce-775615ce0063",
      "core": false,
      "unlocked_by": null,
      "difficulty": 1,
      "topics": []
    }
  ]
}

Version data entries

9 entries across 9 versions & 1 rubygems

Version Path
trackler-2.2.1.179 tracks/coq/config.json
trackler-2.2.1.178 tracks/coq/config.json
trackler-2.2.1.177 tracks/coq/config.json
trackler-2.2.1.176 tracks/coq/config.json
trackler-2.2.1.175 tracks/coq/config.json
trackler-2.2.1.174 tracks/coq/config.json
trackler-2.2.1.173 tracks/coq/config.json
trackler-2.2.1.172 tracks/coq/config.json
trackler-2.2.1.171 tracks/coq/config.json