Sha256: 71385f83e03b0bce51600c7b07fabe7ce9992e0bb0e84eb6efee0399a2e3b06c

Contents?: true

Size: 3.95 KB

Versions: 6

Compression: gzip

Compressed size: 1.2 KB

Stored size: 1.2 KB

Contents

Download

Version data entries

6 entries across 6 versions & 1 rubygems

Version Path
github-linguist-9.1.0 grammars/source.lean4.json
github-linguist-9.0.0 grammars/source.lean4.json
github-linguist-8.0.1 grammars/source.lean4.json
github-linguist-8.0.0 grammars/source.lean4.json
github-linguist-7.30.0 grammars/source.lean4.json
github-linguist-7.29.0 grammars/source.lean4.json