Sha256: 3976800964f3bfc6bc9233b4a7bcb2033c090fc90874f25ef79fa7a07eed3e98
Contents?: true
Size: 4.56 KB
Versions: 2
Compression: gzip
Compressed size: 1.59 KB
Stored size: 1.59 KB
Contents
Version data entries
2 entries across 2 versions & 1 rubygems
| Version | Path |
|---|---|
| github-linguist-grammars-4.6.3 | grammars/source.lean.json |
| github-linguist-grammars-4.6.0 | grammars/source.lean.json |