{ "rev": "refs/tags/v3.12.2", "version": "3.12.2", "hash": "s/uuw6CNhHiW+Yn2OksUi/QXANsu0CoQArA50UfBsfw=", "paths": { "rust/src": ["templates"], "skills": ["lean-ctx", "lean-ctx-review"] } }