Sha256: 7ced128169cd9b07e02bb71a381c14599783426dfc2896366bfa652474d2ed23

Contents?: true

Size: 3.98 KB

Versions: 19

Compression: gzip

Compressed size: 1.31 KB

Stored size: 1.31 KB

Contents

Download

Version data entries

19 entries across 19 versions & 1 rubygems

Version Path
github-linguist-7.5.1 grammars/source.lean.json
github-linguist-7.5.0 grammars/source.lean.json
github-linguist-7.4.0 grammars/source.lean.json
github-linguist-7.3.1 grammars/source.lean.json
github-linguist-7.3.0 grammars/source.lean.json
github-linguist-7.2.0 grammars/source.lean.json
github-linguist-7.1.3 grammars/source.lean.json
github-linguist-7.1.2 grammars/source.lean.json
github-linguist-7.1.1 grammars/source.lean.json
github-linguist-7.1.0 grammars/source.lean.json
github-linguist-7.0.0 grammars/source.lean.json
github-linguist-6.4.1 grammars/source.lean.json
github-linguist-6.4.0 grammars/source.lean.json
github-linguist-6.3.1 grammars/source.lean.json
github-linguist-6.3.0 grammars/source.lean.json
github-linguist-6.2.0 grammars/source.lean.json
github-linguist-6.1.0 grammars/source.lean.json
github-linguist-6.0.1 grammars/source.lean.json
github-linguist-6.0.0 grammars/source.lean.json