Sha256: fc4be660781bbbd5899745431b3fd96216a49a4fbbefcb4c9c55b5e52a5f5ed1
Contents?: true
Size: 2.26 KB
Versions: 3
Compression: gzip
Compressed size: 813 Bytes
Stored size: 813 Bytes
Contents
Version data entries
3 entries across 3 versions & 1 rubygems
| Version | Path |
|---|---|
| github-linguist-7.11.1 | grammars/source.agda.json |
| github-linguist-7.10.0 | grammars/source.agda.json |
| github-linguist-7.11.0 | grammars/source.agda.json |