Sha256: 6dfd95b59e7b53960f4b233932c0ada86f38ad4cb1e5c2a6f8d98972f5eef40f
Contents?: true
Size: 2.2 KB
Versions: 2
Compression: gzip
Compressed size: 803 Bytes
Stored size: 803 Bytes
Contents
Version data entries
2 entries across 2 versions & 1 rubygems
| Version | Path |
|---|---|
| github-linguist-7.9.0 | grammars/source.agda.json |
| github-linguist-7.8.0 | grammars/source.agda.json |