Sha256: 42b3004c61c5444a1480162ef046aded4dd9d69e8c495b93b4b1cb81034ba1e5

Contents?: true

Size: 5.94 KB

Versions: 38

Compression: gzip

Compressed size: 1.22 KB

Stored size: 1.22 KB

Contents

Download

Version data entries

38 entries across 38 versions & 2 rubygems

Version Path
github-linguist-4.8.15 grammars/source.agda.json
github-linguist-4.8.14 grammars/source.agda.json
github-linguist-4.8.13 grammars/source.agda.json
github-linguist-4.8.12 grammars/source.agda.json
github-linguist-4.8.11 grammars/source.agda.json
github-linguist-4.8.10 grammars/source.agda.json
github-linguist-4.8.9 grammars/source.agda.json
github-linguist-4.8.8 grammars/source.agda.json
github-linguist-4.8.7 grammars/source.agda.json
github-linguist-4.8.6 grammars/source.agda.json
github-linguist-4.8.5 grammars/source.agda.json
github-linguist-4.8.4 grammars/source.agda.json
github-linguist-4.8.3 grammars/source.agda.json
github-linguist-4.8.2 grammars/source.agda.json
github-linguist-4.8.1 grammars/source.agda.json
github-linguist-4.8.0 grammars/source.agda.json
github-linguist-grammars-4.6.3 grammars/source.agda.json
github-linguist-grammars-4.6.0 grammars/source.agda.json