{"package": "lean-contracts", "summary": "Lean schema-enforcing objects", "pypi_url": "https://pypi.org/project/lean-contracts", "piwheels_url": "https://www.piwheels.org/project/lean-contracts", "releases": {}}