Sha256: 088d7c4ee52d2eda475cba08ca6813b61b14aee28518ef609cc0c2c85c0af8ce

Contents?: true

Size: 2.96 KB

Versions: 19

Compression: gzip

Compressed size: 1.23 KB

Stored size: 1.23 KB

Contents

Download

Version data entries

19 entries across 19 versions & 1 rubygems

Version Path
github-linguist-7.11.1 grammars/source.coq.json
github-linguist-7.10.0 grammars/source.coq.json
github-linguist-7.11.0 grammars/source.coq.json
github-linguist-7.9.0 grammars/source.coq.json
github-linguist-7.8.0 grammars/source.coq.json
github-linguist-7.7.0 grammars/source.coq.json
github-linguist-7.6.1 grammars/source.coq.json
github-linguist-7.6.0 grammars/source.coq.json
github-linguist-7.5.1 grammars/source.coq.json
github-linguist-7.5.0 grammars/source.coq.json
github-linguist-7.4.0 grammars/source.coq.json
github-linguist-7.3.1 grammars/source.coq.json
github-linguist-7.3.0 grammars/source.coq.json
github-linguist-7.2.0 grammars/source.coq.json
github-linguist-7.1.3 grammars/source.coq.json
github-linguist-7.1.2 grammars/source.coq.json
github-linguist-7.1.1 grammars/source.coq.json
github-linguist-7.1.0 grammars/source.coq.json
github-linguist-7.0.0 grammars/source.coq.json