Metadata-Version: 2.4
Name: lmms-lean-runner
Version: 0.0.1
Summary: Lean Server Workspace
Requires-Python: >=3.12
License-File: LICENSE
Dynamic: license-file
