{"name":"tree-sitter-lean4","vers":"0.0.1","deps":[{"name":"cc","req":"^1.0","features":[],"optional":false,"default_features":true,"target":null,"kind":"build"},{"name":"tree-sitter","req":"^0.25","features":[],"optional":false,"default_features":true,"target":null,"kind":"normal"}],"cksum":"2392a53c93b7cfa2da8690a28204486db1bfa0d20b7edbc0a9e684df0993b360","features":{},"yanked":false,"pubtime":"2026-01-26T09:05:24Z"}
{"name":"tree-sitter-lean4","vers":"0.0.2","deps":[{"name":"cc","req":"^1.0","features":[],"optional":false,"default_features":true,"target":null,"kind":"build"},{"name":"tree-sitter","req":"^0.25","features":[],"optional":false,"default_features":true,"target":null,"kind":"normal"}],"cksum":"43da93c4857fd3f2122d9854aebd73e2fc3c5af1fca23d03da3effd041af06d6","features":{},"yanked":false,"pubtime":"2026-01-26T09:26:03Z"}
{"name":"tree-sitter-lean4","vers":"0.0.3","deps":[{"name":"cc","req":"^1.0","features":[],"optional":false,"default_features":true,"target":null,"kind":"build"},{"name":"tree-sitter","req":"^0.25","features":[],"optional":false,"default_features":true,"target":null,"kind":"normal"}],"cksum":"c8b51ded5c2a2d1599c7d751242a1a993585f84569cf453611c526047f22e44f","features":{},"yanked":false,"pubtime":"2026-02-16T15:48:39Z"}
{"name":"tree-sitter-lean4","vers":"0.0.4","deps":[{"name":"cc","req":"^1.0","features":[],"optional":false,"default_features":true,"target":null,"kind":"build"},{"name":"tree-sitter","req":"^0.25","features":[],"optional":false,"default_features":true,"target":null,"kind":"normal"}],"cksum":"aac9bc37001966af4cb0efe776fd1d7e8ada76232ced2b6fab4cdd0bb61ab533","features":{},"yanked":false,"pubtime":"2026-02-16T16:47:17Z"}
{"name":"tree-sitter-lean4","vers":"0.0.5","deps":[{"name":"cc","req":"^1.0","features":[],"optional":false,"default_features":true,"target":null,"kind":"build"},{"name":"tree-sitter","req":"^0.25","features":[],"optional":false,"default_features":true,"target":null,"kind":"normal"}],"cksum":"8b153703793d114a693d58a251877a8519c1f04cc6c23e203f2129bc56323904","features":{},"yanked":false,"pubtime":"2026-02-16T18:47:09Z"}
{"name":"tree-sitter-lean4","vers":"0.0.6","deps":[{"name":"cc","req":"^1.0","features":[],"optional":false,"default_features":true,"target":null,"kind":"build"},{"name":"tree-sitter","req":"^0.25","features":[],"optional":false,"default_features":true,"target":null,"kind":"normal"}],"cksum":"3c8949c288e61ce24c5535f71d44a6bcc13bdef2204ea0cf1be1beadce3caf57","features":{},"yanked":false,"pubtime":"2026-02-16T21:33:06Z"}
{"name":"tree-sitter-lean4","vers":"0.0.7","deps":[{"name":"cc","req":"^1.0","features":[],"optional":false,"default_features":true,"target":null,"kind":"build"},{"name":"tree-sitter","req":"^0.25","features":[],"optional":false,"default_features":true,"target":null,"kind":"normal"}],"cksum":"553b0b02a65d3e76f242778f17fd1d022bd81cdb1d90466369ae44f26d826b65","features":{},"yanked":false,"pubtime":"2026-02-17T08:42:47Z"}
{"name":"tree-sitter-lean4","vers":"0.0.8","deps":[{"name":"cc","req":"^1.0","features":[],"optional":false,"default_features":true,"target":null,"kind":"build"},{"name":"tree-sitter","req":"^0.25","features":[],"optional":false,"default_features":true,"target":null,"kind":"normal"}],"cksum":"df924a5f42137f2629f050aca64a83e740a255abfc07dd182d9873d420c6f018","features":{},"yanked":false,"pubtime":"2026-02-17T10:34:29Z"}
{"name":"tree-sitter-lean4","vers":"0.1.0","deps":[{"name":"cc","req":"^1.0","features":[],"optional":false,"default_features":true,"target":null,"kind":"build"},{"name":"tree-sitter","req":"^0.25","features":[],"optional":false,"default_features":true,"target":null,"kind":"normal"}],"cksum":"5ec9b4575fb3bd115c3bbfd34453183d6c5c014b94b9546bc5bfdbedc2272969","features":{},"yanked":false,"pubtime":"2026-02-17T19:04:45Z"}
{"name":"tree-sitter-lean4","vers":"0.1.1","deps":[{"name":"cc","req":"^1.0","features":[],"optional":false,"default_features":true,"target":null,"kind":"build"},{"name":"tree-sitter","req":"^0.25","features":[],"optional":false,"default_features":true,"target":null,"kind":"normal"}],"cksum":"d1ce76dd0cf681100afe21eeb123500e1609a12d473d9bd74cb918b4710f4c25","features":{},"yanked":false,"pubtime":"2026-02-17T19:25:19Z"}
{"name":"tree-sitter-lean4","vers":"0.2.0","deps":[{"name":"cc","req":"^1.0","features":[],"optional":false,"default_features":true,"target":null,"kind":"build"},{"name":"tree-sitter","req":"^0.25","features":[],"optional":false,"default_features":true,"target":null,"kind":"normal"}],"cksum":"6e375a5bd889964f7d0a50591170c81757816749003eb8f8c999a2ee8cd29f00","features":{},"yanked":false,"pubtime":"2026-02-19T10:57:21Z"}
{"name":"tree-sitter-lean4","vers":"0.2.1","deps":[{"name":"cc","req":"^1.0","features":[],"optional":false,"default_features":true,"target":null,"kind":"build"},{"name":"tree-sitter","req":"^0.25","features":[],"optional":false,"default_features":true,"target":null,"kind":"normal"}],"cksum":"2a714794783f34edf794da565ec703bf67b201d76a35a21c38e40ff971b9c6d4","features":{},"yanked":false,"pubtime":"2026-02-19T12:14:46Z"}
{"name":"tree-sitter-lean4","vers":"0.2.2","deps":[{"name":"cc","req":"^1.0","features":[],"optional":false,"default_features":true,"target":null,"kind":"build"},{"name":"tree-sitter","req":"^0.25","features":[],"optional":false,"default_features":true,"target":null,"kind":"normal"}],"cksum":"d274c5b559d3a46a0d5d200fc0593fa3fda035304fa794d5d4a760fbf69c2a5e","features":{},"yanked":false,"pubtime":"2026-02-25T09:02:52Z"}