Sha256: 378a92288cc9c0b1e8c551fe1bcfd1e1030c07f6ff14896ef341f7a265df001e

Contents?: true

Size: 3.4 KB

Versions: 1

Compression: gzip

Compressed size: 1.14 KB

Stored size: 1.14 KB

Contents

Download

Version data entries

1 entries across 1 versions & 1 rubygems

Version Path
github-linguist-7.28.0 grammars/source.lean4.json