{
  "cksum": "d3b6dcd7e59353c45bde9490cac01423f16eb535da84f3be277c08087842778b",
  "crate_file": "lean-agentic-0.1.0.crate",
  "crate_url": "https://static.crates.io/crates/lean-agentic/lean-agentic-0.1.0.crate",
  "deps": [],
  "features": {
    "default": [],
    "serde": []
  },
  "index_path": "le/an/lean-agentic",
  "name": "lean-agentic",
  "pubtime": "2025-10-25T14:55:49Z",
  "vers": "0.1.0",
  "yanked": false
}