{
  "cksum": "c5bea6141e1734e6869da9d4c30c39ea964f37cc08f148548d2fa0005d704065",
  "crate_file": "lean-0.1.0.crate",
  "crate_url": "https://static.crates.io/crates/lean/lean-0.1.0.crate",
  "deps": [],
  "features": {},
  "index_path": "le/an/lean",
  "name": "lean",
  "pubtime": "2024-10-09T22:12:33Z",
  "vers": "0.1.0",
  "yanked": false
}