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-5.3.3 grammars/source.agda.json
github-linguist-5.3.2 grammars/source.agda.json
github-linguist-5.3.1 grammars/source.agda.json
github-linguist-5.3.0 grammars/source.agda.json
github-linguist-5.2.0 grammars/source.agda.json
github-linguist-5.1.0 grammars/source.agda.json
github-linguist-5.0.11 grammars/source.agda.json
github-linguist-5.0.10 grammars/source.agda.json
github-linguist-5.0.9 grammars/source.agda.json
github-linguist-5.0.8 grammars/source.agda.json
github-linguist-5.0.7 grammars/source.agda.json
github-linguist-5.0.6 grammars/source.agda.json
github-linguist-5.0.5 grammars/source.agda.json
github-linguist-5.0.4 grammars/source.agda.json
github-linguist-5.0.3 grammars/source.agda.json
github-linguist-5.0.2 grammars/source.agda.json
github-linguist-5.0.0 grammars/source.agda.json
github-linguist-4.8.18 grammars/source.agda.json
github-linguist-4.8.17 grammars/source.agda.json
github-linguist-4.8.16 grammars/source.agda.json