Sha256: ae6f322562d9f33012829a64bd33da450e718bef3c663d27457b09b0d3ae6731

Contents?: true

Size: 48.4 KB

Versions: 6

Compression: gzip

Compressed size: 5.1 KB

Stored size: 5.1 KB

Contents

Download

Version data entries

6 entries across 6 versions & 1 rubygems

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