Sha256: 1b8582e5932cf9506108c25681a08e90dca73cdacbe3e43d447151901a75c427
Contents?: true
Size: 13.5 KB
Versions: 3
Compression: gzip
Compressed size: 2.59 KB
Stored size: 2.59 KB
Contents
Version data entries
3 entries across 3 versions & 1 rubygems
| Version | Path |
|---|---|
| github-linguist-7.11.1 | grammars/source.idris.json |
| github-linguist-7.10.0 | grammars/source.idris.json |
| github-linguist-7.11.0 | grammars/source.idris.json |