Sha256: 26e118e9d64c7e2f522624ac6a55d98ce7b1ff9d8ac3cbdb75e5ae17ecb7c70d

Contents?: true

Size: 5.72 KB

Versions: 22

Compression: gzip

Compressed size: 1.1 KB

Stored size: 1.1 KB

Contents

Download

Version data entries

22 entries across 22 versions & 1 rubygems

Version Path
github-linguist-7.7.0 grammars/source.agda.json
github-linguist-7.6.1 grammars/source.agda.json
github-linguist-7.6.0 grammars/source.agda.json
github-linguist-7.5.1 grammars/source.agda.json
github-linguist-7.5.0 grammars/source.agda.json
github-linguist-7.4.0 grammars/source.agda.json
github-linguist-7.3.1 grammars/source.agda.json
github-linguist-7.3.0 grammars/source.agda.json
github-linguist-7.2.0 grammars/source.agda.json
github-linguist-7.1.3 grammars/source.agda.json
github-linguist-7.1.2 grammars/source.agda.json
github-linguist-7.1.1 grammars/source.agda.json
github-linguist-7.1.0 grammars/source.agda.json
github-linguist-7.0.0 grammars/source.agda.json
github-linguist-6.4.1 grammars/source.agda.json
github-linguist-6.4.0 grammars/source.agda.json
github-linguist-6.3.1 grammars/source.agda.json
github-linguist-6.3.0 grammars/source.agda.json
github-linguist-6.2.0 grammars/source.agda.json
github-linguist-6.1.0 grammars/source.agda.json